Logical Truths (Primitives)
- Paradox of Material Implication
If I were to love you then you’d love me. Or is it the other way around?
- Weakening
If only I loved you.
If only you loved me.
If you loved me, I’d love you.
You’ll love me only if I love you.
- Excluded Middle
What if it were not the case I either love you or I don’t?
Of course, I love you.
I either do or don’t.
Now, a contradiction: so I must not love you.
I mean that, I either love you or I love you not.
So, another contradiction: for how could it be and also not be the case that I either love you or I don’t love you? It couldn’t.
I either love you, or I don’t.