Search results
Results From The WOW.Com Content Network
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 is necessary has been challenged since antiquity.
The commonly employed system S5 simply makes all modal truths necessary. For example, if p is possible, then it is "necessary" that p is possible. Also, if p is necessary, then it is necessary that p is necessary. Other systems of modal logic have been formulated, in part because S5 does not describe every kind of modality of interest.
Treating logical truths, analytic truths, and necessary truths as equivalent, logical truths can be contrasted with facts (which can also be called contingent claims or synthetic claims). Contingent truths are true in this world, but could have turned out otherwise (in other words, they are false in at least one possible world).
For example, in the conditional statement: "If P then Q", Q is necessary for P, because the truth of Q is guaranteed by the truth of P. (Equivalently, it is impossible to have P without Q , or the falsity of Q ensures the falsity of P .) [ 1 ] Similarly, P is sufficient for Q , because P being true always implies that Q is true, but P not being ...
By Hume's fork, a statement's meaning either is analytic or is synthetic, the statement's truth—its agreement with the real world—either is necessary or is contingent, and the statement's purported knowledge either is a priori or is a posteriori.
This means that even though a future contingent will occur, it may not have done so according to present contingent facts; as such, the truth value of a proposition concerning that future contingent is true, but true in a contingent way. al-Farabi uses the following example; if we argue truly that Zayd will take a trip tomorrow, then he will ...
Hamilton opines that thought comes in two forms: "necessary" and "contingent" (Hamilton 1860:17). With regards the "necessary" form he defines its study as "logic": "Logic is the science of the necessary forms of thought" (Hamilton 1860:17). To define "necessary" he asserts that it implies the following four "qualities": [12]
A posteriori necessity existing would make the distinction between a prioricity, analyticity, and necessity harder to discern because they were previously thought to be largely separated from the a posteriori, the synthetic, and the contingent. [3] (a) P is a priori iff P is necessary. (b) P is a posteriori iff P is contingent.