- Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2009 - New York: Springer.details
|
|
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.details
|
|
Ontology in the Game of Life.Eric Steinhart - 2012 - Axiomathes 22 (3):403-416.details
|
|
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.details
|
|
Analysis versus laws boole’s explanatory psychologism versus his explanatory anti-psychologism.Nicla Vassallo - 1997 - History and Philosophy of Logic 18 (3):151-163.details
|
|
The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities.Graham Stevens - 2003 - History and Philosophy of Logic 24 (3):221-240.details
|
|
Formalizations après la lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden Universitydetails
|
|
The disunity of truth.Josh Dever - 2008 - In Robert Stainton & Christopher Viger (eds.), Compositionality, Context, and Semantic Values: Essays in Honor of Ernie Lepore. Springer. pp. 174-191.details
|
|
Hilbert, logicism, and mathematical existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.details
|
|
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.details
|
|
(1 other version)Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.details
|
|
Intuitionistic sets and ordinals.Paul Taylor - 1996 - Journal of Symbolic Logic 61 (3):705-744.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
A major failure within modern analytic philosophy.Patrick Sibelius - 1993 - Philosophy of Science 60 (4):558-567.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
(1 other version)The work of Kurt gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Reading ‘On Denoting’ on its Centenary.David Kaplan - 2005 - Mind 114 (456):933-1003.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
The mathematical import of zermelo's well-ordering theorem.Akihiro Kanamori - 1997 - Bulletin of Symbolic Logic 3 (3):281-311.details
|
|
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.details
|
|
(1 other version)Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.details
|
|
(1 other version)Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.details
|
|
Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.details
|
|
Dedekind's Logicism†.Ansten Mørch Klev - 2015 - Philosophia Mathematica 25 (3):341-368.details
|
|
Alternating (In)Dependence-Friendly Logic.Dylan Bellier, Massimo Benerecetti, Dario Della Monica & Fabio Mogavero - 2023 - Annals of Pure and Applied Logic 174 (10):103315.details
|
|
Comparatives in Context: Vallée on Relative Gradable Adjectives.Kepa Korta - 2022 - Disputatio 14 (66):239-255.details
|
|
History of logic in Latin America: the case of Ayda Ignez Arruda.Gisele Dalva Secco & Miguel Alvarez Lisboa - 2022 - British Journal for the History of Philosophy 30 (2):384-408.details
|
|
Philosophy and its children: logic, computation, and the emergence of natural and social science: Soames, Scott, The World Philosophy Made: From Plato to the digital age, Princeton University Press, 2019, xviii + 439 pages.John P. Burgess - 2021 - Philosophical Studies 179 (6):2087-2095.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.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
|
|
Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.details
|
|
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.details
|
|
XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
La constitución del programa de Hilbert.Max Fernández de Castro & Yolanda Torres Falcón - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):31--50.details
|
|
Descriptivism about the Reference of Set-Theoretic Expressions: Revisiting Putnam’s Model-Theoretic Arguments.Zeynep Soysal - 2020 - The Monist 103 (4):442-454.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
Lorenzen's Proof of Consistency for Elementary Number Theory.Thierry Coquand & Stefan Neuwirth - 2020 - History and Philosophy of Logic 41 (3):281-290.details
|
|
(1 other version)The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
Natural Formalization: Deriving the Cantor-Bernstein Theorem in Zf.Wilfried Sieg & Patrick Walsh - 2021 - Review of Symbolic Logic 14 (1):250-284.details
|
|
Hilbertian Structuralism and the Frege-Hilbert Controversy†.Fiona T. Doherty - 2019 - Philosophia Mathematica 27 (3):335-361.details
|
|
Georg Cantor’s Ordinals, Absolute Infinity & Transparent Proof of the Well-Ordering Theorem.Hermann G. W. Burchard - 2019 - Philosophy Study 9 (8).details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.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
|
|