逻辑常项指什么

逻辑常项指什么

逻辑常项（Logical constant） 语句内表示其逻辑形式的结构要素。它们的意义并不取决于它们的题材，相反是用作推理的算子。一公式内的任何词都可以是一常项，但不必然是一逻辑常项。例如，单身汉是一常项，但不是一逻辑常项。哪些表达式可以用作逻辑常项，不同的逻辑学家有不同的选择。我们可以追随奎因，把逻辑常项枚举为下述基本的小品词，如真值函项“并非”、“并且”、“或者”以及蕴涵；同一关系、等价以及量词“有些”和“所有的”。对模态逻辑，我们还可以包括“必然”和“可能”；对时态逻辑，包括“过去”、“现在”和“未来”；对其他类型逻辑，包括类似的基本词项。我们是否可以不用枚举法，而提出一条证明把某些词项选为逻辑词项是合理的原则，这一点并不清楚。每一个逻辑常项在符号逻辑中都有其符号对应物。只含有逻辑常项作为其常项的公式叫做逻辑公式。