Mundus qui fieri non potest

Mundus qui fieri non potest, aliquando mundus non normalis appellatus, in logica philosophica est notio ad certas res disputandas quae satis per notionem usitatorum mundorum qui fieri possunt tractari non possunt. Mundus qui fieri non potest, w, est eadem res ac mundus qui fieri potest (quidquid sit), quamquam nonnullis sensibus "non fieri potest" sit. Ergo in variis contextibus, nonnullae contradictiones ad w verae sint, usitatae leges logicae metaphysicaeve falsae sunt, aut ambo.

Saul Kripke in litore Juquehy Novi Eboraci circa 2005.

Nexus interni

• Logica modalis
• Realismus modalis
• Saul Kripke
• Paradoxum Currianum
• Intuitionismus

Bibliographia

• Kripke, Saul. 1965. Semantical analysis of modal logic, II: non-normal modal propositional calculi. In The Theory of Models, ed. J. W. Addison, L. Henkin, et A. Tarski. Amstelodami: North Holland.
• Kripke, Saul. 1971. Semantical considerations on modal logic. In Reference and modality, ed. Leonard Linsky. Londinii: Oxford University Press. ISBN 019875017X.
• Priest, Graham, ed. 1997. Notre Dame Journal of Formal Logic 38(4). Praecipua editio de mundis qui fieri non possunt. Table of contents
• Priest, Graham. 2001. An Introduction to Non-Classical Logic. Cantabrigiae: Cambridge University Press.

Nexus externi

• Zalta, Edward N. A classically-based theory of impossible worlds. Notre Dame Journal of Formal Logic 38(4): 640–660. PDF.