This is the user sandbox of Astreven. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here.
Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review!
William of Soissons lived in Paris in the 12th century. Hij is known as the first one to proof ex contradictione quod libet, or that from a contradiction every assertion may be inferred as true ,[1]. Later Clarence Irving Lewis formalized this proof as follows [2]:
Proof [bewerken]
A &¬ A : beïng a contradiction.
B : beïng any possible assertion.
(1) A &¬ A → A
(2) A → A∨B
(3) A &¬ A → A∨B
(4) A &¬ A → ¬A
(5) A &¬ A → (A∨B) &¬A
(6) (A∨B) &¬A → B
(7) A &¬ A → B
Sources
^ Graham Priest, 'What's so bad about contradictions?' in Priest, Beal and Armour-Garb, The law of non-contradicton, p. 25.
^ Christopher J. Martin, William’s Machine, Journal of Philosophy, 83, 1986, pp. 564 – 572. In particular p. 565