Difference between revisions of "Logical constant"
From Wiki @ Karl Jones dot com
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...") |
Karl Jones (Talk | contribs) |
||
| Line 25: | Line 25: | ||
* [https://en.wikipedia.org/wiki/Logical_constant Logical constant] @ Wikipedia | * [https://en.wikipedia.org/wiki/Logical_constant Logical constant] @ Wikipedia | ||
| + | |||
| + | [[Category:Logic]] | ||
Latest revision as of 16:29, 22 April 2016
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
