- Remarks on the Argument From Design.Joseph S. Fulda - manuscriptdetails
- On What Hilbert Aimed at in the Foundations.Besim Karakadılar - manuscriptdetails
- The Consistency of Arithmetic.Storrs McCall - manuscriptdetails
- The Price of Mathematical Scepticism.Paul Blain Levy - forthcoming - Philosophia Mathematica.details
- From Phenomenology to the Philosophy of the Concept: Jean Cavaillès as a Reader of Edmund Husserl.Jean-Paul Cauvin - 2020 - Hopos: The Journal of the International Society for the History of Philosophy of Science 10 (1):24-47.details
- Fermat’s Last Theorem Proved by Induction (and Accompanied by a Philosophical Comment).Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (8):1-8.details
- Hard, Harder, and the Hardest Problem: The Society of Cognitive Selves.Venkata Rayudu Posina - 2020 - Tattva - Journal of Philosophy 12 (1):75-92.details
- Mathesis Universalis, Computability and Proof.Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.) - 2019 - Cham, Switzerland: Springer Verlag.details
- Indeterminism in Physics, Classical Chaos and Bohmian Mechanics: Are Real Numbers Really Real?Nicolas Gisin - 2019 - Erkenntnis:1-13.details
- Independence of the Grossone-Based Infinity Methodology From Non-Standard Analysis and Comments Upon Logical Fallacies in Some Texts Asserting the Opposite.Yaroslav D. Sergeyev - 2019 - Foundations of Science 24 (1):153-170.details
- ¿Qué significa paraconsistente, indescifrable, aleatorio, computable e incompleto? Una revisión de’ la Manera de Godel: explota en un mundo indecible’ (Godel’s Way: Exploits into an Undecidable World) por Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 263-277.details
- Constructive Mathematics and Equality.Bruno Bentzen - 2018 - Dissertation, Sun Yat-Sen Universitydetails
- Can Gödel's Incompleteness Theorem Be a Ground for Dialetheism?Seungrak Choi - 2017 - Korean Journal of Logic 20 (2):241-271.details
- The (Metaphysical) Foundations of Arithmetic?Thomas Donaldson - 2017 - Noûs 51 (4):775-801.details
- A New Theorem Introduced by Piyush Goel with Four Proof(Piyush Theorem).Goel Piyush - 2016 - Edupediapublications 3:1-5.details
- Review of The Art of the Infinite by R. Kaplan, E. Kaplan 324p(2003).Michael Starks - 2016 - In Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018. Michael Starks. pp. 619.details
- Semantical Mutation, Algorithms and Programs.Porto André - 2015 - Dissertatio (S1):44-76.details
- PAC Learning, VC Dimension, and the Arithmetic Hierarchy.Wesley Calvert - 2015 - Archive for Mathematical Logic 54 (7-8):871-883.details
- The Helpmekaar: Rescuing the "Volk" Through Reading, Writing and Arithmetic, C. 1916-C. 1965.Anton Ehlers - 2015 - História 60 (2):87-108.details
- Uwagi o arytmetyce Grassmanna.Jerzy Hanusek - 2015 - Diametros 45:107-121.details
- A New Computation of the Σ-Ordinal of KPω.Fernando Ferreira - 2014 - Journal of Symbolic Logic 79 (1):306-324.details
- Quantity and Number.James Franklin - 2014 - In Daniel D. Novotný & Lukáš Novák (eds.), Neo-Aristotelian Perspectives in Metaphysics. New York, USA: Routledge. pp. 221-244.details
- The Consistency of Arithmetic: And Other Essays.Storrs McCall - 2014 - Oxford and New York: Oxford University Press USA.details
- Towards an Institutional Account of the Objectivity, Necessity, and Atemporality of Mathematics.Julian C. Cole - 2013 - Philosophia Mathematica 21 (1):9-36.details
- Hilary Putnam's Consistency Objection Against Wittgenstein's Conventionalism in Mathematics.P. Garavaso - 2013 - Philosophia Mathematica 21 (3):279-296.details
- Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.details
- Infinitesimals as an Issue of Neo-Kantian Philosophy of Science.Thomas Mormann & Mikhail Katz - 2013 - Hopos: The Journal of the International Society for the History of Philosophy of Science (2):236-280.details
- The Consistency of Arithmetic, Based on a Logic of Meaning Containment.Ross T. Brady - 2012 - Logique Et Analyse 55 (219).details
- On Some Considerations of Mathematical Physics: May We Identify Clifford Algebra as a Common Algebraic Structure for Classical Diffusion and Schrödinger Equations?Elio Conte - 2012 - Advanced Studies in Theoretical Physics 6 (26):1289-1307.details
- INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.details
- Gauss' Quadratic Reciprocity Theorem and Mathematical Fruitfulness.Audrey Yap - 2011 - Studies in History and Philosophy of Science Part A 42 (3):410-415.details
- Wisdom Mathematics.Nicholas Maxwell - 2010 - Friends of Wisdom Newsletter (6):1-6.details
- Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2-3):153-207.details
- Carnap's Syntax Programme and the Philosophy of Mathematics.Warren Goldfarb - 2009 - In Pierre Wagner (ed.), Carnap's Logical Syntax of Language. Palgrave-Macmillan.details
- Numerical Point of View on Calculus for Functions Assuming Finite, Infinite, and Infinitesimal Values Over Finite, Infinite, and Infinitesimal Domains.Yaroslav Sergeyev - 2009 - Nonlinear Analysis Series A 71 (12):e1688-e1707.details
- Waismann's Critique of Wittgenstein.Anthony Birch - 2007 - Analysis and Metaphysics 6:263-272.details
- Philip Hugly and Charles Sayward, Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic Reviewed By.Manuel Bremer - 2007 - Philosophy in Review 27 (3):188-191.details
- Quadratic Forms in Models of IΔ0+ Ω1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.details
- How to Prove the Consistency of Arithmetic.Jaakko Hintikka & Besim Karakadilar - 2006 - Acta Philosophica Fennica 78:1.details
- Chapter 6: Arithmetic and Necessity.Philip Hugly & Charles Sayward - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 90:159-182.details
- Chapter 7: Arithmetic and Rules.Philip Hugly & Charles Sayward - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 90:183-211.details
- A Defence of Mathematical Pluralism †We Should Like to Thank D. Bridges for Helpful Comments.E. Brian Davies - 2005 - Philosophia Mathematica 13 (3):252-276.details
- Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 236--317.details
- Dogmas and the Changing Images of Foundations.José Ferreirós - 2005 - Philosophia Scientiae:27-42.details
- On Volumes of Arithmetic Quotients SO.Mikhail Belolipetsky - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (4):749-770.details
- Jeremy Avigad. Update Procedures and the 1-Consistency of Arithmetic. Mathematical Logic Quarterly, Vol. 48 , Pp. 3–13.Toshiyasu Arai - 2003 - Bulletin of Symbolic Logic 9 (1):45-47.details
- Mathematical Logic Quarterly.Toshiyasu Arai - 2003 - Bulletin of Symbolic Logic 9 (1):45-47.details
- Preuves par excellence.Jacques Dubucs & Sandra Lapointe - 2003 - Philosophiques 30 (1):219-234.details
- Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.details
- Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.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
|
|