- Structuralism and Its Ontology.Marc Gasser - 2015 - Ergo: An Open Access Journal of Philosophy 2:1-26.details
|
|
Logic, Mathematics and Philosophy.Alex Oliver - 2000 - British Journal for the Philosophy of Science 51 (4):857-873.details
|
|
Computable Diagonalizations and Turing’s Cardinality Paradox.Dale Jacquette - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (2):239-262.details
|
|
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.details
|
|
Ernst Cassirer jako historyk myśli i filozof afirmacji nauki.Anna Musioł - 2011 - Diametros 29:71-79.details
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
Objectivity Sans Intelligibility. Hermann Weyl's Symbolic Constructivism.Iulian D. Toader - 2011 - Dissertation, University of Notre Damedetails
|
|
Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability.Lavinia María Picollo - 2013 - Studia Logica 101 (3):601-617.details
|
|
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today.Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) - 2006 - Dordrecht, Netherland: Springer.details
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
Foundations for Mathematical Structuralism.Uri Nodelman & Edward N. Zalta - 2014 - Mind 123 (489):39-78.details
|
|
Introduction to Foundations of Logic & Mathematics, Special Issue.Fraser MacBride - 2004 - Philosophical Quarterly 54 (214):1 - 15.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.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
|
|
First-Order Reasoning and Primitive Recursive Natural Number Notations.David Isles - 2010 - Studia Logica 96 (1):49-64.details
|
|
Too naturalist and not naturalist enough: Reply to Horsten.Luca Incurvati - 2008 - Erkenntnis 69 (2):261 - 274.details
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
Conditio sine qua non? Zuordnung in the early epistemologies of Cassirer and Schlick.T. A. Ryckman - 1991 - Synthese 88 (1):57 - 95.details
|
|
Infinity in ontology and mind.Nino B. Cocchiarella - 2008 - Axiomathes 18 (1):1-24.details
|
|
Individuation of objects – a problem for structuralism?Jessica Carter - 2005 - Synthese 143 (3):291 - 307.details
|
|
Gödel on intuition and on Hilbert's finitism.W. W. Tait - 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.details
|
|
Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.details
|
|
The Frege–Hilbert controversy in context.Tabea Rohr - 2023 - Synthese 202 (1):1-30.details
|
|
Early Years Mathematics Education: the Missing Link.Boris Čulina - 2024 - Philosophy of Mathematics Education Journal 35 (41).details
|
|
Frege on the introduction of real and complex numbers by abstraction and cross-sortal identity claims.Matthias Schirn - 2023 - Synthese 201 (6):1-18.details
|
|
Solutions to the Knower Paradox in the Light of Haack’s Criteria.Mirjam de Vos, Rineke Verbrugge & Barteld Kooi - 2023 - Journal of Philosophical Logic 52 (4):1101-1132.details
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Gentzen’s “cut rule” and quantum measurement in terms of Hilbert arithmetic. Metaphor and understanding modeled formally.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal 14 (14):1-37.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Fermat’s last theorem proved in Hilbert arithmetic. III. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (12):1-30.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
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.details
|
|
AI-Completeness: Using Deep Learning to Eliminate the Human Factor.Kristina Šekrst - 2020 - In Sandro Skansi (ed.), Guide to Deep Learning Basics. Springer. pp. 117-130.details
|
|
David Hilbert and the foundations of the theory of plane area.Eduardo N. Giovannini - 2021 - Archive for History of Exact Sciences 75 (6):649-698.details
|
|
Bolzano’s Mathematical Infinite.Anna Bellomo & Guillaume Massas - 2021 - Review of Symbolic Logic:1-55.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
Paradoxy v systémech R. Dedekinda a G. Frega.Jana Roztočilová - 2014 - Pro-Fil 15 (1):21.details
|
|
On the Categoricity of Quantum Mechanics.Iulian D. Toader - 2021 - European Journal for Philosophy of Science 11 (1):1-14.details
|
|
The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.details
|
|
The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory.Vasil Penchev - 2020 - Information Theory and Research eJournal 1 (15):1-13.details
|
|
Representation and Reality by Language: How to make a home quantum computer?Vasil Penchev - 2020 - Philosophy of Science eJournal (Elsevier: SSRN) 13 (34):1-14.details
|
|
A Philosophical Path from Königsberg to Kyoto: The Science of the Infinite and the Philosophy of Nothingness.Rossella Lupacchini - 2020 - Sophia 60 (4):851-868.details
|
|
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.details
|
|
Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|