- First-Order Reasoning and Primitive Recursive Natural Number Notations.David Isles - 2010 - Studia Logica 96 (1):49-64.details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknowndetails
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017details
|
|
Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Abstracta and Possibilia: Hyperintensional Foundations of Mathematical Platonism.David Elohim - manuscriptdetails
|
|
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.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
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.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
|
|
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
|
|
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
|
|
Fraenkel's axiom of restriction: Axiom choice, intended models and categoricity.Georg Schiemer - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP: philosophy of mathematics: sociological aspsects and mathematical practice. London: College Publications. pp. 307{340.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
|
|
Logic and philosophy of mathematics in the early Husserl.Stefania Centrone - 2010 - New York: Springer.details
|
|
Structuralism and Isomorphism.C. McCarty - 2015 - Philosophia Mathematica 23 (1):1-10.details
|
|
Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics.Francesca Boccuni & Andrea Sereni (eds.) - 2016 - Cham, Switzerland: Springer International Publishing.details
|
|
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.details
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
Matthias Wille.* ›Largely unknown‹ Gottlob Frege und der posthume Ruhm ›alles in den Wind geschrieben‹ Gottlob Frege wider den Zeitgeist.Ansten Klev - 2020 - Philosophia Mathematica 28 (3):426-430.details
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
25 Quantity Has a Quality All Its Own.Leon Horsten - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 511-530.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
From Lagrange to Frege: Functions and Expressions.Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur - 2015 - In Gabriel Sandu, Marco Panza & Hourya Benis-Sinaceur (eds.), Functions and Generality of Logic: Reflections on Dedekind's and Frege's Logicisms. Cham, Switzerland: Springer Verlag.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.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
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.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
|
|
Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics.Julian C. Cole - 2009 - Australasian Journal of Philosophy 87 (4):589-608.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
|
|