| http://www.w3.org/ns/prov#value | - What he was doing was a form of argumentation which in philosophy and logic is called Reductio ad absurdum (Latin: reduction to the absurd) which is a form of argument in which a proposition is disproven by following its implications logically to an absurd consequence.
|
