Draft:Contingency (philosophy)

Source: Wikipedia, the free encyclopedia.


Articles and readings to explore/read before major writing occurs:

(https://library.uoh.edu.iq/admin/ebooks/30887-aristotle-categories-and-de-interpretatione-clarendon-aristotle-series--1975-2_compressed.pdf)

  • first edit to keep the draft active


Stubs:


Contingent truths are any possible truths which are not necessary ones.

In logic, contingency is the feature of a statement whose truth is neither necessary nor impossible.[1][2] Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction (or lack thereof) between what is contingent and what necessary has been challenged since antiquity.

Contingency and modal possibility

In logic, a thing is considered to be possible when it is true in at least one possible world. This means there is a way to imagine a world in which a statement is true and in which its truth does not contradict any other truth in that world. If it were impossible, there would be no way to conceive such a world: the truth of any impossible statement must contradict some other fact in that world. Contingency is not impossible, so a contingent statement is therefore one which is true in at least one possible world. But contingency is also not necessary, so a contingent statement is false in at least one possible world.α While contingent statements are false in at least one possible world, possible statements are not also defined this way. Since necessary statements are a kind of possible statement (e.g. 2=2 is possible and necessary), then to define possible statements as 'false in some possible world' is to affect the definition of necessary statements. Since necessary statements are never false in any possible world, then some possible statements are never false in any possible world. So the idea that a statement might ever be false and yet remain an unrealized possibility is entirely reserved to contingent statements alone. While all contingent statements are possible, not all possible statements are contingent.[3] The truth of a contingent statement is consistent with all other truths in a given world, but not necessarily so. They are always possible in every imaginable world but not always trueβ in every imaginable world.

This distinction begins to reveal the ordinary English meaning of the word "contingency," in which the truth of one thing depends on the truth of another. On the one hand, the mathematical idea that a sum of two and two is four is always possible and always true, which makes it necessary and therefore not contingent. This mathematical truth does not depend on any other truth, it is true by definition. On the other hand, since a contingent statement is always possible but not necessarily true, we can always conceive it to be false in a world in which it is also always logically achievable. In such a world, the contingent idea is never necessarily false since this would make it impossible in that world. But if it's false and yet still possible, this means the truths or facts in that world would have to change in order for the contingent truth to become actualized. When a statement's truth depends on this kind of change, it is contingent: possible but dependent on whatever facts are actually taking place in a given world.

Contingency and modal necessity

A. N. Prior
exists, then A. N. Prior is physical" may be logically true by form, but not necessarily true.

Some philosophical distinctions are used to examine the line between contingent and necessary statements. These include

Edward Zalta claims that there are examples in which analytic statements are not necessary.[7] Kripke uses the example of a meter stick to support the idea that some a priori truths are contingent.[8]

In Time and Modality, A. N. Prior argues that a cross-examination between the basic principles of modal logic and those of quantificational logic seems to require that "whatever exists exists necessarily." He says this threatens the definition of contingent statements as non-necessary things when one generically intuits that some of what exists does so contingently, rather than necessarily.[9] Harry Deutsch acknowledged Prior's concern and outlines rudimentary notes about a "Logic for Contingent Beings."[10] Deutsch believes that the solution to Prior's concern begins by removing the assumption that logical statements are necessary. He believes the statement format, "If all objects are physical, and ϕ exists, then ϕ is physical," is logically true by form but is not necessarily true if ϕ rigidly designates, for example, a specific person who is not alive.[11]

Future contingency

Aristotle's example of a sea battle as a future contingent demonstrates the paradox of the modal fallacy.

Problem of future contingency

Main article: Problem of future contingents

In chapter 9 of De Interpretatione, Aristotle observes an apparent paradox in the nature of contingency. He considers that while the truth values of contingent past- and present-tense statements can be expressed in pairs of contradictions to represent their truth or falsity, this may not be the case of contingent future-tense statements. Aristotle asserts that if this were the case for future contingent statements as well, some of them would be necessarily true, a fact which seems to contradict their contingency.[12] Aristotle's intention with these claims breaks down into two primary readings of his work. The first view, considered notably by Boethius,[13] supposes that Aristotle's intentions were to argue against this logical determinism only by claiming future contingent statements are neither true nor false.[14][15][16] This reading of Aristotle regards future contingents as simply disqualified from possessing any truth value at all until they are actualized. The opposing view, with an early version from Cicero,[17] is that Aristotle was not attempting to disqualify assertoric statements about future contingents from being either true or false, but that their truth value was indeterminant.[18][19][20] This latter reading takes future contingents to possess a truth value, one which is necessary but which is unknown. This view understands Aristotle to be saying that while some event's occurrence at a specified time was necessary, a fact of necessity which could not have been known to us, its occurrence at simply any time was not necessary.

BTW READ SOURCES ON MODAL FALLACY PAGE AND MODAL COLLAPSE


(What is the master argument?)

Baruch Spinoza and Necessitarianism.

An explicit concept of modal logic was not studied academically until C. I. Lewis described two alternative forms of symbolic logic in opposition to mathematical systems developed in the early 20th century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica. ... Nevertheless, Lewis' system was based on the three basic modal categories Aristotle described in De Interpretatione.SOURCE

Determinism and foreknowledge

Text. (Medieval scholars [& Middle Knowledge], Prior)

https://books.google.com/books?id=o5yuDwAAQBAJ&pg=PA156


The eighteenth-century philosopher Jonathan Edwards. In A Careful and Strict Enquiry into the Modern Prevailing Notions of that Freedom of Will which is supposed to be Essential to Moral Agency, Virtue and Vice, Reward and Punishment, Praise and Blame (1764), Edwards begin his argument by establishing the ways in which necessary statements are made in logic. He identifies three ways necessary statements can be made for which only the third kind can legitimately be used to make necessary claims about the future. This third way of making necessary statements involves conditional or consequential necessity, such that if a contingent outcome could be caused by something that was necessary, then this contingent outcome could be considered necessary itself "by a necessity of consequence".[21] Prior interprets[22] Edwards by supposing that any necessary consequence of any already necessary truth would "also 'always have existed,' so that it is only by a necessary connexion (sic) with 'what has already come to pass' that what is still merely future can be necessary."[23] Further, in Past, Present, and Future, Prior attributes an argument against the possibility that God's foreknowledge to [24]


argues that if it were necessary that future contingents were going to take place, then someone could form statement of necessity concerning the future event.

Early Modern writers studied contingency against the freedom of the Christian Trinity not to create the universe set in order a series of natural events.

In the 16th century,

European Reformed Scholasticism subscribed to John Duns Scotus'
idea of synchronic contingency, which was able to remove contradictions between necessity, human freedom and the free will of God to create the world. In the 17th Century, Baruch Spinoza in his Ethics states that a thing is called contingent when "we do not know whether the essence does or does not involve a contradiction, or of which, knowing that it does not involve a contradiction, we are still in doubt concerning the existence, because the order of causes escape us." Further, he states, "It is in the nature of reason to perceive things under a certain form of eternity as necessary and it is only through our imagination that we consider things, whether in respect to the future or the past, as contingent.

Modal collapse

Similar to how arguments against future contingents are based in the idea that future statements are necessarily either true or false, arguments against any statement

In their theological discussions of God's being and nature, philosophers such as Thomas Aquinas and Kurt Gödel explicitly introduce a concept called modal collapse to support their views.SOURCE They both begin by assuming that what is true is not simply true contingently, but true necessarily and that this holds for absolutely all truths ().SOURCE The upshot of this assumption is that, for Aquinas, God's being is simple and, for Gödel, God's being is logically verifiable. Scholars of both theology and logic reject arguments that modal collapse supports either conclusion. Theologians hold that modal collapse logically prohibits divine freedom which is conventionally considered an essential feature of God's nature.SOURCE Logician's hold that the rejection of contingency which is necessary for a state of modal collapse to take place is not possible.SOURCE

Modal fallacy

See also

References

  1. ^ (Gensler 2017, p. 231)
  2. ^ (Kripke 1980, p. 14)
  3. ^ (Gensler 2017, p. 231)
  4. JSTOR 2182079
  5. JSTOR 2183264
  6. ^ (Kripke 1980, p. 39)
  7. ^ (Zalta 1988, p. 8)
  8. ^ (Kripke 1980, p. 75)
  9. ^ (Prior 1957)
  10. ^ (Deutsch 1990, p. 93)
  11. ^ (Deutsch 1990, p. 94-95)
  12. ^ (Ackrill 1963, p. 132)
  13. ^ Boethius, Commentarii in librum Aristotelis Perihermeneias I–II, C. Meiser (ed.), Leipzig: Teubner, 1877–1880.
  14. ^ (Sorabji 1980)
  15. ^ (Frede 1985, p. 3:31-87)
  16. ^ (Craig 1988)
  17. ^ Cicero, De fato, with an English translation by H. Rackham, (Loeb Classical Library 349), London: Heinemann, and Cambridge, MA: Harvard University Press, 1968.
  18. ^ (Anscombe 1956, p. 65(257): 1–15)
  19. ^ (Hintikka 1973)
  20. ^ (Fine 1984, p. 1(1): 23–47)
  21. ^ (Edwards 1764)
  22. ^ (Prior 1957)
  23. ^ (Edwards 1764)
  24. ^ (Prior 1967, p. 114)

Notes

  • ^α When a statement is false in at least one possible world, this does not mean there is always some world in which it is literally false, only that there is some imaginable world in which a statement is literally false and that this would not contradict some other truth in that imaginable world.
  • ^β "Always true" means "tautologically true" or "necessarily true" since if a contingent truth is possible in every world it may happen to be true in every possible world but not as a matter of tautological necessity, only as a matter of coincidence.

Sources

Retrieved from "https://en.wikipedia.org/w/index.php?title=Draft:Contingency_(philosophy)&oldid=1210244673"