- Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.details
|
|
Reasoning With Attitude.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
David Makinson on Classical Methods for Non-Classical Problems.Sven Ove Hansson (ed.) - 2013 - Dordrecht, Netherland: Springer.details
|
|
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
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
The Validity of Inference and Argument.Dag Prawitz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.details
|
|
Truth, Demonstration and Knowledge.Elia Zardini - 2015 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 30 (3):365-392.details
|
|
What anti-realism in philosophy of mathematics must offer.Feng Ye - 2010 - Synthese 175 (1):13 - 31.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.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
|
|
Can an Anti-Realist Be Revisionary about Deductive Inference?Bernhard Weiss - 1992 - Analysis 52 (4):216 - 224.details
|
|
Quantifier Variance and Indefinite Extensibility.Jared Warren - 2017 - Philosophical Review 126 (1):81-122.details
|
|
Defending Understanding-Assent Links.Jared Warren - 2021 - Synthese 199 (3-4):9219-9236.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|
From a Brouwerian Point of View.D. van Dalen - 1998 - Philosophia Mathematica 6 (2):209-226.details
|
|
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder.Mark van Atten - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):725-742.details
|
|
Anti-Realist Truth and Truth-Recognition.Gabriele Usberti - 2012 - Topoi 31 (1):37-45.details
|
|
Towards a Semantics Based on the Notion of Justification.Gabriele Usberti - 2006 - Synthese 148 (3):675-699.details
|
|
Truth from a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.details
|
|
Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine.Joaquín Santiago Toranzo Calderón - 2020 - Análisis Filosófico 40 (2):247-272.details
|
|
Logical Pluralism and Interpretations of Logical Systems.Diego Tajer & Camillo Fiore - 2022 - Logic and Logical Philosophy 31:1-26.details
|
|
Anti-exceptionalism and methodological pluralism in logic.Diego Tajer - 2022 - Synthese 200 (3):1-21.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.details
|
|
On Imagism About Phenomenal Thought.Pär Sundström - 2011 - Philosophical Review 120 (1):43-95.details
|
|
Disagreement about logic from a pluralist perspective.Erik Stei - 2020 - Philosophical Studies 177 (11):3329-3350.details
|
|
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.details
|
|
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.details
|
|
The Objectivity of Mathematics.Stewart Shapiro - 2007 - Synthese 156 (2):337-381.details
|
|
Mathematics and philosophy of mathematics.Stewart Shapiro - 1994 - Philosophia Mathematica 2 (2):148-160.details
|
|
Logical pluralism and normativity.Stewart Shapiro & Teresa Kouri Kissel - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):389-410.details
|
|
Does Logical Pluralism Imply, or Suggest, Truth Pluralism, or Vice Versa?Stewart Shapiro & Michael Lynch - 2019 - Synthese 198 (Suppl 20):4925-4936.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.Peter Schroeder-Heister - 1983 - Journal of Philosophical Logic 12 (3):359 - 377.details
|
|
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.details
|
|
On the Coherence of Wittgensteinian Constructivism.Amit Saad - 2016 - Acta Analytica 31 (4):455-462.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
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
Intuitionism, Meaning Theory and Cognition.Richard Tieszen - 2000 - History and Philosophy of Logic 21 (3):179-194.details
|
|
Zeno’s arrow and the infinitesimal calculus.Patrick Reeder - 2015 - Synthese 192 (5):1315-1335.details
|
|
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|