= 27d567bc2d48d9f40e9ccc20ea370b15)
NoSuchPlace comments on Irrationality Game III - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (204)
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).