- Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences.Ethan Brauer, Øystein Linnebo & Stewart Shapiro - forthcoming - Philosophia Mathematica.details
- The Entanglement of Logic and Set Theory, Constructively.Laura Crosilla - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
- Predicativity and Constructive Mathematics.Laura Crosilla - forthcoming - In Objects, Structures and Logics.details
- Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.details
- Towards a New Philosophical Perspective on Hermann Weyl’s Turn to Intuitionism.Kati Kish Bar-On - forthcoming - Science in Context.details
- A Marriage of Brouwer’s Intuitionism and Hilbert’s Finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - forthcoming - Journal of Symbolic Logic:1-61.details
- Constructive Thinking.B. Thayer-Bacon & C. Thayer-Bacon - forthcoming - Philosophy.details
- On Farkas' Lemma and Related Propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.details
- The Varieties of Agnosticism.Filippo Ferrari & Luca Incurvati - 2022 - Philosophical Quarterly 72 (2):365-380.details
- Choice Sequences and the Continuum.Casper Storm Hansen - 2022 - Erkenntnis 87 (2):517-534.details
- A Parametrised Functional Interpretation of Heyting Arithmetic.Bruno Dinis & Paulo Oliva - 2021 - Annals of Pure and Applied Logic 172 (4):102940.details
- A Dilemma for Mathematical Constructivism.Samuel Kahn - 2021 - Axiomathes 31 (1):63-72.details
- World and Logic.Jens Lemanski - 2021 - London, Vereinigtes Königreich: College Publications.details
- Intuitionistic Mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.details
- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - Oxford: Oxford University Press.details
- Proof That Intuitionistic Logic is Not Three-Valued.Micah Phillips-Gary - 2021 - The Hemlock Papers 18:4-14.details
- Sense, Reference, and Computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.details
- Ludwig Wittgenstein, Dictating Philosophy To Francis Skinner: The Wittgenstein-Skinner Manuscripts. Transcribed and Edited, with an Introduction, Introductory Chapters and Notes by Arthur Gibson.Arthur Gibson & Niamh O'Mahony (eds.) - 2020 - Berlin, Germany: Springer.details
- Why Logical Pluralism?Colin R. Caret - 2019 - Synthese 198 (Suppl 20):4947-4968.details
- Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Springer Verlag.details
- Indeterminism in Physics, Classical Chaos and Bohmian Mechanics: Are Real Numbers Really Real?Nicolas Gisin - 2019 - Erkenntnis:1-13.details
- Considerações de Brouwer sobre espaço e infinitude: O idealismo de Brouwer Diante do Problema Apresentado por Dummett Quanto à Possibilidade Teórica de uma Infinitude Espacial.Paulo Júnio de Oliveira - 2019 - Kinesis 11:94-108.details
- The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.details
- Eta-Rules in Martin-Löf Type Theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.details
- Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics.Saul Kripke - 2019 - Indagationes Mathematicae 30 (3):492-499.details
- Rumfitt on the Logic of Set Theory.Øystein Linnebo - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (7):826-841.details
- Actual and Potential Infinity.Øystein Linnebo & Stewart Shapiro - 2019 - Noûs 53 (1):160-191.details
- Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingendetails
- Constructive Mathematics and Equality.Bruno Bentzen - 2018 - Dissertation, Sun Yat-Sen Universitydetails
- Wittgenstein on Cantor's Proof.Chrysoula Gitsoulis - 2018 - In Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Contributions of the 41st International Wittgenstein Symposium. pp. 67-69.details
- On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.details
- Poincaré on the Foundation of Geometry in the Understanding.Jeremy Shipley - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Springer. pp. 19-37.details
- Brouwer's Conception of Truth.Casper Storm Hansen - 2016 - Philosophia Mathematica 24 (3):379-400.details
- Differential Calculus Based on the Double Contradiction.Kazuhiko Kotani - 2016 - Open Journal of Philosophy 6 (4):420-427.details
- Brouwer’s Certainties: Mysticism, Mathematics, and the Ego: Dirk van Dalen: L. E. J. Brouwer: Topologist, Intuitionist, Philosopher—How Mathematics is Rooted in Life. London, Heidelberg, Dordrecht: Springer, 2013, Xii+875pp, 97 Illus., £24.95 HB.Jeremy Gray - 2015 - Metascience 24 (1):127-134.details
- L. E. J. Brouwer and Karl Popper: Two Perspectives on Mathematics.Alexander John Naraniecki - 2015 - Cosmos and History 11 (1):239-255.details
- Constructive Realism in Mathematics.Ilkka Niiniluoto - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 339-354.details
- Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.details
- Frege Meets Brouwer.Stewart Shapiro & Øystein Linnebo - 2015 - Review of Symbolic Logic 8 (3):540-552.details
- Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.Robert Tragesser, Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.details
- Gödel and Brouwer: Two Rivalling Brothers.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.details
- On A.A. Markov’s Attitude Towards Brouwer’s Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientae 19:143-158.details
- Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.details
- Reverse Mathematics and Isbell's Zig-Zag Theorem.Takashi Sato - 2014 - Mathematical Logic Quarterly 60 (4-5):348-353.details
- Why Did Weyl Think That Formalism's Victory Against Intuitionism Entails a Defeat of Pure Phenomenology?Iulian D. Toader - 2014 - History and Philosophy of Logic 35 (2):198-208.details
- Brouwer’s Fan Theorem as an Axiom and as a Contrast to Kleene’s Alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5-6):621-693.details
- Review of M. Van Atten, P. Boldini, M. Bourdeau, and G. Heinzmann (Eds.), _One Hundred Years of Intuitionism (1907–2007): The Cerisy Conference. [REVIEW]J. L. Bell - 2013 - Philosophia Mathematica 21 (3):392-399.details
- A First Constructive Look at the Comparison of Projections.D. S. Bridges & L. S. Vita - 2013 - Logic Journal of the IGPL 21 (1):14-27.details
- Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
- Sir Michael Anthony Eardley Dummett, 1925-2011.R. G. Heck - 2013 - Philosophia Mathematica 21 (1):1-8.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|