Logical constant

From Glottopedia
Revision as of 21:05, 16 February 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

Link

Utrecht Lexicon of Linguistics

References

  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
Retrieved from "http://glottopedia.org/index.php?title=Logical_constant&oldid=7936"