- Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Modality and Hyperintensionality in Mathematics.Timothy Bowen - manuscriptdetails
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen. North-Holland - unknowndetails
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception†.Neil Tennant - 2020 - Philosophia Mathematica 28 (2):139-171.details
|
|
Recapture Results and Classical Logic.Camillo Fiore & Lucas Rosenblatt - 2023 - Mind 132 (527):762–788.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
Evidence in Logic.Ben Martin & Ole Thomassen Hjortland - 2019 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. Routledge.details
|
|
On Uncertainty.Brian Weatherson - 1998 - Dissertation, Monash Universitydetails
|
|
On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Proof Methods for Modal and Intuitionistic Logics.Melvin Chris Fitting - 1983 - Dordrecht and Boston: Reidel.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
|
|
Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.details
|
|
A Defence of the Manifestation Requirement: An Application of Anscombe's Theory of Practical Knowledge.Takeshi Yamada - 2022 - Journal of the Japan Association for Philosophy of Science 49 (2):111-130.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Proof vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (Suppl 2):211-231.details
|
|
Bivalence and subjunctive conditionals.Timothy Williamson - 1988 - Synthese 75 (3):405 - 421.details
|
|
Alternative Logics and Applied Mathematics.Timothy Williamson - 2018 - Philosophical Issues 28 (1):399-424.details
|
|
Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.details
|
|
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.details
|
|
Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - 2020 - Philosophical Studies 177 (5):1275-1282.details
|
|
Dummett’s Legacy: Semantics, Metaphysics and Linguistic Competence.Massimiliano Vignolo - 2015 - Disputatio 7 (41):207-229.details
|
|
The paradox of phase transitions in the light of constructive mathematics.Pauline van Wierst - 2019 - Synthese 196 (5):1863-1884.details
|
|
Anti-Realist Truth and Truth-Recognition.Gabriele Usberti - 2012 - Topoi 31 (1):37-45.details
|
|
Inference and Epistemic Transparency.Gabriele Usberti - 2019 - Topoi 38 (3):517-530.details
|
|
Debating Realism (s): Marxism and Nyaya-Vaisesika.Manindra Thakur - 2002 - Journal of Critical Realism 5 (1):50-55.details
|
|
What is a Rule of Inference?Neil Tennant - 2021 - Review of Symbolic Logic 14 (2):307-346.details
|
|
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
Kalmár's Argument Against the Plausibility of Church's Thesis.Máté Szabó - 2018 - History and Philosophy of Logic 39 (2):140-157.details
|
|
The significance of a non-reductionist ontology for the discipline of mathematics: A historical and systematic analysis. [REVIEW]D. F. M. Strauss - 2010 - Axiomathes 20 (1):19-52.details
|
|
Not every truth could have a truthmaker.John Stigall - 2023 - Theoria 89 (1):7-13.details
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
How to solve the knowability paradox with transcendental epistemology.Andrew Stephenson - 2018 - Synthese 198 (Suppl 13):3253-3278.details
|
|
Truthier Than Thou: Truth, Supertruth and Probability of Truth.Nicholas J. J. Smith - 2015 - Noûs 50 (4):740-58.details
|
|
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.details
|
|
Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.details
|
|
Basic logic: reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.details
|
|
Revising the logic of logical revision.J. Salerno - 2000 - Philosophical Studies 99 (2):211-227.details
|
|
Reply to Øystein Linnebo and Stewart Shapiro.Ian Rumfitt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):842-858.details
|
|
On A Neglected Path to Intuitionism.Ian Rumfitt - 2012 - Topoi 31 (1):101-109.details
|
|