If Logic, Definitions and the Vicious Circle Principle

Journal of Philosophical Logic 41 (2):505-517 (2012)
  Copy   BIBTEX


In a definition (∀ x )(( x є r )↔D[ x ]) of the set r, the definiens D[ x ] must not depend on the definiendum r . This implies that all quantifiers in D[ x ] are independent of r and of (∀ x ). This cannot be implemented in the traditional first-order logic, but can be expressed in IF logic. Violations of such independence requirements are what created the typical paradoxes of set theory. Poincaré’s Vicious Circle Principle was intended to bar such violations. Russell nevertheless misunderstood the principle; for him a set a can depend on another set b only if ( b є a ) or ( b ⊆ a ). Likewise, the truth of an ordinary first-order sentence with the Gödel number of r is undefinable in Tarki’s sense because the quantifiers of the definiens depend unavoidably on r



    Upload a copy of this work     Papers currently archived: 77,985

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ontology and the Vicious Circle Principle.Charles S. Chihara - 1973 - Ithaca, NY, USA: Ithaca [N.Y.]Cornell University Press.
A semantical account of the vicious circle principle.Philip Hugly & Charles Sayward - 1979 - Notre Dame Journal of Formal Logic 20 (3):595-598.
Russell, Presupposition, and the Vicious-Circle Principle.Darryl Jung - 1999 - Notre Dame Journal of Formal Logic 40 (1):55-80.
Sets and Plural Comprehension.Keith Hossack - 2014 - Journal of Philosophical Logic 43 (2-3):517-539.
Russell and the vicious circle principle.Philippe Rouilhan - 1992 - Philosophical Studies 65 (1-2):169 - 182.
Ontology and the Vicious Circle Principle.Michael Corrado - 1974 - International Philosophical Quarterly 14 (3):375-378.
Ontology and the Vicious-Circle Principle.J. van Heijendort - 1974 - International Studies in Philosophy 6:204-205.
The vicious circle principle: Comments on Philippe de rouilhan.Peter Hylton - 1992 - Philosophical Studies 65 (1-2):183 - 191.


Added to PP

89 (#143,966)

6 months
3 (#247,888)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Henri Poincaré.Gerhard Heinzmann - forthcoming - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Principia Mathematica.Alfred North Whitehead & Bertrand Russell - 1925 - Cambridge, England: Franklin Classics.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.

View all 13 references / Add more references