- Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.details
|
|
Rumfitt on truth-grounds, negation, and vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.details
|
|
Conceptual Spaces: The Geometry of Thought.Peter Gärdenfors - 2000 - Tijdschrift Voor Filosofie 64 (1):180-181.details
|
|
On being in a quandary. Relativism vagueness logical revisionism.Crispin Wright - 2001 - Mind 110 (1):45--98.details
|
|
Constructive validity is nonarithmetic.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1036-1041.details
|
|
(1 other version)A Derivation of Number Theory from Ancestral Theory.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):77-77.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
|
|
All Things Indefinitely Extensible.Stewart Shapiro & Crispin Wright - 2006 - In Stewart Shapiro & Crispin Wright (eds.), All Things Indefinitely Extensible. pp. 255--304.details
|
|
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.details
|
|
Pretopologies and completeness proofs.Giovanni Sambin - 1995 - Journal of Symbolic Logic 60 (3):861-878.details
|
|
(1 other version)A derivation of number theory from ancestral theory.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):192-197.details
|
|
How high the sky? Rumfitt on the (putative) indeterminacy of the set-theoretic universe.Crispin Wright - 2018 - Philosophical Studies 175 (8):2067-2078.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
|
|
Incompleteness in intuitionistic metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.details
|
|
Neo-Fregeanism and the Burali-Forti Paradox.Ian Rumfitt - 2018 - In Ivette Fred Rivera & Jessica Leech (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford, England: Oxford University Press. pp. 188-223.details
|
|