Material conditional explained

Material conditional
Other Titles:IMPLY
Venn Diagram:Venn1011.svg
Definition:

xy

Truth Table:

(1011)

Logic Gate:IMPLY_ANSI.svg
Dnf:

\overline{x}+y

Cnf:

\overline{x}+y

Zhegalkin:

1xxy

0-Preserving:no
1-Preserving:yes
Monotone:no
Affine:no
Self-Dual:no

The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol

is interpreted as material implication, a formula

PQ

is true unless

P

is true and

Q

is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum.

Material implication is used in all the basic systems of classical logic as well as some nonclassical logics. It is assumed as a model of correct conditional reasoning within mathematics and serves as the basis for commands in many programming languages. However, many logics replace material implication with other operators such as the strict conditional and the variably strict conditional. Due to the paradoxes of material implication and related problems, material implication is not generally considered a viable analysis of conditional sentences in natural language.

Notation

In logic and related fields, the material conditional is customarily notated with an infix operator

\to

.[1] The material conditional is also notated using the infixes

\supset

and

.[2] In the prefixed Polish notation, conditionals are notated as

Cpq

. In a conditional formula

p\toq

, the subformula

p

is referred to as the antecedent and

q

is termed the consequent of the conditional. Conditional statements may be nested such that the antecedent or the consequent may themselves be conditional statements, as in the formula

(p\toq)\to(r\tos)

.

History

In Arithmetices Principia: Nova Methodo Exposita (1889), Peano expressed the proposition "If

A

, then

B

" as

A

Ɔ

B

with the symbol Ɔ, which is the opposite of C.[3] He also expressed the proposition

A\supsetB

as

A

Ɔ

B

.[4] [5] Hilbert expressed the proposition "If A, then B" as

A\toB

in 1918.[1] Russell followed Peano in his Principia Mathematica (1910–1913), in which he expressed the proposition "If A, then B" as

A\supsetB

. Following Russell, Gentzen expressed the proposition "If A, then B" as

A\supsetB

. Heyting expressed the proposition "If A, then B" as

A\supsetB

at first but later came to express it as

A\toB

with a right-pointing arrow. Bourbaki expressed the proposition "If A, then B" as

AB

in 1954.[6]

Definitions

Semantics

From a classical semantic perspective, material implication is the binary truth functional operator which returns "true" unless its first argument is true and its second argument is false. This semantics can be shown graphically in a truth table such as the one below. One can also consider the equivalence

A\toB\equiv\neg(A\land\negB)\equiv\negA\lorB

.

Truth table

The truth table of

AB

:

The logical cases where the antecedent is false and is true, are called "vacuous truths".Examples are ...

Deductive definition

Material implication can also be characterized deductively in terms of the following rules of inference.

Unlike the semantic definition, this approach to logical connectives permits the examination of structurally identical propositional forms in various logical systems, where somewhat different properties may be demonstrated. For example, in intuitionistic logic, which rejects proofs by contraposition as valid rules of inference,

(A\toB)\negA\lorB

is not a propositional theorem, but the material conditional is used to define negation.

Formal properties

When disjunction, conjunction and negation are classical, material implication validates the following equivalences:

P\toQ\equiv\negQ\to\negP

P\to(Q\toR)\equiv(P\landQ)\toR

\neg(P\toQ)\equivP\land\negQ

P\toQ\equiv\negP\lorQ

(P\to(Q\toR))\equiv(Q\to(P\toR))

(R\to(P\toQ))\equiv((R\toP)\to(R\toQ))

Similarly, on classical interpretations of the other connectives, material implication validates the following entailments:

P\toQ\models(P\landR)\toQ

\negP\modelsP\toQ

(P\toQ)\land(Q\toR)\modelsP\toR

(P\lorQ)\toR\models(P\toR)\land(Q\toR)

Tautologies involving material implication include:

\modelsP\toP

\models(P\toQ)\lor(Q\toP)

\models(P\toQ)\lor(P\to\negQ)

Discrepancies with natural language

Material implication does not closely match the usage of conditional sentences in natural language. For example, even though material conditionals with false antecedents are vacuously true, the natural language statement "If 8 is odd, then 3 is prime" is typically judged false. Similarly, any material conditional with a true consequent is itself true, but speakers typically reject sentences such as "If I have a penny in my pocket, then Paris is in France". These classic problems have been called the paradoxes of material implication.[7] In addition to the paradoxes, a variety of other arguments have been given against a material implication analysis. For instance, counterfactual conditionals would all be vacuously true on such an account.[8]

In the mid-20th century, a number of researchers including H. P. Grice and Frank Jackson proposed that pragmatic principles could explain the discrepancies between natural language conditionals and the material conditional. On their accounts, conditionals denote material implication but end up conveying additional information when they interact with conversational norms such as Grice's maxims.[7] [9] Recent work in formal semantics and philosophy of language has generally eschewed material implication as an analysis for natural-language conditionals.[9] In particular, such work has often rejected the assumption that natural-language conditionals are truth functional in the sense that the truth value of "If P, then Q" is determined solely by the truth values of P and Q.[7] Thus semantic analyses of conditionals typically propose alternative interpretations built on foundations such as modal logic, relevance logic, probability theory, and causal models.[9] [7] [10]

Similar discrepancies have been observed by psychologists studying conditional reasoning, for instance, by the notorious Wason selection task study, where less than 10% of participants reasoned according to the material conditional. Some researchers have interpreted this result as a failure of the participants to conform to normative laws of reasoning, while others interpret the participants as reasoning normatively according to nonclassical laws.[11] [12] [13]

See also

Conditionals

Further reading

External links

Notes and References

  1. Book: Hilbert . D. . Prinzipien der Mathematik (Lecture Notes edited by Bernays, P.) . 1918.
  2. Book: Mendelson, Elliott . Elliott Mendelson . Introduction to Mathematical Logic . 2015 . 6th . Boca Raton . CRC Press/Taylor & Francis Group (A Chapman & Hall Book) . 978-1-4822-3778-8 . 2 .
  3. Book: Jean van Heijenoort . From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 . 1967 . Harvard University Press . 0-674-32449-8 . 84–87.
  4. Web site: English Translation of 'Arithmetices Principia, Nova Methodo Exposita' . 2022-08-10 . Michael Nahas . 25 Apr 2022 . GitHub . VI.
  5. Web site: elementary set theory – Is there any connection between the symbol ⊃ when it means implication and its meaning as superset? . 2022-08-10 . Mauro ALLEGRANZA . 2015-02-13 . Mathematics Stack Exchange . Stack Exchange Inc . en . Answer.
  6. Book: Bourbaki . N. . Théorie des ensembles . 1954 . Hermann & Cie, Éditeurs . Paris . 14.
  7. Encyclopedia: Dorothy . Edgington . Edward N. Zalta . 2008 . Conditionals . The Stanford Encyclopedia of Philosophy . Winter 2008 .
  8. Encyclopedia: Starr . Will . Zalta . Edward N. . The Stanford Encyclopedia of Philosophy . Counterfactuals . 2019 .
  9. Encyclopedia: Gillies . Thony . Hale . B. . Wright . C. . Miller . A. . A Companion to the Philosophy of Language . Conditionals . 2017 . 401–436 . Wiley Blackwell . 10.1002/9781118972090.ch17. 9781118972090 .
  10. Encyclopedia: von Fintel . Kai . von Heusinger . Klaus . Maienborn . Claudia . Paul . Portner . Semantics: An international handbook of meaning . Conditionals . 2011 . 1515–1538 . de Gruyter Mouton . 10.1515/9783110255072.1515. 1721.1/95781 . 978-3-11-018523-2 . free .
  11. Oaksford . M. . Chater . N. . 1994 . A rational analysis of the selection task as optimal data selection . . 101 . 4 . 608–631 . 10.1037/0033-295X.101.4.608 . 10.1.1.174.4085 . 2912209 .
  12. Stenning . K. . van Lambalgen . M. . 2004 . A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning . Cognitive Science . 28 . 4 . 481–530 . 10.1016/j.cogsci.2004.02.002 . 10.1.1.13.1854 .
  13. von Sydow . M. . Towards a Flexible Bayesian and Deontic Logic of Testing Descriptive and Prescriptive Rules . 2006 . Göttingen . Göttingen University Press . 10.53846/goediss-161 . 246924881 . doctoralThesis . free .