- Categoricity, Open-Ended Schemas and Peano Arithmetic.Adrian Ludușan - 2015 - Logos and Episteme 6 (3):313-332.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
|
|
Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.details
|
|
The Oxford Handbook of Philosophical Methodology.Herman Cappelen, Tamar Gendler & John Hawthorne (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.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
|
|
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
|
|
Some remarks on Hartry Field's notion of “logical consistency”.Krzysztof Wójtowicz - 2001 - Logic and Logical Philosophy 9:199.details
|
|
Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - 2020 - Philosophical Studies 177 (5):1275-1282.details
|
|
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.details
|
|
A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.details
|
|
Logic and Ontological Pluralism.Jason Turner - 2012 - Journal of Philosophical Logic 41 (2):419-448.details
|
|
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.details
|
|
Model theory and validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.details
|
|
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Principles of reflection and second-order logic.Stewart Shapiro - 1987 - Journal of Philosophical Logic 16 (3):309 - 333.details
|
|
Mathematics and philosophy of mathematics.Stewart Shapiro - 1994 - Philosophia Mathematica 2 (2):148-160.details
|
|
Unrestricted quantification and ranges of significance.Thomas Schindler - 2022 - Philosophical Studies 180 (5):1579-1600.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
An indeterminate universe of sets.Chris Scambler - 2020 - Synthese 197 (2):545-573.details
|
|
Word and objects.Agustín Rayo - 2002 - Noûs 36 (3):436–464.details
|
|
Toward a Theory of Second-Order Consequence.Augustín Rayo & Gabriel Uzquiano - 1999 - Notre Dame Journal of Formal Logic 40 (3):315-325.details
|
|
Plurals.Agustín Rayo - 2007 - Philosophy Compass 2 (3):411–427.details
|
|
Intuitive and Regressive Justifications†.Michael Potter - 2020 - Philosophia Mathematica 28 (3):385-394.details
|
|
The theory of empirical sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.details
|
|
The "natural" and the "formal".Jaroslav Peregrin - 2000 - Journal of Philosophical Logic 29 (1):75-101.details
|
|
‘Fregean’ logic and ‘Russellian’ logic.Jaroslav Peregrin - 2000 - Australasian Journal of Philosophy 78 (4):557 – 574.details
|
|
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics.Jaroslav Peregrin - 1995 - Dordrecht, Netherland: Springer.details
|
|
The overgeneration argument(s): A succinct refutation.A. C. Paseau - 2014 - Analysis 74 (1):ant097.details
|
|
Information gaps as communication needs: A new semantic foundation for some non-classical logics. [REVIEW]Piero Pagliani - 1997 - Journal of Logic, Language and Information 6 (1):63-99.details
|
|
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.details
|
|
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.details
|
|
Stable and Unstable Theories of Truth and Syntax.Beau Madison Mount & Daniel Waxman - 2021 - Mind 130 (518):439-473.details
|
|
Two arguments against the generic multiverse.Toby Meadows - forthcoming - Review of Symbolic Logic:1-33.details
|
|
Truth by default.Vann Mcgee - 2001 - Philosophia Mathematica 9 (1):5-20.details
|
|
The consistency problem for set theory: An essay on the Cantorian foundations of mathematics (II).John Mayberry - 1977 - British Journal for the Philosophy of Science 28 (2):137-170.details
|
|
A new begriffsschrift (II).John P. Mayberry - 1980 - British Journal for the Philosophy of Science 31 (4):329-358.details
|
|
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.details
|
|
Synthetic apriority.Yakir Levin - 1995 - Erkenntnis 43 (2):137 - 150.details
|
|
Models, structures, and the explanatory role of mathematics in empirical science.Mary Leng - 2021 - Synthese 199 (3-4):10415-10440.details
|
|
On the Quinean-analyticity of mathematical propositions.Gregory Lavers - 2012 - Philosophical Studies 159 (2):299-319.details
|
|