Logical constant

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . 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 systems 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?[1][full citation needed]

Some symbols that are commonly treated as logical constants are:

Symbol Meaning in English
T "true"
F "false"
¬ "not"
"implies", "if...then"
"for all"
"there exists", "for some"
= "equals"

Many of these logical constants are sometimes denoted by alternate symbols (e.g., the use of the symbol "&" rather than "∧" to denote the logical and).

See also


  1. ^ Carnap

External links

  • Stanford Encyclopedia of Philosophy entry on logical constants

Retrieved from "https://en.wikipedia.org/w/index.php?title=Logical_constant&oldid=835615220"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Logical_constant
This page is based on the copyrighted Wikipedia article "Logical constant"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA