Up voted, I believe that the universe is ultimately a complicated piece of mathematics. So when I say “exist” in a non-mathematical context, I mean the same thing as when I say it in a mathematical context.
I don’t think “exist” means a single thing even in mathematics. For example, in second order logic I’d consider quantifying over elements in the domain of discourse to be different than quantifying over relations.
I would still consider this to be a single thing, the same way that “P and Q” is still a statement.
Phrasing this in different way when I say “exist” I mean “either exist in the sense of quantifying over relations or elements”(definition subject to revision as I learn more non-first order logic).
Up voted, I believe that the universe is ultimately a complicated piece of mathematics. So when I say “exist” in a non-mathematical context, I mean the same thing as when I say it in a mathematical context.
I don’t think “exist” means a single thing even in mathematics. For example, in second order logic I’d consider quantifying over elements in the domain of discourse to be different than quantifying over relations.
I would still consider this to be a single thing, the same way that “P and Q” is still a statement.
Phrasing this in different way when I say “exist” I mean “either exist in the sense of quantifying over relations or elements”(definition subject to revision as I learn more non-first order logic).