Talk:William of Soissons

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

Mathematics Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Low	This article has been rated as Low-priority on the project's priority scale.

Articles for creation

	This article was reviewed by member(s) of WikiProject Articles for creation. The project works to allow users to contribute quality articles and media files to the encyclopedia and track their progress as they are developed. To participate, please visit the project page for more information.Articles for creationWikipedia:WikiProject Articles for creationTemplate:WikiProject Articles for creationAfC articles
	This article was accepted from this draft on 18 December 2017 by reviewer DGG (talk · contribs).

Improvements[edit]

Thank you for improving this article!

Astreven (talk) 09:13, 16 September 2018 (UTC)[reply]

Is there another proof?[edit]

The question remains if there is another proof. I don't think so.

Suppose a 'statement' follows logically from other statements or agreements.

Suppose an 'agreement' is more or less self evident in a community ( a civilization).

-(P & -P) is an agreement at least in Western Society. It is not a statement that follows from other statements or agreements. It is an agreement itself.

An agreement, like -(P&-P), cannot be proven logically. It works or it works not. See also L. Wittgenstein, Uber Gewissheit, Number 110 and further. Suhrkamp Verlag, 1982.

— Preceding unsigned comment added by Astreven (talk • contribs) 12:58, 16 September 2018 (UTC)[reply]

The appendix has a problem[edit]

Can anyone justify this statement?: "But (P &¬ P) can in this proof only be rejected if E is valid."

"¬(P &¬ P)" is an accepted tautology.

Daniel R. Grayson (talk) 12:56, 9 March 2020 (UTC)[reply]

The appendix was added by Astreven (talk). I propose to delete the appendix. Does anyone object?

Daniel R. Grayson (talk) 21:43, 18 May 2020 (UTC)[reply]