Ś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'.

Przypisy

  1. Plantinga 1974 ↓, s. 44–45.

Bibliografia

Linki zewnętrzne

Artykuły na Stanford Encyclopedia of Philosophy (ang.) [dostęp 2018-09-01]:

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.