Contigency is a definition for which is noted for not having the principle of contradiction in itself, for which gives a different truths from what we are used to derive from geometry as an essential field for knowledge of creating strong logics. Leibniz clearly states one of his ideas for God, and why there must be contigent truths and necessary truths.

Saul Kripke (1972) argued for the existence of a priori propositions that are contingently true. Kripke uses the example of a case presented by Wittgenstein (1953) about the Standard Meter of Paris. The Standard Meter is an object to determine the standard lenght, in the measure system, of a one meter unit. Wittgenstein argued that we can’t affirm that the Standard Meter has one meter, since it is the standard for measure and works as a rule in the language. Therefore, (...) the phrase “the standard meter has one meter” doesn’t have a truth-value. On the other hand, Kripke argued that that phrase expresses a true proposition and can be known a priori by whom stipulated that this object will be the standard for measure. I will argue in favor a kripkean position, analyzing the dispute and thereafter answering possible objections from proponents of the wittgensteinian position. (shrink)

Possible worlds are commonly seen as an interpretation of modal operators such as "possible" and "necessary". Here, we develop possible world semantics (PWS) which can be expressed in basic set theory and first-order logic, thus offering a reductionist account of modality. Specifically, worlds are understood as complete sets of statements and possible worlds are sets whose statements are consistent with a set of conceptual laws. We introduce the construction calculus (CC), a set of axioms and rules for truth, possibility, worldness (...) and consistency. We show that CC allows to prove fundamental theorems about necessity, possibility, impossibility and contigency, thus demonstrating prima-facie plausibility of PWS. Finally, we discuss the explanatory power of our approach and draw connections between our account and established philosophical conceptions of possible worlds. (shrink)