Logical constant
From Wiki @ Karl Jones dot com
Revision as of 14:12, 20 February 2016 by Karl Jones (Talk | contribs) (Created page with "In logic, a '''logical constant''' of a language \mathcal{L} is a symbol that has the same semantic value under every interpretation of \mathcal{L}. == Description == T...")
In logic, a logical constant of a language \mathcal{L} is a symbol that has the same semantic value under every interpretation of \mathcal{L}.
Description
Two important types of logical constants are logical connectives and quantifiers.
The equality predicate (usually written '=') is also treated as a logical constant in many formal systems.
Philosophy of logic
One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants makes them logical in nature?
See also
- Constant (mathematics)
- Constant (computer science)
- Formal system
- Logic
- Logical connective
- Philosophy of logic
- Quantifier (logic)
External links
- Logical constant @ Wikipedia
