- Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
What the heck is Logic? Logics-as-formalizations, a nihilistic approach.Aadil Kurji - 2020 - Dissertation, details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.details
|
|
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.details
|
|
Defending Understanding-Assent Links.Jared Warren - 2021 - Synthese 199 (3-4):9219-9236.details
|
|
The Long Shadow of Semantic Platonism: Part I: General Considerations.Gustavo Picazo - 2021 - Philosophia 49 (4):1427-1453.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
Disagreement about logic from a pluralist perspective.Erik Stei - 2020 - Philosophical Studies 177 (11):3329-3350.details
|
|
On the notion of validity for the bilateral classical logic.Ukyo Suzuki & Yoriyuki Yamagata - manuscriptdetails
|
|
Sobre las reglas de predicador e indexicalidad.Clément Lion - 2019 - Revista de Humanidades de Valparaíso 13:18-33.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Does Logical Pluralism Imply, or Suggest, Truth Pluralism, or Vice Versa?Stewart Shapiro & Michael Lynch - 2019 - Synthese 198 (Suppl 20):4925-4936.details
|
|
The Manifestation Challenge: The Debate between McDowell and Wright.Ali Hossein Khani & Saeedeh Shahmir - 2018 - Journal of Philosophical Investigations at University of Tabriz 12 (24): 287-306.details
|
|
Liar-type paradoxes and intuitionistic natural deduction systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
Actual and Potential Infinity.Øystein Linnebo & Stewart Shapiro - 2017 - Noûs 53 (1):160-191.details
|
|
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 141-155.details
|
|
Making sense of logical pluralism.Matti Eklund - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):433-454.details
|
|
'P is true and non-Cartesian' is non-Cartesian.Roy T. Cook - 2008 - Analysis 68 (3):183-185.details
|
|
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.details
|
|
The Oxford Handbook of Philosophical Methodology.Herman Cappelen, Tamar Gendler & John Hawthorne (eds.) - 2016 - Oxford, United Kingdom: Oxford University Press.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
A Correspondence Theory of Truth.Jay Newhard - 2002 - Dissertation, Brown Universitydetails
|
|
Platonism in the Philosophy of Mathematics.Øystein Linnebo - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.details
|
|
That There Might Be Vague Objects (So Far as Concerns Logic).Richard Heck - 1998 - The Monist 81 (1):277-99.details
|
|
Two Conceptions of Semantics.Nathan Salmon - 2004 - In Zoltán Gendler Szabó (ed.), Semantics Versus Pragmatics. Oxford, GB: Oxford University Press UK. pp. 317-328.details
|
|
The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.details
|
|
On what grounds what.Jonathan Schaffer - 2009 - In Ryan Wasserman, David Manley & David Chalmers (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford, England: Oxford University Press. pp. 347-383.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|
Bivalence and subjunctive conditionals.Timothy Williamson - 1988 - Synthese 75 (3):405 - 421.details
|
|
Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
Temporal and atemporal truth in intuitionistic mathematics.Enrico Martino & Gabriele Usberti - 1994 - Topoi 13 (2):83-92.details
|
|
Mathematics and philosophy of mathematics.Stewart Shapiro - 1994 - Philosophia Mathematica 2 (2):148-160.details
|
|
Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.details
|
|
Colour, world and archimedean metaphysics: Stroud and the Quest for reality. [REVIEW]Justin Broackes - 2007 - Erkenntnis 66 (1-2):27-71.details
|
|
Does epistemological holism lead to meaning holism?Cesare Cozzo - 2002 - Topoi 21 (1-2):25-45.details
|
|
Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.details
|
|
Knowability and bivalence: intuitionistic solutions to the Paradox of Knowability.Julien Murzi - 2010 - Philosophical Studies 149 (2):269-281.details
|
|
On Imagism About Phenomenal Thought.Pär Sundström - 2011 - Philosophical Review 120 (1):43-95.details
|
|
Giving Up on “the Rest of the Language".Adam C. Podlaskowski - 2015 - Acta Analytica 30 (3):293-304.details
|
|
Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.details
|
|
Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.details
|
|
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.details
|
|
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.details
|
|