Propositions, cross-world identity and truth values
www.emilkirkegaard.com
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 world, w, where x is true, and there exists a possible world, w', where x is false. ∃xCx→∃x∃w∃w'Pxaw∧Pxbw'
Propositions, cross-world identity and truth values
Propositions, cross-world identity and truth…
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 world, w, where x is true, and there exists a possible world, w', where x is false. ∃xCx→∃x∃w∃w'Pxaw∧Pxbw'