- Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - forthcoming - Philosophy of Science:1-34.details
- Propositions as intentions.Bruno Bentzen - forthcoming - Husserl Studies:1-18.details
- Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences.Ethan Brauer, Øystein Linnebo & Stewart Shapiro - forthcoming - Philosophia Mathematica.details
- Predicativity and constructive mathematics.Laura Crosilla - forthcoming - In Objects, Structures and Logics.details
- Negation in Negationless Intuitionistic Mathematics.Thomas Macaulay Ferguson - forthcoming - Philosophia Mathematica.details
- Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.details
- Maria Hämeen-Anttila.* and Jan von Plato,** eds, Kurt Gödel: The Princeton Lectures on Intuitionism.Ulrich Kohlenbach - forthcoming - Philosophia Mathematica.details
- Constructive thinking.B. Thayer-Bacon & C. Thayer-Bacon - forthcoming - Philosophy.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
- On Farkas' lemma and related propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.details
- Carl J. Posy. Mathematical Intuitionism.Roy T. Cook - 2022 - Philosophia Mathematica 30 (1):111-116.details
- The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).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 marriage of brouwer’s intuitionism and hilbert’s finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.details
- Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.Kati Kish Bar-On - 2021 - Science in Context 34 (1):51-68.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
- Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.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
- Intuition in Poincarés Philosophy of Mathematics.Koray Akçagüner - 2019 - Beytulhikme An International Journal of Philosophy 9 (9:4):925-940.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
- Eta-rules in Martin-löf type theory.Ansten Klev - 2019 - Bulletin of Symbolic Logic 25 (3):333-359.details
- The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.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
- A constructive examination of a Russell-style ramified type theory.Erik Palmgren - 2018 - Bulletin of Symbolic Logic 24 (1):90-106.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
- 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
- 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 Scientiae 19:143-158.details
- Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.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
|
|