To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.

Logical constant

From Wikipedia, the free encyclopedia

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"
"implies", "if...then"
"for all"
"there exists", "for some"
= "equals"

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.

YouTube Encyclopedic

  • 1/5
    36 453
    1 845
    2 099
    12 273
    15 088
  • Logic & Language - intro to logic; constants & variables (Logic 1 of 5)
  • +2 LOGIC, SYMBOLIC LOGIC, TRUTH FUNCION, logical constants, propositional variable,E-Teaching ODISHA
  • Joseph Abrahamson on "On the Meanings of the Logical Constants"
  • 4 2 4 2 Clausal Form 5 min
  • PLC Programming Software: EATON easySoft (Part 2 of 2)


See also


  1. ^ Peacocke, Christopher (May 6, 1976). "What is a Logical Constant?". The Journal of Philosophy. 73 (9): 221–240. doi:10.2307/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

External links

This page was last edited on 1 October 2023, at 17:26
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.