On 05/26/2017 10:24 PM, Ørjan Johansen wrote:
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.
It's also worth noting that no proof via CFJs overrides rules. Given
that many important actions are Secured (which explicitly restricts the
mechanisms that can trigger them), these proofs couldn't grant you the
power to perform them even if we accepted the proof.
