= 27d567bc2d48d9f40e9ccc20ea370b15)
DuncanS comments on The Apparent Reality of Physics - Less Wrong Discussion
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 (62)
Surely can't be exactly what you mean, as exists(our Univese) and ¬exists(everything else) seems coherent if rather unlikely, and seems consistent at our present state of knowledge with ¬exists(infinite sets).
It seems your 'exists' concept is pretty much indistinguishable from 'logically coherent', and that that's the whole point you're trying to make - that we're in no position to distinguish these, and should simply abandon the 'exists'.
I would dispute this, on the grounds that my deductions in formal systems come from somewhere that has a causal relation to my brain - the formal system causes me to be more likely to deduce the things which are valid deductions than the things that aren't. So, if I 'exist', I maintain that the formal systems have to 'exist' too, unless you're happy with 'existing' things being causally influenced by 'non-existing' things - in which case there's not a lot of point in asserting that ¬exists(infinite sets). A definition of 'exists' which doesn't satisfy my coherence requirements is, I am attempting to argue, simply a means of sneaking in connotations.