符号（形式）

逻辑符号是逻辑学中的一个基本概念，它的标记可能是形成特定模式的标记或标记的配置。虽然符号这个词在通常情况下，有些时候是指被象征的思想，有些时候是指在一张纸或黑板上用来表达这个思想的标记；在数学和逻辑学研究的形式语言中，符号这个词指的是思想，而标记被认为是符号的象征实例。在逻辑学中，符号建立字面效用来说明思想。

形式语言的符号不需要是任何东西的符号。例如，有一些逻辑常数并不指任何概念，而是作为语言中的一种标点符号（例如括号）。形式语言的符号必须能够在不参考任何对它们的解释的情况下被指定。如果一个符号或一串符号符合语言的形成规则，它就可以构成一个形式良好的公式。在一个形式化系统中，一个符号可以在形式化操作中作为一个标记使用。形式语言中的形式符号集被称为字母表（因此每个符号可以被称为一个字母）。在一阶逻辑中使用的形式化符号可以是一个变量（话语宇宙的成员）、一个常数、一个函数（映射到宇宙的另一个成员）或一个谓词（映射到T/F）。形式符号通常被认为是纯粹的句法结构，使用形式语法组成更大的结构，尽管有时它们可能与解释或模型（形式语义）有关。词可以作为形式化符号进行建模吗？将自然语言（如英语）中的单元视为形式化符号的举措是由诺姆-乔姆斯基发起的（正是这项工作导致了形式化语言中的乔姆斯基层次结构）。

生成语法模型把句法看成是独立于语义的。在这些模型的基础上，逻辑学家RichardMontague提出，语义学也可以在形式结构的基础上构建。在我看来，自然语言和逻辑学家的人工语言之间没有重要的理论差异；事实上，我认为有可能在一个单一的自然和数学上精确的理论中理解这两种语言的语法和语义。