1 基本概念
函数符号是形式语言中的一种基本符号，用于表示某种“把若干对象对应到另一个对象”的运算记号。它本身并不直接给出具体结果，而是在特定的解释下，和对象、常量、变量一起构成更复杂的表达式。
在逻辑学与数学中，函数符号常被用来刻画运算、变换或生成关系。比如加法、后继、取绝对值等，都可以在不同体系中通过函数符号表达。它使语言能够从简单成分逐步组合出结构更丰富的项。
1.1 定义
从语法角度看，函数符号是一类允许接收固定数量输入并生成一个输出的符号。与日常数学中的“函数”概念不同，函数符号首先是语言里的记号，而不是已经确定的映射本身。
在形式系统中，函数符号必须与其元数一同理解。元数说明它需要几个参数，例如一元函数符号表示接收一个对象，二元函数符号表示接收两个对象。符号本身并不含义固定，其具体意义要在解释结构中确定。
1.2 形式语言中的地位
函数符号是形式语言构造“项”的核心材料之一。项用来表示对象，而函数符号正是把已有项组合成新项的手段。没有函数符号，语言往往只能表达常量和变量，表达能力会明显受限。
在一阶逻辑中，函数符号与谓词符号共同构成语言的重要部分。前者用于“造出对象”，后者用于“陈述性质或关系”。二者分工不同，但在表达数学理论时常密切配合。
1.3 与函数的区别
函数符号和函数并不是同一层面的概念。前者属于符号系统，后者属于语义解释。简单说，函数符号是“名字”，函数是这个名字在某个模型中的具体所指。
1.3.1 语法层面的符号
在语法层面，函数符号只是一个书写标记，例如 f、+ 或 s。它不会因为书写形式相同就自动拥有相同意义；意义取决于使用它的语言和解释规则。
因此，讨论函数符号时，重点常在于它如何参与构造项、如何与其他符号搭配，以及它的元数如何限定表达方式。
1.3.2 语义层面的解释
在语义层面，函数符号会被解释为某个具体函数，即一个从若干对象到另一对象的映射。若语言中有某个二元函数符号，在一个模型里它可能对应加法，在另一个模型里则可能对应乘法或其他运算。
这种区分非常重要，因为同一个函数符号在不同结构中可以有完全不同的解释，而同一个数学函数也可以通过不同符号来表示。
1.4 与其他符号的关系
函数符号通常与常量符号、变量、谓词符号和关系符号共同出现。常量符号可看作零元情形下的特殊形式，变量用于指称不确定对象，谓词符号则用于判断对象是否满足某种性质。
关系符号强调对象之间的关系，而函数符号强调“从若干对象产生一个对象”。在许多理论中，这两类符号可以相互配合，形成完整的表达体系。
2 语法结构
函数符号在形式语言中的语法功能，主要体现在它如何参与项的构造以及如何以不同记法呈现。不同系统对书写习惯可能有差别，但底层规则大体一致：先确定符号的元数，再按规则组合成合法表达式。
2.1 函数符号的元数
元数是函数符号的重要语法属性，表示它接受参数的个数。元数越明确，越容易判断某个表达式是否书写正确，也便于后续的形式化处理。
2.1.1 零元函数符号
零元函数符号不接受输入，通常与常量符号接近。它可以看作直接指向某个固定对象的符号，因此在许多语境中几乎等同于常量。
2.1.2 一元函数符号
一元函数符号接受一个参数，常用于表示后继、取反、取绝对值等操作。它可以把一个项变成另一个项，是构造复合项的常见工具。
2.1.3 二元及多元函数符号
二元函数符号接受两个参数，适合表示加法、乘法、配对等运算。多元函数符号则可一次处理更多输入，在抽象代数和计算理论中都较常见。一般而言，元数越高，书写和解析时对括号、顺序的要求越严格。
2.2 函数项的构造
函数项是由函数符号和参数项递归生成的表达式，用来表示某个对象。它是形式语言中最基本的“对象表达式”类型之一。
2.2.1 基本项
基本项通常包括变量和常量。它们不需要再由更小的项构造，因而是项结构的起点。若语言中有零元函数符号，也常可视为基本项的一部分。
2.2.2 复合项
复合项由函数符号和若干已知项组合而成。例如，当 f 是二元函数符号，x、y 是项时，f(x,y) 就是一个复合项。复合项可以继续嵌套，从而形成层次更深的表达式。
2.3 记号书写方式
函数符号的书写方式因传统而异，常见的有前缀式、中缀式和后缀式。不同方式主要影响阅读习惯，不改变其逻辑地位。
2.3.1 前缀式
前缀式把函数符号写在参数之前，例如 f(x,y)。这种写法在逻辑学中最为常见，优点是结构清晰，便于递归定义和形式推导。
2.3.2 中缀式
中缀式把函数符号放在两个参数中间，例如 x + y。它在算术中非常自然，便于直观阅读，但通常只适用于二元函数符号，且需要借助优先级和括号规则避免歧义。
2.3.3 后缀式
后缀式把函数符号写在参数之后，例如某些逆波兰记法中的表达。它在特定计算和形式系统中较为常见，常用于减少括号数量，并使表达式处理更适合机器化操作。
3 语义解释
函数符号本身并不“指向”某个对象，而是在解释结构中获得意义。语义解释的任务，就是为每个函数符号指定一个具体函数，并保证其与语言中的其他部分协调一致。
3.1 解释结构中的函数解释
在一个结构中，每个函数符号都会被指定为一个确定的函数。若符号是一元的，就对应一个从论域到论域的映射；若是二元或多元的，则对应相应次数的多元映射。
这种解释通常与论域绑定，也就是说，函数的输入和输出都必须落在同一解释域内，或者按理论要求落在相应的结构范围中。
3.2 定义域与值域
函数符号的解释需要说明其定义域和取值范围。对于一阶逻辑中的函数解释，通常要求输入来自论域，输出也属于论域。这样，函数项的值才能始终在模型内部被解释出来。
若某个结构中存在部分函数或特殊约定，则还需要进一步明确其适用范围。标准的形式逻辑讨论一般以全函数为基础。
3.3 解释的一致性
解释的一致性要求同一函数符号在同一模型中始终代表同一个函数。也就是说，在不同公式或不同项中出现时，它的语义不能随意变化。
此外，解释还必须与其他符号的解释兼容。例如，当某个函数项嵌入原子公式后，其解释结果应能自然参与谓词或关系的判断。
3.4 在模型中的作用
函数符号在模型中并不只是记号，它还承担组织结构、生成对象和表达操作的功能。许多数学结构之所以能够被形式化描述，正是因为函数解释提供了可计算、可追踪的对象生成规则。
3.4.1 生成新对象
函数解释的一个直接作用，是根据已知对象产生新的对象。例如，在自然数结构中，后继运算可以从一个数得到下一个数；在群结构中，群运算可以把两个元素组合成新元素。
3.4.2 描述结构关系
除了生成对象，函数符号还可用来刻画结构内部的组织方式。通过它，人们能够描述运算如何与元素互动，以及不同元素之间如何通过某种规则联系起来。
4 逻辑系统中的应用
函数符号是许多逻辑系统的重要组成部分，尤其在一阶逻辑和公理化理论中尤为常见。它使逻辑语言具备更强的表达能力，能够描述对象的构造过程及其相互关系。
4.1 一阶逻辑
在一阶逻辑中，函数符号用于构造项，而项又进一步参与公式的形成。这种层级结构是逻辑语法中最基础的组织方式之一。
4.1.1 含函数符号的语言
含函数符号的语言通常由变量、常量、函数符号、谓词符号以及逻辑联结词和量词组成。函数符号的加入，使语言可以直接表示复杂对象，而不必把所有信息都压缩成简单谓词。
4.1.2 含函数符号的公式构造
在含函数符号的语言中，首先由函数符号和项构造新的项，再由项与谓词符号构造原子公式，最后通过逻辑联结词和量词形成完整公式。这个过程具有递归性，保证了语法定义的精确性。
4.2 项与原子公式
项和原子公式是含函数符号语言中的两个关键层次。前者用于表示对象，后者用于表示最基本的断言。
4.2.1 项的递归定义
项的定义通常从变量和常量开始，再规定：若 f 是 n 元函数符号，且 t1,...,tn 都是项，则 f(t1,...,tn) 也是项。这样的递归规则使项可以无限扩展，但始终保持结构合法。
4.2.2 原子公式的形成
原子公式一般由谓词符号加若干项构成，例如 P(t1,...,tn)。如果语言中包含等号，那么两个项之间的等式也可视为原子公式。函数符号在这里的作用是先生成可被断言的对象表达式。
4.3 公理化理论中的使用
在公理化理论中，函数符号常被用于把抽象对象系统表达得更紧凑、更适合推导。理论中的公理通过函数符号所描述的运算关系，勾勒出结构的基本性质。
4.3.1 算术语言
算术语言通常包含后继、加法、乘法等函数符号，用来描述自然数及其运算。通过这些符号，公理系统能够表达递推性质、运算规律以及数的基本构造方式。
4.3.2 代数语言
代数语言中常用函数符号表示群运算、环运算、格运算等。借助这些符号，理论可以直接讨论运算律、单位元、逆元和分配律等结构性质。
5 常见示例
函数符号在数学和计算领域中非常普遍，不同学科会采用各自熟悉的表示方式。尽管记号各异，它们在形式逻辑中的角色却相当一致。
5.1 算术中的函数符号
算术是函数符号最典型的应用场景之一。自然数系统中的很多基本运算，都可以用函数符号形式化表示。
5.1.1 后继符号
后继符号通常表示“下一个数”。它是一元函数符号，常写作 s(x) 或类似形式，用来表达由一个自然数生成其后继的操作。
5.1.2 加法符号
加法符号通常是二元函数符号，书写上多采用中缀形式，如 x + y。在形式语言中，它既可作为运算符，也可作为标准函数符号进行分析。
5.1.3 乘法符号
乘法符号同样常见于算术语言，表示把两个数组合成积。与加法类似，它通常被视为二元函数符号，并在公理系统中承担重要角色。
5.2 代数结构中的函数符号
在抽象代数中，函数符号用来表示结构内部的基本运算。它们不局限于数值计算，也可以指向更一般的元素组合方式。
5.2.1 群运算符号
群的基本运算通常用一个二元函数符号表示。它描述群元素之间的组合方式，并与单位元、逆元等概念共同构成群论的形式语言。
5.2.2 环运算符号
环语言中往往包含加法和乘法两个二元函数符号。前者给出可加结构，后者给出乘法结构，二者共同刻画环的代数性质。
5.2.3 格运算符号
格结构通常包含两个二元函数符号，分别表示上确界型和下确界型运算。它们用于描述元素之间的偏序结合方式，在序理论和代数逻辑中都很重要。
5.3 计算机科学中的表示
在计算机科学中，函数符号常被用于形式语法、自动推理和程序抽象。某些项重写系统会把函数符号视为构造表达式的核心记号，便于进行归约和匹配。
在编程语言的理论分析中，函数符号也可用来抽象表示数据结构的构造过程，例如列表、树和表达式的生成。这样可以把算法行为与逻辑结构连接起来。
6 相关概念
函数符号并非孤立存在，它与其他语法成分共同组成完整的形式系统。理解这些相关概念，有助于把握其在逻辑中的位置。
6.1 常量符号
常量符号表示某个固定对象，通常可视为零元函数符号的特殊情形。它在语言中起到提供基础对象的作用。
6.2 谓词符号
谓词符号用于表示性质或关系，输入对象后输出真假判断。与函数符号不同，它不生成新对象，而是对对象作出断定。
6.3 关系符号
关系符号用来表达对象之间的联系，如大小、包含、邻接等。它在形式上与谓词符号密切相关，常被看作同类语法手段的不同侧面。
6.4 项
项是由变量、常量和函数符号递归构成的表达式，用来表示对象。函数符号正是生成复杂项的主要方式。
6.5 公式
公式是用逻辑联结词、量词、谓词符号以及项等构成的完整陈述。函数符号通过参与项的构造，间接影响公式的表达能力。
7 性质与讨论
函数符号作为形式语言的一部分，具有明确的语法规则与语义解释机制。围绕它的讨论，常涉及解释是否唯一、是否可定义以及不同符号系统之间的书写差异。
7.1 解释的唯一性
在给定模型和给定符号约定下，一个函数符号通常对应唯一的解释函数。但这种唯一性只是在该模型内部成立；换到另一个结构中，同一符号完全可能有不同解释。
7.2 可定义性问题
有些函数可以通过语言中的其他符号和公式加以定义，而不必作为原始函数符号直接引入。是否需要把某个运算单独设为函数符号，往往取决于表达便利性和理论目标。
7.3 记号约定差异
不同学科或不同传统对函数符号的写法并不完全一致。有的偏好 f(x,y) 这种前缀形式，有的则习惯用 x + y 这样的中缀形式。符号外观虽然不同，但其逻辑角色相同。
7.4 形式化中的优缺点
函数符号的优点在于表达紧凑、结构清晰，适合递归定义和机器处理。它能把复杂对象的生成方式显式化，便于公理化和证明。
其局限在于，如果语言中函数符号过多，公式可能变得冗长且不易直观理解；而某些问题也可能因为过度依赖函数表示而掩盖了关系层面的信息。因此，在具体理论中，需要在表达力、可读性与形式化便利之间作出平衡。