Świat możliwy

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

W logice i metafizyce modalnej możliwy świat to sposób, w jaki świat mógłby się mieć, sposób, w jaki rzeczy mogłyby wyglądać. Dokładniej: możliwy świat to kompletny, czy maksymalny możliwy stan rzeczy, gdzie kompletność można zdefiniować w następujący sposób: powiedzmy, że stan rzeczy S zawiera stan rzeczy S' jeśli (logicznie) niemożliwe jest, żeby S zachodził, a S' nie zachodził. I powiedzmy, że stan rzeczy S wyklucza stan rzeczy S' jeśli (logicznie) niemożliwe żeby zarówno S jak i S' zachodziły. Wtedy pewien stan rzeczy S jest kompletny wtedy i tylko wtedy gdy dla każdego możliwego stanu rzeczy S', S zawiera S' lub S wyklucza S'[1].

Podstawowe terminy logiki modalnej można wyrazić w następujący sposób z wykorzystaniem pojęcia światów możliwych:

  • dany sąd logiczny jest konieczny wtedy i tylko wtedy, gdy jest prawdziwy we wszystkich możliwych światach.
  • dany sąd logiczny jest możliwy wtedy i tylko wtedy, gdy jest prawdziwy w co najmniej jednym możliwym świecie.
  • dany sąd logiczny jest niemożliwy wtedy i tylko wtedy, gdy jest nieprawdziwy we wszystkich możliwych światach.

Świat aktualny, czyli świat który rzeczywiście zachodzi jest jednym z możliwych światów. Termin "świat możliwy" jest najczęściej przypisywany Gottfriedowi Leibnizowi.

Przypisy

  1. A. Plantinga, The Nature of Necessity, Oxford University Press, 1974, s. 44-45.

Bibliografia[edytuj | edytuj kod]

A. Plantinga, The Nature of Necessity, Oxford University Press, 1974.