- A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.details
|
|
Plurals and complexes.Keith Hossack - 2000 - British Journal for the Philosophy of Science 51 (3):411-443.details
|
|
Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism.L. Horsten - 2012 - Philosophia Mathematica 20 (3):275-288.details
|
|
Canonical naming systems.Leon Horsten - 2004 - Minds and Machines 15 (2):229-257.details
|
|
When Do Some Things Form a Set?Simon Hewitt - 2015 - Philosophia Mathematica 23 (3):311-337.details
|
|
Are Our Logical and Mathematical Concepts Highly Indeterminate?Hartry Field - 1994 - Midwest Studies in Philosophy 19 (1):391-429.details
|
|
Towards a Theory of Universes: Structure Theory and the Mathematical Universe Hypothesis.Colin Hamlin - 2017 - Synthese 194 (2):571–591.details
|
|
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.details
|
|
In defence of Higher-Level Plural Logic: drawing conclusions from natural language.Berta Grimau - 2019 - Synthese 198 (6):5253-5280.details
|
|
Keeping semantics pure.Dominic Gregory - 2005 - Noûs 39 (3):505–528.details
|
|
Logical truth and tarskian logical truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.details
|
|
What are Implicit Definitions?Eduardo N. Giovannini & Georg Schiemer - 2019 - Erkenntnis 86 (6):1661-1691.details
|
|
Varieties of Pluralism and Objectivity in Mathematics.Michèle Indira Friend - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):425-442.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Untyped Pluralism.Salvatore Florio - 2014 - Mind 123 (490):317-337.details
|
|
On Type Distinctions and Expressivity.Salvatore Florio - 2023 - Proceedings of the Aristotelian Society 123 (2):150-172.details
|
|
Set Theory, Type Theory, and Absolute Generality.Salvatore Florio & Stewart Shapiro - 2014 - Mind 123 (489):157-174.details
|
|
On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.details
|
|
Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.details
|
|
Predicative foundations of arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.details
|
|
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.details
|
|
The good, the bad and the ugly.Philip Ebert & Stewart Shapiro - 2009 - Synthese 170 (3):415-441.details
|
|
Review of John Stillwell, Reverse Mathematics: Proofs from the Inside Out. [REVIEW]Benedict Eastaugh - 2020 - Philosophia Mathematica 28 (1):108-116.details
|
|
Axiomatizations of arithmetic and the first-order/second-order divide.Catarina Dutilh Novaes - 2019 - Synthese 196 (7):2583-2597.details
|
|
Earman on underdetermination and empirical indistinguishability.Igor Douven & Leon Horsten - 1998 - Erkenntnis 49 (3):303-320.details
|
|
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2020 - Synthese 198 (8):7073-7096.details
|
|
Logica di ordine superiore e verità.Ciro De Florio - 2014 - Epistemologia 37 (1):79-95.details
|
|
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.Anderson De Araújo & Walter Carnielli - 2012 - Logic Journal of the IGPL 20 (2):477-485.details
|
|
The Prometheus Challenge Redux.Arnold Cusmariu - 2017 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 4 (2):175-209.details
|
|
Toward an Epistemology of Art.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):37-64.details
|
|
The state of the economy: Neo-logicism and inflation.Rov T. Cook - 2002 - Philosophia Mathematica 10 (1):43-66.details
|
|
Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.details
|
|
Possible predicates and actual properties.Roy T. Cook - 2019 - Synthese 196 (7):2555-2582.details
|
|
Hume’s Big Brother: counting concepts and the bad company objection.Roy T. Cook - 2009 - Synthese 170 (3):349 - 369.details
|
|
Conservativeness, Stability, and Abstraction.Roy T. Cook - 2012 - British Journal for the Philosophy of Science 63 (3):673-696.details
|
|
Cardinality and Acceptable Abstraction.Roy T. Cook & Øystein Linnebo - 2018 - Notre Dame Journal of Formal Logic 59 (1):61-74.details
|
|
The middle ground-ancestral logic.Liron Cohen & Arnon Avron - 2019 - Synthese 196 (7):2671-2693.details
|
|
Generalized logical consequence: Making room for induction in the logic of science. [REVIEW]Samir Chopra & Eric Martin - 2002 - Journal of Philosophical Logic 31 (3):245-280.details
|
|
Teorías y modelos según Klimovsky.Alejandro Cassini - 2011 - Análisis Filosófico 31 (1):69-87.details
|
|
Ontological superpluralism.Ben Caplan - 2011 - Philosophical Perspectives 25 (1):79-114.details
|
|
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
|
|
On the Referential Indeterminacy of Logical and Mathematical Concepts.Otávio Bueno - 2005 - Journal of Philosophical Logic 34 (1):65 - 79.details
|
|
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.details
|
|
Carnapian frameworks.Gabriel L. Broughton - 2021 - Synthese 199 (1-2):4097-4126.details
|
|
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.details
|
|
The interactivist model.Mark H. Bickhard - 2009 - Synthese 166 (3):547 - 591.details
|
|
Externalism, internalism, and logical truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.details
|
|
Second-Order Arithmetic Sans Sets.L. Berk - 2013 - Philosophia Mathematica 21 (3):339-350.details
|
|
A realistic look at Putnam's argument against realism.Vadim Batitsky - 2000 - Foundations of Science 5 (3):299-321.details
|
|
Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.details
|
|