Concept tag
#kripke-semantics
-
Why do philosophers say “in some possible world” instead of just “possibly”?
I design puzzle games, so I spend my days building small worlds with rules. When I started reading about modality I kept seeing sentences like "there is a possible world in which you became a dentist." Why not just say "you could…
Started by Huang Wei-ting4 replies125 views -
How did Kripke’s possible worlds turn S4 and S5 from arbitrary axioms into something meaningful?
I'm a software engineer and I've been reading about modal logic for fun. I understand the operators. What I don't understand is the history I keep seeing summarised: C. I. Lewis invented several systems, S1 to S5, with different axioms; nobody could…
Started by Pieter de Jong4 replies179 views