I have been a bit curious about the notion of the use of “possible worlds” as a way of communicating whether a proposition is either empirically or rationally true. When a proposition is said to be necessarily true (e.g. Circles are round) it is said that there is no possible world in which circles exist and are not round; circularity and roundness are inherently tied together by their nature. However, it seems upon further reflection that the use of the quantifier “all possible worlds” could only suggest all possible worlds in which ideas or abstract objects like circles and the concept of roundness are like our actual world; or, in a related sense, where there exist beings whose deductive logical “systems” are like ours. If this is true is it possible that our invoking the use of the phrase “all possible worlds” should really indicate “all possible worlds like our own”? While it may be nonsensical to state that there are square circles in some possible world, does it follow that this cannot be true in all possible worlds. Is it logically possible that that which we cannot conceive could be nonetheless true in some other possible world?