Great! You brought up
contradiction. When I first encountered contradictions in real life, back when I was in my teens & later on, it was, now I realize,
incomprehensible or
incomputable (that was the pre-logic phase of my life). I couldn't make sense of it at all. I reasoned to myself there's something fundamentally wrong with statements like p & ~p. It's snowing
AND it's
not snowing is "wrong" for the reason that the the second conjunct
denies/negates the first - they
cancel each other out and its as if someone who utters/writes a contradiction says
nothing at all (+y + -y = 0].
Those who know don't speak, those who speak don't know. — Laozi
"What a genuine word of God would look like?"
— Art48
Silence. — Banno
अति सुंदर
(Ati sundar: Glorious/most beautiful).
Accounts of God having answered prayers is total hogwash! That however doesn't mean we stop praying. — Agent Smith
Then I took an introductory course in logic and came to realize
formalization (logic to logicians) meant that contradictions, their unacceptability to be precise, need to be put on firmer ground than just than intuition I outlined in the previous paragraph. This, I came to know, takes shape in the famous
ex falso quodlibet (
anything follows from a
contradiction). How this happens is as follows:
1. p & ~p
2. p [1 Simp]
3. p v q [2 Add]
4. ~p [1 Simp]
5. q [3, 4 DS]
q here stands for any and all statements & even their negations [you mentioned
inconsistency and this is it].
According to logicians, contradictions, and I quote, "
trivialize the notion of
truth". What this means isn't clarified in the books I read. What does it mean
Banno? If p is true and ~p is also true, I would say that
negation (~) is being
trivialized (it doesn't matter whether its present/absent). Please help!
:smile: