# Identity Entails Logic

### the inventors of the three laws of classical logic, never stated the laws relationships to each other.

The first law is the law of identity. It merely says that every time you talk about A, you mean the same identical thing.

The other two formulas are variations on the afeard Law of the excluded middle. Don’t try to use logic in a situation where the Law of the excluded middle does not obtain ... in other words where it is not ... err entailed. Identity entails it. That’s what the diagram says. For example If A might not be A, then not (not A) might not be A either. Here is another example of where identity is failing.

In other words: My diagram lays down a precise formula for when you can, and can not, apply the classical laws of logic. If my diagram does not do so, then i surely want to know.

My diagram is the three laws of binary logic (see Barbara Cubed) expressed in second order logic notation showing (for the first time?) the precise relationship between them.

### Tags

- logic
- item 12567
- 3 laws
- identical

### Comments

*Seth says*Perhaps another way to say this is …

“if you are inside a classical logic box, where those three axioms hold, then there is no need to even be aware of the relationship between the axioms … they are all of equal value. But what if you do not even know whether you are in a classical logic box or not ? That is where the law of identity comes into play first … if it holds, then you know the other two laws will hold as well … if identity does not hold, then you are outside of a classical logic box.”

*Seth says*One research question might be: Assume that you do not know whether identity holds in a context … but you find that LEM holds … if you assume that LEM holds, can you then prove that identity holds as well ? ← i am betting not.

**But i seem to remember that you need all three axioms to prove anything. They are three independent axioms.**

*Seth says*these are the three laws of logical thought. not my coinage … it was coined in our culture when logic was developing. so @nathan note! ... we have two quite different sets of 3 laws going in this room.

*Si says*👍

*Si says*Yep. I agree. Reality is not binary and this nicely proves it.

Your A is never exactly my A no matter how similar they may seem by all the communication we can use to compare them. There will always be some difference, and usually more individually aware difference than not. Binary logic only works inside one individual, or a computer, and sometimes not even either of those.

So then, what is the real logic of the verses?

### See Also

- Thought
**BARBARA CUBED - The Manual of Pure Logic**with 301 viewings related by tag "logic". - Thought
**Conversation on hash tags?**with 111 viewings related by tag "logic". - Thought
**3 state logic**with 90 viewings related by tag "logic". - Thought
**List of Logical Fallacies**with 68 viewings related by tag "logic". - Thought
**The binary logic of two distinctions**with 36 viewings related by tag "logic". - Thought
**BARBARA CUBED - I. DEFINITIONS**with 18 viewings related by tag "logic". - Thought
**The Rise of Gobbledygook.**with 18 viewings related by tag "logic". - Thought
**The 3 laws of Thinking Domain content #ThreeLaws**with 16 viewings related by tag "3 laws". - Thought
**Identity Entails the Laws of Logic**with 10 viewings related by tag "3 laws". - Thought
**phrases are more specific than single words**with 7 viewings related by tag "3 laws". - Thought
**Truth**with 7 viewings related by tag "logic". - Thought
**The Ten Commandments of Logic**with 6 viewings related by tag "logic". - Thought
**about: logically speaking**with 6 viewings related by tag "logic". - Thought
**Illative force**with 6 viewings related by tag "3 laws". - Thought
**Word Salad Dressing**with 5 viewings related by tag "item 12567". - Thought
**Illative Force - A Lament**with 5 viewings related by tag "logic". - Thought
**Aristotle on Topics**with 5 viewings related by tag "logic". - Thought
**Conventional Logic vs Faith**with 5 viewings related by tag "logic". - Thought
**about: hmmm ....**with 4 viewings related by tag "logic". - Thought
**Pride an Glory in Your Code**with 4 viewings related by tag "logic". - Thought
**about: GW Document: Spring - #57**with 4 viewings related by tag "3 laws". - Thought
**Extensional VS Intensional Logic**with 4 viewings related by tag "logic". - Thought
**A == A aka Indetity**with 4 viewings related by tag "identical". - Thought
**Worth Repeating**with 1 viewings related by tag "logic". - Thought
**An interesting dialogue about Truth**with 1 viewings related by tag "logic". - Thought
**Some math musing re philosophy of mind**with 1 viewings related by tag "logic". - Thought
**The Excluded Middle**with 1 viewings related by tag "item 12567". - Thought
**That which is, IS!**with 1 viewings related by tag "logic". - Thought
**law of non-contradiction (2nd law)**with 0 viewings related by tag "3 laws". - Thought
**not (not X) is not necessarily X**with 0 viewings related by tag "logic". - Thought
**Logic is great, Survival is better!**with 0 viewings related by tag "item 12567". - Thought
**about: Sorites**with 0 viewings related by tag "logic". - Thought
**about: Burningbird ? I love you 25% of the time**with 0 viewings related by tag "logic". - Thought
**Way to Go Coach!**with 0 viewings related by tag "logic". - Thought
**Paradox and Otherness**with 0 viewings related by tag "logic". - Thought
**about: Not (not A) is still not A.**with 0 viewings related by tag "logic". - Thought
**Better *Is* Better Than Is Or Is Not**with 0 viewings related by tag "logic". - Thought
**Barbara Cubed - Page 2 Illative Force**with 0 viewings related by tag "logic". - Thought
**dmiles**with 0 viewings related by tag "logic". - Thought
**logic is great, survival is better**with 0 viewings related by tag "logic". - Thought
**Liberal Wet Dream**with 0 viewings related by tag "logic". - Thought
**How my thinking has changed**with 0 viewings related by tag "logic". - Thought
**If pigs could fly ...**with 0 viewings related by tag "logic". - Thought
**Interesting dilog about paradoxes with a logic professor**with 0 viewings related by tag "logic". - Thought
**Philosophy Group**with 0 viewings related by tag "logic". - Thought
**That which is - may not BE!**with 0 viewings related by tag "logic". - Thought
**about: a thing is identical with itself**with 0 viewings related by tag "logic".