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…
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…
Some people think that the identity notion is captured by the second proposal above. I think we need two notions of identity. I will not discuss that now. Strict identity…