The purpose of this paper is to assess the prospects for a neo-logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): [forall]P[forall]Q[Ext(P) = Ext(Q) [equiv] [(BAD(P) & BAD(Q)) [or] [forall]x(Px [equiv] Qx)]] BAD is taken as a primitive property of properties. We explore the features it must have for (RV) to sanction the various strong axioms of Zermelo-Fraenkel set theory. The primary interpretation is where 'BAD' is Dummett's 'indefinitely extensible'.
...More
Chapter
Mancosu, Paolo;
Zach, Richard;
Badesa, Calixto;
(2009)
The Development of Mathematical Logic from Russell to Tarski, 1900--1935
(/isis/citation/CBB001210349/)
Chapter
Hylton, Peter;
(2010)
Frege and Russell
(/isis/citation/CBB001211659/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Article
Reck, Erich H.;
(2013)
Frege, Dedekind, and the Origins of Logicism
(/isis/citation/CBB001212886/)
Book
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
Book
Potter, Michael;
(2004)
Set Theory and Its Philosophy
(/isis/citation/CBB000502611/)
Chapter
Thiel, Christian;
(2009)
Gottlob Frege and the Interplay between Logic and Mathematics
(/isis/citation/CBB001210345/)
Article
John Woods;
(2021)
What did Frege take Russell to have proved?
(/isis/citation/CBB858610340/)
Article
Korte, Tapio;
(2010)
Frege's Begriffsschrift as a lingua characteristica
(/isis/citation/CBB001211456/)
Article
Mark Textor;
(2021)
Saying Something about a Concept: Frege on Statements of Number
(/isis/citation/CBB227044624/)
Chapter
Goldfarb, Warren;
(2010)
Frege's Conception of Logic
(/isis/citation/CBB001211649/)
Book
Künne, Wolfgang;
(2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV
(/isis/citation/CBB001210615/)
Book
Frege, Gottlob;
(1999)
Idéographie
(/isis/citation/CBB000631020/)
Article
Schirn, Matthias;
(2010)
On Translating Frege's Die Grundlagen der Arithmetik
(/isis/citation/CBB001210971/)
Article
Moore, Gregory H.;
(1978)
The origins of Zermelo's axiomatization of set theory
(/isis/citation/CBB000009607/)
Chapter
Moore, Gregory H.;
(1983)
Lebesgue's measure problem and Zermelo's axiom of choice: The mathematical effects of a philosophical dispute
(/isis/citation/CBB000011154/)
Book
Moore, Gregory H.;
(1982)
Zermelo's axiom of choice: Its origins, development, and influence
(/isis/citation/CBB000026854/)
Thesis
Moore, Gregory H.;
(1979)
Zermelo's axiom of choice: Its origins and role in the development of mathematics (1821-1940)
(/isis/citation/CBB001563376/)
Be the first to comment!