Can someone explain to me the Law of Non-Contradiction?
That is a failure of language, not a failure of LNC.outlaw said:One famous example of where the law of non-contradiction falls apart is in elementary physics. Light is both a particle (P) AND a wave (W). here we have light acting as a particle (P) and a wave (Not-P)
outlaw said:For any presupposition (P), P is incompatible with not-P
The law sounds great on paper (or on a computer screen) but it is next to impossible to get to work in real life where issues of context and time and perception come into play.
outlaw said:One famous example of where the law of non-contradiction falls apart is in elementary physics. Light is both a particle (P) AND a wave (W). here we have light acting as a particle (P) and a wave (Not-P)
outlaw said:Other real world and personal examples exist. I am chatting with my friend and she says that it is a beautiful sunny day. I look outside my window and note that it is not just the middle of the night but raining as well. The beautiful sunny day (P) and the stormy night (not-P) cannot, according to the law of non-contradiction, both be true. Yet they are both true because of the context of the conversation taking place over the phone to my friend who happens to love in New Zeeland.
The Lord's Envoy said:Can someone explain to me the Law of Non-Contradiction?
It's an axiom (along with the law of identity) so no, you can't prove it. To do so, you would have to step outside logic (because all logic depends on the law of non-contradiction) - which would also make any notion of proof completely meaningless.bob135 said:Can you prove the law of non-contradiction, or is it just assumed, or "self-evident"?
If the law of noncontradiction were not true it would be impossible to prove anything, as you could never guarantee that even if something were true that it was not also false. It's a vital part of the process of making proofs, and as such cannot be proven. But if you value proofs as a way of achieving understanding of the world, you must accept the law of noncontradiction.bob135 said:Can you prove the law of non-contradiction, or is it just assumed, or "self-evident"?
outlaw said:For any presupposition (P), P is incompatible with not-P
The law sounds great on paper (or on a computer screen) but it is next to impossible to get to work in real life where issues of context and time and perception come into play.
One famous example of where the law of non-contradiction falls apart is in elementary physics. Light is both a particle (P) AND a wave (W). here we have light acting as a particle (P) and a wave (Not-P)
Other real world and personal examples exist. I am chatting with my friend and she says that it is a beautiful sunny day. I look outside my window and note that it is not just the middle of the night but raining as well. The beautiful sunny day (P) and the stormy night (not-P) cannot, according to the law of non-contradiction, both be true. Yet they are both true because of the context of the conversation taking place over the phone to my friend who happens to love in New Zeeland.
When confronted with someone trying to use the law of non-contradiction remember that the truth of a statement is always dependant on the context and can both the truth and the context can change over time and space.
bob135 said:Can you prove the law of non-contradiction, or is it just assumed, or "self-evident"?
It is axiomatic. "The LNC is not true" assumes the truth-state "not true" is distinct from the truth state "true," thereby invoking the LNC.bob135 said:Can you prove the law of non-contradiction, or is it just assumed, or "self-evident"?
PKJ said:Very good question. I think we made it up from empirical observation (in other words, things are cooler when you use the LoNC), but some seem to think that it's some kind of universal law that exists in this world but could be wrong in another, possible world.
David Gould said:No.
Logic is the lens we use to determine truth.
In other words, logic cannot be 'true' or 'false'. It is that by which we determine truth or falseness.
PKJ said:I totally agree. But don't you think that our lens can be improved, like Frege/Russel improved aristotelician logic? That would lead us to think that logic is not 100% innate.
You can't prove it, but you can prove anything you like from a single case of it not holding:Patzak said:It's an axiom (along with the law of identity) so no, you can't prove it. To do so, you would have to step outside logic (because all logic depends on the law of non-contradiction) - which would also make any notion of proof completely meaningless.
Could you elaborate what you mean? I'm not sure exactly what you mean by categories. Could you give some examples?PKJ said:Is logic built with innate categories?