Wiki. 一阶语言与一阶逻辑 [一阶语言]

教程 : 一阶语言与一阶逻辑

定义

定义 (符号表). 一个 (一阶) 符号表 $\Sigma$ 由如下资料构成:

• 一族类型 (types),
• 一些函数符号 (function symbols), 每一个函数符号 $f$ 具有固定的 “输入类型” $A_1,\cdots,A_n$, “输出类型” $B$, 记作 $f \colon (A_1\times \cdots \times A_n) \to B$, 非负整数 $n$ 称为 $f$ 的元数 (arity); (当 $n=0$ 时, 函数符号 $f$ 是 “零元函数”, 也即类型 $B$ 的常数 $f : B$.)
• 一些关系符号 (relation symbols), 又叫谓词 (predicates), 每一个关系符号 $R$ 具有固定的类型 $A_1,\cdots,A_n$, 记作 $R \hookrightarrow A_1\times \cdots\times A_n$, 非负整数 $n$ 称为 $R$ 的元数. (当 $n=0$ 时, 关系符号是 “零元关系”, 也即原子命题 (atomic proposition).)

例

初等算术

群

范畴

小范畴的语言的符号表包括

• 类型 $O$ (对象), $M$ (态射);
• 一元函数符号 $s,t\colon M\to O$ (态射的起点与终点), 一元函数符号 $\operatorname{id}\colon O\to M$ (对象的恒等态射);
• 三元关系符号 $C\hookrightarrow M^3$, $C(f,g,h)$ 表达 “$h$ 是 $f$ 与 $g$ 的复合”.

注. 范畴中并非任意两个态射都能复合, 故此处表达复合关系使用了三元关系, 而不是二元函数.

注. 这里的范畴指的是严格 $1$-范畴.