- Choice principles and constructive logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
Logic, Logic, and Logic.George Boolos - 2000 - History and Philosophy of Logic 21 (3):223-229.details
|
|
Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.details
|
|
Platonism and Anti-Platonism in Mathematics. [REVIEW]Matthew McGrath - 2001 - Philosophy and Phenomenological Research 63 (1):239-242.details
|
|
Platonism and Anti-Platonism in Mathematics.Mark Balaguer - 1998 - Bulletin of Symbolic Logic 8 (4):516-518.details
|
|
Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Zermelo (1930) is concerned with impredicative second-order set theory. He treats the general case of set theory with urelements, but it will be enough to consider only the case of pure set theory, ie without urelements. In this context, Zermelo's theory is the axiomatic second-order theory T2 in the language of pure set theory whose axioms are Extensionality, Regu. [REVIEW]Ww Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469.details
|
|
Naïve set theory is innocent!A. Weir - 1998 - Mind 107 (428):763-798.details
|
|
Constructivism liberalized.Daniel J. Velleman - 1993 - Philosophical Review 102 (1):59-84.details
|
|
The continuum hypothesis is independent of second-order ZF.Thomas S. Weston - 1977 - Notre Dame Journal of Formal Logic 18 (3):499-503.details
|
|
The Gentzen-Kripke construction of the intermediate logic LQ.Seiki Akama - 1991 - Notre Dame Journal of Formal Logic 33 (1):148-153.details
|
|
A completeness theorem for Zermelo-Fraenkel set theory.William C. Powell - 1976 - Journal of Symbolic Logic 41 (2):323-327.details
|
|
The open-endedness of the set concept and the semantics of set theory.A. Paseau - 2003 - Synthese 135 (3):379 - 399.details
|
|
The Open-Endedness of the Set Concept and the Semantics of Set Theory.A. Paseau - 2003 - Synthese 135 (3):379-399.details
|
|
Should the logic of set theory be intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.details
|
|
Boolos on the justification of set theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.details
|
|
Informal axiomatization, formalization and the concept of truth.Charles Parsons - 1974 - Synthese 27 (1-2):27 - 47.details
|
|
Frege: Philosophy of Mathematics. [REVIEW]Charles Parsons - 1996 - Philosophical Review 105 (4):540.details
|
|
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.details
|
|
Independence results around constructive ZF.Robert S. Lubarsky - 2005 - Annals of Pure and Applied Logic 132 (2-3):209-225.details
|
|
Sets and semantics.Jonathan Lear - 1977 - Journal of Philosophy 74 (2):86-102.details
|
|
On a Possible Misinterpretation of Kripke's Semantics for Intuitionistic Logic.Allen Hazen - 1982 - Analysis 42 (3):128 - 133.details
|
|
Replacement and collection in intuitionistic set theory.Nicolas D. Goodman - 1985 - Journal of Symbolic Logic 50 (2):344-348.details
|
|
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.details
|
|
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.details
|
|
First-order modal theories I--sets.Kit Fine - 1981 - Noûs 15 (2):177-205.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.details
|
|
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.details
|
|
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.details
|
|
The Problem of Absolute Universality.Charles Parsons - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 203--19.details
|
|
Mathematics in Philosophy.Charles Parsons - 1987 - Revue Philosophique de la France Et de l'Etranger 177 (1):88-90.details
|
|