Propositions, cross-world identity and truth values
1. There is a thing, x, such that it is a contingent proposition. ∃xCx 2. For any thing, x, if x is a contingent proposition then there is a possible…
Similarity between PWS and predicate logic
It seems to me that the formulas: 1. ◊P 2. (∃x)(Fx) and: 3. □P 4. (∀x)(Fx) are quite similar, if we translate the modal propositional ones into PWS. Here is…