- (1 other version)The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.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
|
|
Pedagogy as a Framework for a Proper Dialogue between Science and Literature.Arto Mutanen - 2016 - Philosophia 44 (1):167-180.details
|
|
Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
The On to log i cal Sta tus of the prin ci ple of the ex cluded mid dle.Daniël F. M. Strauss - forthcoming - Philosophia Mathematica.details
|
|
A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.details
|
|
Nāgārjuna’s Catuṣkoṭi.Jan Westerhoff - 2006 - Journal of Indian Philosophy 34 (4):367-395.details
|
|
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 223--255.details
|
|
(1 other version)Applied Mathematics in the Sciences.Dale Jacquette - 2006 - Croatian Journal of Philosophy 6 (2):237-267.details
|
|
Matematický realismus a naturalismus Penelope Maddy1.Vít Punčochář - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:199-226.details
|
|
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.details
|
|
A Cognitive Approach to Benacerraf's Dilemma.Luke Jerzykiewicz - 2009 - Dissertation, University of Western Ontariodetails
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
The ontological status of the principle of the excluded middle.Daniël F. M. Strauss - 1991 - Philosophia Mathematica (1):73-90.details
|
|
The Crisis in the Foundations of Mathematics.J. Ferreiros - 2008 - In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details
|
|
On Logic in the Law: "Something, but not All".Susan Haack - 2007 - Ratio Juris 20 (1):1-31.details
|
|
Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.details
|
|
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.details
|
|
(1 other version)Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (3):317-330.details
|
|
Book reviews. [REVIEW]Vinod Goel - 1994 - Philosophia Mathematica 2 (1):89-91.details
|
|
(1 other version)Extending the Curry-Howard interpretation to linear, relevant and other resource logics.Dov M. Gabbay & Ruy J. G. B. de Queiroz - 1992 - Journal of Symbolic Logic 57 (4):1319-1365.details
|
|
Some measurement-theoretic concerns about Hale's ‘reals by abstraction';.Vadim Batitsky - 2002 - Philosophia Mathematica 10 (3):286-303.details
|
|
Languages and Other Abstract Structures.Ryan Mark Nefdt - 2018 - In Martin Neef & Christina Behme (eds.), Essays on Linguistic Realism. Philadelphia: John Benjamins Publishing Company. pp. 139-184.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
An embodied theorisation: Arend Heyting's hypothesis about how the self separates from the outer world finds confirmation.Miriam Franchella - 2023 - Theoria 89 (5):660-670.details
|
|
Validity as a thick concept.Sophia Arbeiter - 2023 - Philosophical Studies 180 (10):2937-2953.details
|
|
The Logical and Philosophical Foundations for the Possibility of True Contradictions.Ben Martin - 2014 - Dissertation, University College Londondetails
|
|
(1 other version)The Formal and the Informal.William Berkson - 1978 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978 (2):296-308.details
|
|
Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.details
|
|
Quine's challenge and Logical Pluralism.Antonio Negro - 2010 - Dissertation, details
|
|
Evidence in Logic.Ben Martin & Ole Thomassen Hjortland - 2024 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge.details
|
|
Intuition in Mathematics: from Racism to Pluralism.Miriam Franchella - 2022 - Philosophia 50 (3):1055-1091.details
|
|
Deep ST.Thomas M. Ferguson & Elisángela Ramírez-Cámara - 2021 - Journal of Philosophical Logic 51 (6):1261-1293.details
|
|
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.details
|
|
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.details
|
|
Type Theory with Opposite Types: A Paraconsistent Type Theory.Juan C. Agudelo-Agudelo & Andrés Sicard-Ramírez - 2022 - Logic Journal of the IGPL 30 (5):777-806.details
|
|
Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.details
|
|
Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018: Logic, Epistemology, and the Unity of Science, vol. 42, pp. 170 + XIII. ISBN 978-3-319-74356-1 EUR 93,59, 978-3-030-08971-9 EUR 93,59,ISBN 978-3-319-74357-8 EUR 74,96. [REVIEW]Peter Fletcher - 2019 - Studia Logica 107 (4):845-851.details
|
|
An intuitionistic logic for preference relations.Paolo Maffezioli & Alberto Naibo - 2019 - Logic Journal of the IGPL 27 (4):434-450.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Debunking, supervenience, and Hume’s Principle.Mary Leng - 2019 - Canadian Journal of Philosophy 49 (8):1083-1103.details
|
|
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
|
|
Reply to Øystein Linnebo and Stewart Shapiro.Ian Rumfitt - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):842-858.details
|
|
L’interaction sociale comme fondement de la signification logique.Adjoua Bernadette Dango - 2017 - Revista de Humanidades de Valparaíso 9:121-142.details
|
|
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.details
|
|
More on Empirical Negation.Michael De & Hitoshi Omori - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 114-133.details
|
|
‘Whys’ and ‘Hows’ of Using Philosophy in Mathematics Education.Uffe Thomas Jankvist & Steffen Møllegaard Iversen - 2014 - Science & Education 23 (1):205-222.details
|
|