Internet Encyclopedia of Philosophy (2003)
The Russell-Myhill Antinomy, also known as the Principles of Mathematics Appendix B Paradox, is a contradiction that arises in the logical treatment of classes and "propositions", where "propositions" are understood as mind-independent and language-independent logical objects. If propositions are treated as objectively existing objects, then they can be members of classes. But propositions can also be about classes, including classes of propositions. Indeed, for each class of propositions, there is a proposition stating that all propositions in that class are true. Propositions of this form are said to "assert the logical product" of their associated classes. Some such propositions are themselves in the class whose logical product they assert. For example, the proposition asserting that all-propositions-in-the- class-of-all-propositions-are-true is itself a proposition, and therefore it itself is in the class whose logical product it asserts. However, the proposition stating that all-propositions-in-the-null-class-are-true is not itself in the null class. Now consider the class w, consisting of all propositions that state the logical product of some class m in which they are not included. This w is itself a class of propositions, and so there is a proposition r, stating its logical product. The contradiction arises from asking the question of whether r is in the class w. It seems that r is in w just in case it is not. This antinomy was discovered by Bertrand Russell in 1902, a year after discovering a simpler paradox usually called Russell's paradox ". It was discussed informally in Appendix B of his 1903 Principles of Mathematics . In 1958, the antinomy was independently rediscovered by John Myhill, who found it to plague the "Logic of Sense and Denotation" developed by Alonzo Church.
|Keywords||Russell Myhill antinomy paradox set class type zermelo Quine Frege|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Sets and Plural Comprehension.Keith Hossack - 2014 - Journal of Philosophical Logic 43 (2-3):517-539.
Similar books and articles
The Contemporary Significance of Confucianism.Tang Yijie & Yan Xin - 2008 - Frontiers of Philosophy in China 3 (4):477-501.
Russell's Paradox of the Totality of Propositions.Nino Cocchiarella - 2000 - Nordic Journal of Philosophical Logic 5 (1):25-37.
Frege's Paradise and the Paradoxes.Sten Lindström - 2003 - In Krister Segerberg & Rysiek Sliwinski (eds.), A Philosophical Smorgasbord: Essays on Action, Truth and Other Things in Honour of Fredrick Stoutland. Uppsala Philosophical Studies 52.
Russell's Way Out of the Paradox of Propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Russell, His Paradoxes, and Cantor's Theorem: Part II.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):29-41.
Russell, His Paradoxes, and Cantor's Theorem: Part I.Kevin C. Klement - 2010 - Philosophy Compass 5 (1):16-28.
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's Response Adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
Added to index2009-01-28
Total downloads40 ( #130,007 of 2,172,871 )
Recent downloads (6 months)5 ( #56,279 of 2,172,871 )
How can I increase my downloads?