| |
[21. Feb 2011|22:59] |
Bet vispār, kaut kas svarīgāks. Dienas atklājums: S5 modālajā loģikā (kas nav nekāds "krūmu variants", bet gan visai plaši akceptēts formālisms, at least according to Stanford Encyclopedia of Philosophy):
◊□P → □P
Tas ir:
ja ir iespējams, ka P ir nepieciešams,
tad P ir nepieciešams.
Ja ir iespējams, ka Dievs ir nepieciešama būtne, tad Dievs ir nepieciešama būtne.
Absurds un nonsenss, I say. |
|
|
