= 27d567bc2d48d9f40e9ccc20ea370b15)
thomblake comments on Supernatural Math - 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 (56)
While this might seem overly pedantic (hardly something to complain about in this discussion), I'd like to point out that this definition only matches the usual one if you also accept the law of non-contradiction. More precisely, a system is consistent if it does not contain a contradiction.
Also, your definitions of Mathematics and "logically follows" don't seem very... good. Did you make them up?
EDIT: changed "excluded middle" to "non-contradiction". duh.
ETA: Yeah, my point was stupid. Nevermind.
What we mean by a contradiction is the truth of a statement of the form "x and not x", or, in Bynerma's terms, that there is a statement x such that both x and "not x" logically follow (from the axiomatic system). (Things that we (correctly) intuitively recognize as contradictions allow us to derive a statement of that form.) So, although Bynerma used slightly unusual language, she correctly expressed the content of the usual definition.
The Law of the Excluded Middle is not needed here. It says that statements of the form "x or not x" are true (provable even, according to Wikipedia).
Absolutely correct - note edit
I see what I was doing here. The law of excluded middle is equivalent to the law of non-contradiction. Probably why I had the two confused. Example in sentential logic: