In
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...
and
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a truth value, sometimes called a logical value, is a value indicating the relation of a
proposition to
truth
Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as belief ...
, which in
classical logic has only two possible values (''
true'' or ''
false'').
Computing
In some programming languages, any
expression can be evaluated in a context that expects a
Boolean data type. Typically (though this varies by programming language) expressions like the number
zero, the
empty string
In formal language theory, the empty string, or empty word, is the unique string of length zero.
Formal theory
Formally, a string is a finite, ordered sequence of characters such as letters, digits or spaces. The empty string is the special c ...
, empty lists, and
null evaluate to false, and strings with content (like "abc"), other numbers, and objects evaluate to true.
Sometimes these classes of expressions are called "truthy" and "falsy" / "false".
Classical logic
In
classical logic, with its intended semantics, the truth values are ''
true'' (denoted by ''1'' or the
verum ⊤), and ''
untrue'' or ''
false'' (denoted by ''0'' or the
falsum ⊥); that is, classical logic is a
two-valued logic. This set of two values is also called the
Boolean domain. Corresponding semantics of
logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary ...
s are
truth function
In logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly o ...
s, whose values are expressed in the form of
truth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arg ...
s.
Logical biconditional becomes the
equality binary relation, and
negation becomes a
bijection which
permutes true and false. Conjunction and disjunction are
dual with respect to negation, which is expressed by
De Morgan's laws:
: ¬(
: ¬(
Propositional variables become
variables in the Boolean domain. Assigning values for propositional variables is referred to as
valuation.
Intuitionistic and constructive logic
In
intuitionistic logic, and more generally,
constructive mathematics, statements are assigned a truth value only if they can be given a constructive proof. It starts with a set of axioms, and a statement is true if one can build a proof of the statement from those axioms. A statement is false if one can deduce a contradiction from it. This leaves open the possibility of statements that have not yet been assigned a truth value.
Unproven statements in intuitionistic logic are not given an intermediate truth value (as is sometimes mistakenly asserted). Indeed, one can prove that they have no third truth value, a result dating back to Glivenko in 1928.
Proof that intuitionistic logic has no third truth value, Glivenko 1928
/ref>
Instead, statements simply remain of unknown truth value, until they are either proven or disproven.
There are various ways of interpreting intuitionistic logic, including the Brouwer–Heyting–Kolmogorov interpretation. See also .
Multi-valued logic
Multi-valued logics (such as fuzzy logic and relevance logic) allow for more than two truth values, possibly containing some internal structure. For example, on the unit interval
In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis ...
such structure is a total order
In mathematics, a total or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation \leq on some set X, which satisfies the following for all a, b and c in X:
# a \leq a ( reflexive ...
; this may be expressed as the existence of various degrees of truth
In classical logic, propositions are typically unambiguously considered as being true or false. For instance, the proposition ''one is both equal and not equal to itself'' is regarded as simply false, being contrary to the Law of Noncontradictio ...
.
Algebraic semantics
Not all logical system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A for ...
s are truth-valuational in the sense that logical connectives may be interpreted as truth functions. For example, intuitionistic logic lacks a complete set of truth values because its semantics, the Brouwer–Heyting–Kolmogorov interpretation, is specified in terms of provability conditions, and not directly in terms of the necessary truth of formulae.
But even non-truth-valuational logics can associate values with logical formulae, as is done in algebraic semantics. The algebraic semantics of intuitionistic logic is given in terms of Heyting algebras, compared to Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas i ...
semantics of classical propositional calculus.
In other theories
Intuitionistic type theory uses types in the place of truth values.
Topos theory uses truth values in a special sense: the truth values of a topos are the global elements of the subobject classifier. Having truth values in this sense does not make a logic truth valuational.
See also
* Agnosticism
* Bayesian probability
Bayesian probability is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation representing a state of knowledge or as quantification ...
* Circular reasoning
* Degree of truth
* False dilemma
*
* Paradox
* Semantic theory of truth
* Slingshot argument
* Supervaluationism
* Truth-value semantics
* Verisimilitude
In philosophy, verisimilitude (or truthlikeness) is the notion that some propositions are closer to being true than other propositions. The problem of verisimilitude is the problem of articulating what it takes for one false theory to be clo ...
References
External links
*
{{Logical truth
Concepts in logic
Propositions
Value
Value or values may refer to:
Ethics and social
* Value (ethics) wherein said concept may be construed as treating actions themselves as abstract objects, associating value to them
** Values (Western philosophy) expands the notion of value beyo ...
Value (ethics)
Epistemology