Miksi S5-modaalilogiikka herätti Ukko Yli-Jumalan kuolleista – rautalangasta väännettynä

 

(Tämä on jatkoa edelliseen kirjoitukseen S5-modaalilogiikka nosti Ukko Yli-Jumalan kuolleista.)

Miksi S5:ssä ◊□P → □P ?

1. Jos jokin on välttämätön (□P), se on totta kaikissa mahdollisissa maailmoissa – ei vain tässä, vaan ihan kaikissa, jotka loogisesti voivat olla olemassa.

2. Nyt sanotaan, että tämä välttämättömyys on mahdollinen (◊□P). Eli on olemassa vähintään yksi mahdollinen maailma, jossa tuo asia on välttämätön.

3. Mutta jos jossain mahdollisessa maailmassa se on välttämätön, se on silloin totta kaikissa mahdollisissa maailmoissa (koska välttämättömyys tarkoittaa juuri tätä).

4. Ja koska meidän maailmamme on yksi mahdollisista maailmoista, se on totta myös tässä maailmassa.

Toisin sanoen: 

Jos jossain mahdollisessa maailmassa Jumala on sellainen olento, joka ei voi olla olematta,  niin Hän ei voi olla olematta missään mahdollisessa maailmassa – ei myöskään tässä.

Se on kuin sanoisi: 

”On mahdollista, että 2 + 2 = 4 on välttämätön matemaattinen totuus.” Ja jos se on välttämätön yhdessä maailmassa, se on välttämätön kaikkialla – myös täällä.

S5 vain tekee tästä intuitiivisesta asiasta eksplisiittisen loogisen säännön.

Anssi H. Manninen (aka ”Kant II”)