Jump to navigation Jump to search
Logical constants are those expressions within a logical system which determine the class of valid arguments of that system. The logical constants of propositional logic are the truth-functional connectives. The logical constants of predicate logic add to this set the quantifiers. By adding more logical constants to this set (like the identity sign '=', or tense operators) more complicated logical systems can be studied, allowing a larger class of valid arguments.
Utrecht Lexicon of Linguistics
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.