- XV—On Consistency and Existence in Mathematics.Walter Dean - 2021 - Proceedings of the Aristotelian Society 120 (3):349-393.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
How Connected is the Intuitionistic Continuum?Dirk Van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147 - 1150.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
|
|
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
|
|
Georg Cantor’s Ordinals, Absolute Infinity & Transparent Proof of the Well-Ordering Theorem.Hermann G. W. Burchard - 2019 - Philosophy Study 9 (8).details
|
|
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.details
|
|
Reflective inquiry and “The Fate of Reason”.William Boos - 2014 - Synthese 191 (18):4253-4314.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
|
|
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.details
|
|
Arguments for the Continuity Principle.Mark Van Atten & Dirk Van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329 - 347.details
|
|
The Origins of the Use of the Argument of Trivialization in the Twentieth Century.M. Andrés Bobenrieth - 2010 - History and Philosophy of Logic 31 (2):111-121.details
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
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
|
|
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
|
|
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
|
|
Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.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
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
What did Frege take Russell to have proved?John Woods - 2019 - Synthese 198 (4):3949-3977.details
|
|
Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.details
|
|
Arguments for the Continuity Principle. [REVIEW]Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.details
|
|
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
|
|
Ontology in the Game of Life.Eric Steinhart - 2012 - Axiomathes 22 (3):403-416.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.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
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
A major failure within modern analytic philosophy.Patrick Sibelius - 1993 - Philosophy of Science 60 (4):558-567.details
|
|
Two dogmas of computationalism.Oron Shagrir - 1997 - Minds and Machines 7 (3):321-44.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
|
|
Blanchette on Frege on Analysis and Content.Marcus Rossberg - 2015 - Journal for the History of Analytical Philosophy 3 (7).details
|
|
How to Derive Aristotle’s Categories from First Principles.Karl Reed & Humphrey P. van Polanen Petel - 2021 - Axiomathes 32 (Suppl 2):113-147.details
|
|
On Why Mathematics Can Not be Ontology.Shiva Rahman - 2019 - Axiomathes 29 (3):289-296.details
|
|
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.details
|
|
On Two Notions of Computation in Transparent Intensional Logic.Ivo Pezlar - 2018 - Axiomathes 29 (2):189-205.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.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
|
|
Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.details
|
|
On Gödel's awareness of Skolem's Helsinki lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.details
|
|
The collapse of the Hilbert program: A variation on the gödelian theme.Saul A. Kripke - 2022 - Bulletin of Symbolic Logic 28 (3):413-426.details
|
|
Comparatives in Context: Vallée on Relative Gradable Adjectives.Kepa Korta - 2022 - Disputatio 14 (66):239-255.details
|
|
The work of Kurt gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.details
|
|
Dedekind's Logicism†.Ansten Mørch Klev - 2015 - Philosophia Mathematica 25 (3):341-368.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|