- Three Letters on the Foundations of Mathematics by Frank Plumpton Ramsey†.Paolo Mancosu - forthcoming - Philosophia Mathematica.details
|
|
The Potential in Frege’s Theorem.Will Stafford - 2023 - Review of Symbolic Logic 16 (2):553-577.details
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
Scientific phenomena and patterns in data.Pascal Ströing - 2018 - Dissertation, Lmu Münchendetails
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.details
|
|
Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.details
|
|
How Fine-Grained is Reality?Peter Fritz - 2017 - Filosofisk Supplement 13 (2):52-57.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Gottlob Frege, One More Time1.Claude Imbert - 2000 - Hypatia 15 (4):156-173.details
|
|
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Semantical Mutation, Algorithms and Programs.Porto André - 2015 - Dissertatio (S1):44-76.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
Ramified recurrence and computational complexity III: Higher type recurrence and elementary complexity.Daniel Leivant - 1999 - Annals of Pure and Applied Logic 96 (1-3):209-229.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.details
|
|
Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.details
|
|
The Power of a Propositional Constant.Robert Goldblatt & Tomasz Kowalski - 2012 - Journal of Philosophical Logic (1):1-20.details
|
|
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.details
|
|
Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like.Ahti-Veikko Pietarinen - 2011 - History and Philosophy of Logic 32 (3):265-281.details
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
A paradox of definability: Richard's and poincaré's ways out.Keith Simmons - 1994 - History and Philosophy of Logic 15 (1):33-44.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
|
|
On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.details
|
|
Lewis Carroll's Formal Logic.Francine Abeles - 2005 - History and Philosophy of Logic 26 (1):33-46.details
|
|
On the question of absolute undecidability.Peter Koellner - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic. pp. 153-188.details
|
|
Horwich's minimalist conception of truth: some logical difficulties.Sten Lindström - 2001 - Logic and Logical Philosophy 9:161-181.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
Laskettavuuden teorian varhaishistoria.Panu Raatikainen - 1995 - In Älyn oppihistoria – matka logiikan, psykologian ja tekoälyn juurille. Espoo: Finnish Artificial Intelligence Society.details
|
|
Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.details
|
|
The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.details
|
|
Did Georg Cantor influence Edmund Husserl?Claire Ortiz Hill - 1997 - Synthese 113 (1):145-170.details
|
|
Sense in Frege.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):93-102.details
|
|
Godel's unpublished papers on foundations of mathematics.W. W. Tatt - 2001 - Philosophia Mathematica 9 (1):87-126.details
|
|
Deflationary truth and the liar.Keith Simmons - 1999 - Journal of Philosophical Logic 28 (5):455-488.details
|
|
New V, ZF and Abstraction.Stewart Shapiro & Alan Weir - 1999 - Philosophia Mathematica 7 (3):293-321.details
|
|
Boolos on the justification of set theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Alan Turing and the mathematical objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.details
|
|
Materialism and qualia: The explanatory gap.Joseph Levine - 1983 - Pacific Philosophical Quarterly 64 (October):354-61.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.details
|
|