For faster navigation, this Iframe is preloading the Wikiwand page for Logical constant.

Logical constant

In logic, a logical constant or constant symbol 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?";[1] that is, what special feature of certain constants makes them logical in nature?[2]

Some symbols that are commonly treated as logical constants are:

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

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

Defining logical constants is a major part of the work of Gottlob Frege and Bertrand Russell. Russell returned to the subject of logical constants in the preface to the second edition (1937) of The Principles of Mathematics noting that logic becomes linguistic: "If we are to say anything definite about them, [they] must be treated as part of the language, not as part of what the language speaks about."[3] The text of this book uses relations R, their converses and complements as primitive notions, also taken as logical constants in the form aRb.

See also

References

  1. ^ Peacocke, Christopher (May 6, 1976). "What is a Logical Constant?". The Journal of Philosophy. 73 (9): 221–240. doi:10.2307/2025420. JSTOR 2025420. Retrieved Jan 12, 2022.
  2. ^ Carnap, Rudolf (1958). Introduction to symbolic logic and its applications. New York: Dover.
  3. ^ Bertrand Russell (1937) Preface to The Principles of Mathematics, pages ix to xi
{{bottomLinkPreText}} {{bottomLinkText}}
Logical constant
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?