在逻辑上，用于创建表达式的形式语言由符号组成，这些符号可以大致分为常量和变量。语言中的常量可以进一步分为逻辑符号和非逻辑符号（有时也称为逻辑常量和非逻辑常量）。
一阶逻辑语言的非逻辑符号由谓词和单个常量组成。这些符号在解释中可能代表单个常量、变量、函数或谓词。一阶逻辑语言是由非逻辑符号和逻辑符号组成的基于字母表的形式语言。后者包括逻辑连接词、量词和代表语句的变量。
非逻辑符号只有通过解释的方式才能被赋予意义或语义内容。因此，一个包含非逻辑符号的句子除了在解释下是没有意义的，所以在解释之下，一个句子被认为是对（true）或错（false）。
相比之下，逻辑常数在所有解释中都有相同的含义。它们包括真值函数连接词的符号（如“与”、“或”、“非”、“蕴含”和逻辑等价）以及量词“所有”和“存在”的符号。
等号有时被视为非逻辑符号，有时被视为逻辑符号。如果它被视为逻辑符号，那么任何解释都需要使用真正的相等来解释该符号；如果解释为非逻辑符号，则可以用任意等价关系来解释。
标署是一组非逻辑常量以及将每个符号标识为常量符号、特定自变量 n（自然数）的函数符号或特定自变量的关系符号的附加信息。附加信息控制如何使用非逻辑符号来形成术语和公式。例如，如果f是二元函数符号，c是常数符号，那么f（x，c）是一个项，而c（x，f）不是一个项。关系符号不能用于术语，但它们可以用于将一个或多个（取决于自变量）术语组合成原子公式。
例如，标署可以包括二元函数符号+、常数符号0和二元关系符号<。
标署上的结构，也称为模型，为标署和标署上的一阶语言提供形式语义。
标署上的结构由集合D（称为论域）和非逻辑符号的解释组成：每个常量符号都由一个元素D解释，n元函数符号的解释是D上的n元函数，即从域的n次笛卡儿积到域本身的函数Dn → D。每个n元关系符号由域上的n元关系来解释，即由Dn的子集来解释。
上面提到的标署结构的一个例子是整数的有序组。它的域是整数集 = {……，–2，–1，0，1，2，……}。二元函数符号+通过加法来解释，常数符号0通过加法恒等式来解释，二元关系符号<通过小于的关系来解释。
在数学背景之外，使用更非正式的解释通常更合适。
^Carnap, Rudolf, Introduction to Symbolic Logic and its Applications..
暂无