I am an orthodox Christian, ask me a question!

[Jon Paul]

Also, I never denied Arisotle's laws of logic and so forth. I completely agree with them and I have no problem with them at all. All I have ever said is that you completely fail to show how this logic absolutely proves that god exists, and even if you did you cannot possibly make the leap from god exists to the Christian god exists.

Finally someone gives me a lead on these laws ... thanks Eilonnwy!

First thought ... they appear to be thje basis of computer/electronics logic i.e

• The law of non-contradiction (A is not non-A)
  
• The law of identity (A is A)
  
• The law of excluded middle (either A or non-A)
  
• The law of rational inference from what is known to what is unknown

Broadly speaking they seem to equate to:

• NOT (A is not non-A)
  
• AND (A is A)
  
• OR (either A or non-A)

I guess there should also be a XOR/NOR there but they're probably derived from those as combinations so that's cool (I'm sure Adrian or Leo will correct me on those if I'm wrong).

What remains clear though is that there is no "Law of Contradiction" (no matter how rational it may sound to JP).

Kyu

The law of contradiction is the same as the law of non-contradiction, or the principle of contradiction.