- (1 other version)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
|
|
Individuation of objects – a problem for structuralism?Jessica Carter - 2005 - Synthese 143 (3):291 - 307.details
|
|
(10 other versions)Философия на квантовата информация.Vasil Penchev - 2009 - Sofia: BAS: IPhR.details
|
|
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.details
|
|
Intuitionism in the Philosophy of Mathematics: Introducing a Phenomenological Account.Philipp Berghofer - 2020 - Philosophia Mathematica 28 (2):204-235.details
|
|
On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part B†.Hannes Leitgeb - 2021 - Philosophia Mathematica 29 (1):64-87.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
|
|
(1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.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
|
|
Ways of Abstraction.Rossella Lupacchini - 2016 - Culture and Dialogue 4 (1):83-112.details
|
|
Book Reviews. [REVIEW][author unknown] - 2005 - History and Philosophy of Logic 26 (2):145-172.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. pp. 65-82.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Absence perception and the philosophy of zero.Neil Barton - 2020 - Synthese 197 (9):3823-3850.details
|
|
Cassirer and the Structural Turn in Modern Geometry.Georg Schiemer - 2018 - Journal for the History of Analytical Philosophy 6 (3).details
|
|
Nothing matters too much, or Wright is wrong.R. Black - 2000 - Analysis 60 (3):229-237.details
|
|
Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
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
|
|
Structuralism and Isomorphism.C. McCarty - 2015 - Philosophia Mathematica 23 (1):1-10.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
|
|
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscriptdetails
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
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
|
|
(1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
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
|
|
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.details
|
|
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.details
|
|
La teoria delle relazioni nell'algebra della logica schroderiana.Chiara Ambrosio - 2009 - History and Philosophy of Logic 30 (2):193-194.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Dogmas and the Changing Images of Foundations.José Ferreirós - 2005 - Philosophia Scientiae:27-42.details
|
|
Frege, Dedekind, and the Modern Epistemology of Arithmetic.Markus Pantsar - 2016 - Acta Analytica 31 (3):297-318.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.details
|
|
Hilbert's Axiomatics as ‘Symbolic Form’?Rossella Lupacchini - 2014 - Perspectives on Science 22 (1):1-34.details
|
|
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.details
|
|
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.details
|
|
Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.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
|
|
(1 other version)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
|
|
Cambridge and Vienna: Frank P. Ramsey and the Vienna Circle.Maria Carla Galavotti (ed.) - 2004 - Dordrecht: Springer Verlag.details
|
|
Continuum, name and paradox.Vojtěch Kolman - 2010 - Synthese 175 (3):351 - 367.details
|
|
Hilbert, logicism, and mathematical existence.José Ferreirós - 2009 - Synthese 170 (1):33 - 70.details
|
|
Laskettavuuden teorian varhaishistoria.Panu Raatikainen - 1995 - In Älyn oppihistoria – matka logiikan, psykologian ja tekoälyn juurille. Espoo: Finnish Artificial Intelligence Society.details
|
|
To and from philosophy — discussions with gödel and Wittgenstein.Hao Wang - 1991 - Synthese 88 (2):229 - 277.details
|
|