Re: Act of creation from nothing is logically impossible
Posted: February 24th, 2023, 9:30 pm
GE Morton wrote: ↑February 24th, 2023, 3:05 pmIn set theory there is an empty set, but in mereology there is no empty sum; so there is no existence qua sum total of existents if there are no existents.Consul wrote: ↑February 23rd, 2023, 12:55 amThe noun "existence" has more than one meaning: It can be used to refer to an existent, to the totality (sum total) of existents, or to the property of existing. Correspondingly, "Existence exists" means either "The totality (sum total) of existents exists" or "The property of existing exists". The (mereological) sum total of all existents is an existent itself, so it is true in this sense that existence exists.That's true. But "existence" is still dependent on the existence of particular things --- no particular existents, no "existence."
GE Morton wrote: ↑February 24th, 2023, 3:05 pmYes, it's a real predicate that can be true of individuals; but I agree with those who think that if A exists, the truthmaker of "A exists" is nothing but A. That is, there is no additional state of affairs—A's existing—which includes a real property of existing. A alone makes it true that A exists.Consul wrote: ↑February 23rd, 2023, 12:55 amWhether existence is a (real) property is a contentious issue, so the truth-value of "Existence exists" in this sense depends on whether or not there is such a property as existing.Yes. Most logicians since Frege and Russell (and even Aristotle) do not consider existence to be a "real" or "actual" property. It functions grammatically as one, however.