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'