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.
^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.
^Carnap, Rudolf (1958). Introduction to symbolic logic and its applications. New York: Dover.
^Bertrand Russell (1937) Preface to The Principles of Mathematics, pages ix to xi
In logic, a logicalconstant or constant symbol of a language L {\displaystyle {\mathcal {L}}} is a symbol that has the same semantic value under every...
components (other than its logicalconstants). Thus, logical truths such as "if p, then p" can be considered tautologies. Logical truths are thought to be...
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logicalconstant. Connectives can be...
Logical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement...
more logicalconstants, like possibility and necessity in modal logic. A sentence is true in virtue of the logicalconstants alone if all non-logical terms...
unchanging Constant (computer programming), a value that, unlike a variable, cannot be reassociated with a different value Logicalconstant, a symbol in...
disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically notated...
for reasoning. In mathematics, an axiom may be a "logical axiom" or a "non-logical axiom". Logical axioms are taken to be true within the system of logic...
quantifier, a logicalconstant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator...
mathematical logic, a universal quantification is a type of quantifier, a logicalconstant which is interpreted as "given any", "for all", or "for any". It expresses...
\wedge } ) is the truth-functional operator of conjunction or logical conjunction. The logical connective of this operator is typically represented as ∧ {\displaystyle...
logically equivalent if they have the same truth value in every model. The logical equivalence of p {\displaystyle p} and q {\displaystyle q} is sometimes...
mathematics, the logical biconditional, also known as material biconditional or equivalence or biimplication or bientailment, is the logical connective used...
conditions a logicalconstant may be introduced into a new sentence of the proof. For example, the introduction rule for the logicalconstant " ∧ {\displaystyle...
logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax...
that can be proven in the system is logically valid with respect to the logical semantics of the system. In deductive reasoning, a sound argument is an...
logic, the logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts...
the subject. Every categorical proposition can be reduced to one of four logical forms, named A, E, I, and O based on the Latin affirmo (I affirm), for...
with the deductive nature of the system. The logical consequence (or entailment) of the system by its logical foundation is what distinguishes a formal system...
in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: The truth value 'false', or a logicalconstant denoting a proposition in logic that...
functional values of logical expressions on each of their functional arguments, that is, for each combination of values taken by their logical variables. In...
plus, the increment and decrement operators in C-style languages (not in logical languages), and the successor, factorial, reciprocal, floor, ceiling, fractional...
atomic spectrum Signature String Substitution Symbol function logical/constant non-logical variable Term Theory list Example axiomatic systems (list) of...