- 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
|
|
Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
History and Philosophy of Constructive Type Theory.Giovanni Sommaruga - 2000 - Dordrecht, Netherland: Springer.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences.Bhupinder Singh Anand - 2020 - Mumbai: DBA Publishing (First Edition).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 Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
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
|
|
The Ontological Import of Adding Proper Classes.Alfredo Roque Freire & Rodrigo de Alvarenga Freire - 2019 - Manuscrito 42 (2):85-112.details
|
|
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.Norihiro Kamide & Yoni Zohar - 2020 - Studia Logica 108 (3):549-571.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherstdetails
|
|
Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Modality and Hyperintensionality in Mathematics.David Elohim - manuscriptdetails
|
|
Newman’s Objection is Dead; Long Live Newman’s Objection!Sebastian Lutz - manuscriptdetails
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
Abstraction Reconceived.J. P. Studd - 2016 - British Journal for the Philosophy of Science 67 (2):579-615.details
|
|
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.details
|
|
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.details
|
|
A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.details
|
|
A Measurement Theoretic Account of Propositions.Eli Dresner - 2006 - Synthese 153 (1):1-22.details
|
|
Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - Journal of Philosophical Logic 38 (6):589-606.details
|
|
A Theorem about Computationalism and “Absolute” Truth.Arthur Charlesworth - 2016 - Minds and Machines 26 (3):205-226.details
|
|
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.details
|
|
On Complexity of Complete First-Order Theories.Glen R. Cooper - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):93-136.details
|
|
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):75-81.details
|
|
Dedekind's Logicism.Ansten Mørch Klev - 2015 - Philosophia Mathematica:nkv027.details
|
|
Husserl and Hilbert on completeness, still.Jairo Jose da Silva - 2016 - Synthese 193 (6).details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
Searching for pragmatism in the philosophy of mathematics: Critical Studies / Book Reviews.Steven J. Wagner - 2001 - Philosophia Mathematica 9 (3):355-376.details
|
|
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.details
|
|
Untersuchungen zur Friedmanschen Theorie der Prädikate.Martin Kühnrich - 1986 - Mathematical Logic Quarterly 32 (1‐5):29-44.details
|
|
A Free‐Variable Theory of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (2):147-157.details
|
|
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.details
|
|
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.details
|
|
Two questions on the geometry of gauge fields.N. C. A. da Costa, F. A. Doria, A. F. Furtado-do-Amaral & J. A. de Barros - 1994 - Foundations of Physics 24 (5):783-800.details
|
|
A note on the Everett interpretation of quantum mechanics.Paul Benioff - 1978 - Foundations of Physics 8 (9-10):709-720.details
|
|
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.details
|
|
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.details
|
|
On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.details
|
|
On Ja?kowski's discussive logics.Newton C. A. Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33-60.details
|
|