- Categoricity, Open-Ended Schemas and Peano Arithmetic.Adrian Ludușan - 2015 - Logos and Episteme 6 (3):313-332.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Frege's Principle.Richard Heck - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics. Kluwer Academic Publishers.details
|
|
The state of the economy: Neo-logicism and inflation.Rov T. Cook - 2002 - Philosophia Mathematica 10 (1):43-66.details
|
|
An Observation about Truth.David Kashtan - 2017 - Dissertation, University of Jerusalemdetails
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
Reflections on consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. Oxford University Press. pp. 263--299.details
|
|
Logica di ordine superiore e verità.Ciro De Florio - 2014 - Epistemologia 37 (1):79-95.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.details
|
|
Models and Computability.W. Dean - 2014 - Philosophia Mathematica 22 (2):143-166.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
To be fair.Benjamin L. Curtis - 2014 - Analysis 74 (1):47-57.details
|
|
Informal and Absolute Proofs: Some Remarks from a Gödelian Perspective.Gabriella Crocco - 2019 - Topoi 38 (3):561-575.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
Possible predicates and actual properties.Roy T. Cook - 2019 - Synthese 196 (7):2555-2582.details
|
|
Mathematical structuralism today.Julian C. Cole - 2010 - Philosophy Compass 5 (8):689-699.details
|
|
Etchemendy on Squeezing Arguments and Logical Consequence: a Reply to Griffiths.Kasper Højbjerg Christensen - 2018 - Philosophia 46 (4):803-816.details
|
|
Review of: Hilary Putnam on Logic and Mathematics, by Geoffrey Hellman and Roy T. Cook (eds.). [REVIEW]Tim Button - 2019 - Mind 129 (516):1327-1337.details
|
|
E pluribus unum: Plural logic and set theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.details
|
|
Retooling the consequence argument.Anthony Brueckner - 2008 - Analysis 68 (1):10–13.details
|
|
Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.details
|
|
Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.details
|
|
On the circularity of set-theoretic semantics for set theory.Luca Bellotti - 2014 - Epistemologia 37 (1):58-78.details
|
|
Formalization, Syntax and the Standard Model of Arithmetic.Luca Bellotti - 2007 - Synthese 154 (2):199-229.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.details
|
|
Review of Mark Balaguer: Platonism and Anti-Platonism in Mathematics. [REVIEW]Mark Balaguer & J. M. Dieterle - 1999 - British Journal for the Philosophy of Science 50 (4):775-780.details
|
|
Non-uniqueness as a non-problem.Mark Balaguer - 1998 - Philosophia Mathematica 6 (1):63-84.details
|
|
A platonist epistemology.Mark Balaguer - 1995 - Synthese 103 (3):303 - 325.details
|
|
The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.details
|
|
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Human-Effective Computability†.Marianna Antonutti Marfori & Leon Horsten - 2018 - Philosophia Mathematica 27 (1):61-87.details
|
|
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.details
|
|
Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic. [REVIEW]Catarina Dutilh Novaes & Edgar Andrade-Lotero - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.details
|
|
A Trivialist's Travails.Thomas Donaldson - 2014 - Philosophia Mathematica 22 (3):380-401.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
Is Frege's Definition of the Ancestral Adequate?Richard G. Heck - 2016 - Philosophia Mathematica 24 (1):91-116.details
|
|
Jean Paul Van Bendegem.or How Do Mathematicians Talk - 1982 - Philosophica 29 (1):97-118.details
|
|
The Oxford Handbook of Philosophical Methodology.Herman Cappelen, Tamar Gendler & John Hawthorne (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.details
|
|
Philosophy of mathematics.Leon Horsten - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.details
|
|
Logical Form: Between Logic and Natural Language.Andrea Iacona - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.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
|
|