On Sat, 27 May 2017, CuddleBeam wrote:
So, "absurdity" is not meant in a formal way (non sequitur) but rather how the consequences of the application of laws of logic feels like?
No, it _is_ formal, but from logic. "Reductio ad absurdum" (reduction to the absurd) is the Latin term for proof by contradiction.
Greetings, Ørjan.