- Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Recapture Results and Classical Logic.Camillo Fiore & Lucas Rosenblatt - 2023 - Mind 132 (527):762–788.details
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen. North-Holland - unknowndetails
|
|
Rethinking Sellars’ Myth of the Given: From the Epistemological to the Modal Relevance of Givenness in Kant and Hegel.Paul Redding - 2019 - International Journal of Philosophical Studies 27 (3):379-398.details
|
|
First Order Expressivist Logic.John Cantwell - 2013 - Erkenntnis 78 (6):1381-1403.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.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
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
From Tractatus to Later Writings and Back – New Implications from Wittgenstein’s Nachlass.Ruy J. G. B. de Queiroz - 2023 - SATS 24 (2):167-203.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
Are Dummett's requirements on a theory of meaning sufficient for rejecting classical logic?Cesare Cozzo - 1994 - Erkenntnis 40 (2):243 - 263.details
|
|
Re-creating the engagement in managerial learning.Eva Gatarik & Rainer Born - 2018 - Human Affairs 28 (1):3-16.details
|
|
Of Marriage and Mathematics: Inferentialism and Social Ontology.James Henry Collin - 2023 - Topoi 42 (1):247-257.details
|
|
Manifest invalidity: Neil Tennant's new argument for intuitionism.Jon Cogburn - 2003 - Synthese 134 (3):353 - 362.details
|
|
Idiolects and Language.Daniele Chiffi - 2012 - Axiomathes 22 (4):417-432.details
|
|
Brouwer versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.details
|
|
Indicative conditionals:Factual or Epistemic?John Cantwell - 2008 - Studia Logica 88 (1):157-194.details
|
|
Conditionals in reasoning.John Cantwell - 2009 - Synthese 171 (1):47 - 75.details
|
|
Logic acquisition, usage and semantic realism (Reprinted in Callaway 2008, Meaning without Analyticity).H. G. Callaway - 1992 - Erkenntnis 37 (1):65 - 92.details
|
|
Natural deduction rules for a logic of vagueness.J. A. Burgess & I. L. Humberstone - 1987 - Erkenntnis 27 (2):197-229.details
|
|
Reconsidering Kant’s Rejection of Indirect Arguments in Transcendental Philosophy.Marcel Buß - 2021 - History of Philosophy & Logical Analysis 25 (1):115-133.details
|
|
The classical propositional calculus of arguments.Robert Bull - 1984 - Mathematical Logic Quarterly 30 (1‐6):45-86.details
|
|
Can constructive mathematics be applied in physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.details
|
|
Truthmaker maximalism and the truthmaker paradox.Elke Brendel - 2020 - Synthese 197 (4):1647-1660.details
|
|
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.details
|
|
Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences.Ethan Brauer, Øystein Linnebo & Stewart Shapiro - 2022 - Philosophia Mathematica 30 (2):143-172.details
|
|
Wave-Particle Duality and the Objectiveness of “True” and “False”.Arkady Bolotin - 2021 - Foundations of Physics 51 (4):1-27.details
|
|
Discussion. Applied constructive mathematics: on Hellman's 'mathematical constructivism in spacetime'.H. Billinge - 2000 - British Journal for the Philosophy of Science 51 (2):299-318.details
|
|
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.details
|
|
Logic, quantum logic and empiricism.John Bell & Michael Hallett - 1982 - Philosophy of Science 49 (3):355-379.details
|
|
From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism.Kati Kish Bar-On - 2022 - Synthese 200 (6):1–25.details
|
|
A Solution to the Surprise Exam Paradox in Constructive Mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Review of Symbolic Logic 5 (4):679-686.details
|
|
Semantical Mutation, Algorithms and Programs.Porto André - 2015 - Dissertatio (S1):44-76.details
|
|
Pidiendo un Harry en su contexto.Miguel Alvarez Lisboa & Carlo Apablaza Ávila - 2022 - Análisis Filosófico 42 (1):145-169.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
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
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.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
|
|