Logic

3
More

Existence is a Predicate

  • December 27, 2022

Let ‘w’ refer to any world.  Then “exists in” expresses a perfectly fine relation between entities and worlds.  Let S be the set of worlds in which history ends in 30 BC.