Impossible world

Impossible world

In philosophical logic, the concept of an impossible world (sometimes non-normal world) is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds. An impossible world, w, is the same sort of thing as a possible world (whatever that may be), except that it is in some sense "impossible." Depending on the context, this may mean that some contradictions are true at w, that the normal laws of logic or of metaphysics fail to hold at w, or both.

Contents

Applications

Non-normal modal logics

Non-normal worlds were introduced by Saul Kripke in 1965 as a purely technical device to provide semantics for modal logics weaker than the system K — in particular, modal logics that reject the rule of necessitation:

\vdash A \Rightarrow \ \vdash \Box A.

Such logics are typically referred to as "non-normal." Under the standard interpretation of modal vocabulary in Kripke semantics, we have \vdash A if and only if in each model, A holds in all worlds. To construct a model in which A holds in all worlds but \Box A does not, we need either to interpret \Box in a non-standard manner (that is, we do not just consider the truth of A in every accessible world), or we reinterpret the condition for being valid. This latter choice is what Kripke does. We single out a class of worlds as normal, and we take validity to be truth in every normal world in a model. in this way we may construct a model in which A is true in every normal world, but in which \Box A is not. We need only ensure that this world (at which \Box A fails) have an accessible world which is not normal. Here, A can fail, and hence, at our original world, \Box A fails to be necessary, despite being a truth of the logic.

These non-normal worlds are impossible in the sense that they are not constrained by what is true according to the logic. From the fact that \vdash A, it does not follow that A holds in a non-normal world.

For more discussion of the interpretation of the language of modal logic in models with worlds, see the entries on modal logic and on Kripke semantics.

Avoiding Curry's Paradox

Curry's Paradox is a serious problem for logicians who are interested in developing formal languages that are "semantically closed" (i.e. that can express their own semantics). The paradox relies on the seemingly obvious principle of contraction:

(A \rightarrow (A \rightarrow B)) \rightarrow (A \rightarrow B).

There are ways of utilizing non-normal worlds in a semantical system that invalidate contraction. Moreover, these methods can be given a reasonable philosophical justification by construing non-normal worlds as worlds at which "the laws of logic fail."

Counternecessary statements

A counternecessary statement is a counterfactual conditional whose antecedent is not merely false, but necessarily so (or whose consequent is necessarily true).

For the sake of argument, assume that either (or both) of the following are the case:

1. Intuitionism is false.
2. The law of excluded middle is true.

Presumably each of these statements is such that if it is true (false), then it is necessarily true (false).

Thus one (or both) of the following is being assumed:

1'. Intuitionism is false at every possible world.
2'. The law of excluded middle is true at every possible world.

Now consider the following:

3. If intuitionism is true, then the law of excluded middle holds.

This is intuitively false, as one of the fundamental tenets of intuitionism is precisely that the LEM does not hold. Suppose this statement is cashed out as:

3'. Every possible world at which intuitionism is true is a possible world at which the law of excluded

middle holds.

This holds vacuously, given either (1') or (2').

Now suppose impossible worlds are considered in addition to possible ones. It is compatible with (1') that there are impossible worlds at which intuitionism is true, and with (2') that there are impossible worlds at which the LEM is false. This yields the interpretation:

3*. Every (possible or impossible) world at which intuitionism is true is a (possible or impossible) world at which the law of excluded

middle holds.

This does not seem to be the case, for intuitively there are impossible worlds at which intuitionism is true and the law of excluded middle does not hold.

Resources

  • Kripke, Saul. 1965. Semantical analysis of modal logic, II: non-normal modal propositional calculi. In J.W. Addison, L. Henkin, and A. Tarski, eds., The Theory of Models. Amsterdam: North Holland.
  • Priest, Graham (ed.). 1997. Notre Dame Journal of Formal Logic 38, no. 4. (Special issue on impossible worlds.) Table of contents
  • Priest, Graham. 2001. An Introduction to Non-Classical Logic. Cambridge: Cambridge University Press.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • World peace — is an ideal of freedom, peace, and happiness among and within all nations. It is the professed ambition of many past and present world leaders.DefinitionWorld peace is the utopian ideal of planetary non violence by which nations willingly… …   Wikipedia

  • Impossible object — An impossible object (also known as an impossible figure or an undecidable figure) is a type of optical illusion consisting of a two dimensional figure which is instantly and subconsciously interpreted by the visual system as representing a… …   Wikipedia

  • Impossible Princess — Álbum de estudio de Kylie Minogue Publicación Octubre de 1997 12 de enero de 1998 …   Wikipedia Español

  • Impossible Creatures — Cover art Developer(s) Relic Entertainment Publisher(s) Microsoft Game Studios …   Wikipedia

  • Impossible Is Nothing (video résumé) — Impossible is Nothing is a 2006 video résumé by self styled CEO and Professional Athlete Aleksey Vayner (formerly Aleksey Garber) which became an Internet meme. History of job application In October 2006, Yale University student Aleksey Vayner… …   Wikipedia

  • Impossible Pictures — Rechtsform Großunternehmen Gründung 2002 Sitz London …   Deutsch Wikipedia

  • World War I reparations — refers to the payments and transfers of property and equipment that the German country was forced to make under the Treaty of Versailles (1919) following its defeat during World War I.Article 231 of the Treaty (the war guilt clause) declared… …   Wikipedia

  • Impossible Dream — is Patty Griffin s fifth commercially released album. It was released on April 20, 2004. The album features a hidden track Griffin s mother and father singing The Impossible Dream at the end of Top of the World. Impossible Dream reached a peak of …   Wikipedia

  • Impossible Pictures — Tipo Corporación Fundación 2002 Fundador(es) Tim Haines Sede Londres, UK …   Wikipedia Español

  • Impossible Princess — Studioalbum von Kylie Minogue Veröffentlichung 23. März 1998 Labels Deconstruction/BMG …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”