- Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style.Juliet Floyd - 2016 - Nordic Wittgenstein Review 5 (2):7-89.details
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
Hilbert, logicism, and mathematical existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.details
|
|
Dogmas and the Changing Images of Foundations.José Ferreirós - 2005 - Philosophia Scientiae:27-42.details
|
|
Dedekind and Wolffian Deductive Method.José Ferreirós & Abel Lassalle-Casanave - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):345-365.details
|
|
The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.details
|
|
The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes.Philip Ehrlich - 2006 - Archive for History of Exact Sciences 60 (1):1-121.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
|
|
Formalism and Hilbert’s understanding of consistency problems.Michael Detlefsen - 2021 - Archive for Mathematical Logic 60 (5):529-546.details
|
|
On the Development of the Notion of a Cardinal Number.Oliver Deiser - 2010 - History and Philosophy of Logic 31 (2):123-143.details
|
|
Frege, sense and mathematical knowledge.Gregory Currie - 1982 - Australasian Journal of Philosophy 60 (1):5 – 19.details
|
|
Infinity in ontology and mind.Nino B. Cocchiarella - 2008 - Axiomathes 18 (1):1-24.details
|
|
An Approach to Abstract Structures of Logistics as a Complex Theory Unifying the Methodology of S-Modelling and the Logic of Science: Initial Steps.Boris Chendov - 2016 - Acta Baltica Historiae Et Philosophiae Scientiarum 4 (1):5-40.details
|
|
On the (In)Dependence of the Peano Axioms for Natural Numbers.Márcia R. Cerioli, Hugo Nobrega, Guilherme Silveira & Petrucio Viana - 2021 - History and Philosophy of Logic 43 (1):51-69.details
|
|
Collections in Early Bolzano.Stefania Centrone & Mark Siebel - 2018 - Journal for the History of Analytical Philosophy 6 (7).details
|
|
Individuation of objects – a problem for structuralism?Jessica Carter - 2005 - Synthese 143 (3):291 - 307.details
|
|
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Book Reviews. [REVIEW][author unknown] - 2005 - History and Philosophy of Logic 26 (2):145-172.details
|
|
Nothing matters too much, or Wright is wrong.R. Black - 2000 - Analysis 60 (3):229-237.details
|
|
What Does It Mean That “Space Can Be Transcendental Without the Axioms Being So”?: Helmholtz’s Claim in Context.Francesca Biagioli - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):1-21.details
|
|
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.details
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
Bolzano’s Mathematical Infinite.Anna Bellomo & Guillaume Massas - 2021 - Review of Symbolic Logic:1-55.details
|
|
Absence perception and the philosophy of zero.Neil Barton - 2020 - Synthese 197 (9):3823-3850.details
|
|
The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression.Jeremy Avigad & Rebecca Morris - 2014 - Archive for History of Exact Sciences 68 (3):265-326.details
|
|
The semantic plights of the ante-rem structuralist.Bahram Assadian - 2018 - Philosophical Studies 175 (12):1-20.details
|
|
Abstractionism and Mathematical Singular Reference.Bahram Assadian - 2019 - Philosophia Mathematica 27 (2):177-198.details
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.details
|
|
La teoria delle relazioni nell'algebra della logica schroderiana.Chiara Ambrosio - 2009 - History and Philosophy of Logic 30 (2):193-194.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
First-Order Reasoning and Primitive Recursive Natural Number Notations.David Isles - 2010 - Studia Logica 96 (1):49-64.details
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
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. pp. 65-82.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
|
|
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
|
|
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part B†.Hannes Leitgeb - 2021 - Philosophia Mathematica 29 (1):64-87.details
|
|
Axiomatics, empiricism, and Anschauung in Hilbert's conception of geometry: Between arithmetic and general relativity.Leo Corry - 2006 - In José Ferreirós Domínguez & Jeremy Gray (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford University Press. pp. 133--156.details
|
|
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.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
|
|
Universal Logic in terms of Quantum Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elsevier: SSRN) 12 (9):1-5.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
|
|
The Frege–Hilbert controversy in context.Tabea Rohr - 2023 - Synthese 202 (1):1-30.details
|
|
Structural Relativity and Informal Rigour.Neil Barton - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics, FilMat Studies in the Philosophy of Mathematics. Springer. pp. 133-174.details
|
|
Laskettavuuden teorian varhaishistoria.Panu Raatikainen - 1995 - In Älyn oppihistoria – matka logiikan, psykologian ja tekoälyn juurille. Espoo: Finnish Artificial Intelligence Society.details
|
|