Świat możliwy
Świat możliwy – w logice i metafizyce modalnej 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].
Przypisy edytuj
- ↑ Plantinga 1974 ↓, s. 44–45.
Bibliografia edytuj
- Alvin Plantinga: The Nature of Necessity. Oxford University Press, 1974.
Linki zewnętrzne edytuj
Artykuły na Stanford Encyclopedia of Philosophy (ang.) [dostęp 2018-09-01]:
- Christopher Menzel, Possible Worlds, 8 lutego 2016.
- Francesco Berto, Impossible Worlds, 31 sierpnia 2018.