- On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.details
|
|
Identity, Individuality and Indiscernibility: an Essay in Analytic Ontology.Tamoghna Sarkar - 2018 - Journal of the Indian Council of Philosophical Research 35 (1):15-33.details
|
|
Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.details
|
|
Paraconsistent Metatheory: New Proofs with Old Tools.Guillermo Badia, Zach Weber & Patrick Girard - 2022 - Journal of Philosophical Logic 51 (4):825-856.details
|
|
Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.details
|
|
(1 other version)The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcomingdetails
|
|
The Normal-Form Decision Method in the Combined Calculus.Lei Ma - 2018 - Axiomathes 28 (4):461-489.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
|
|
Universality, Invariance, and the Foundations of Computational Complexity in the light of the Quantum Computer.Michael Cuffaro - 2018 - In Hansson Sven Ove (ed.), Technology and Mathematics: Philosophical and Historical Investigations. Cham, Switzerland: Springer Verlag. pp. 253-282.details
|
|
Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’.Jeremiah Joven B. Joaquin - 2021 - History and Philosophy of Logic 43 (2):158-174.details
|
|
(1 other version)Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
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
|
|
The Constitution as an Axiomatic System.Vitaly Ogleznev & Valeriy Surovtsev - 2017 - Axiomathes 28 (2):219-232.details
|
|
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.details
|
|
(1 other version)The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
El enfoque epistemológico de David Hilbert: el a priori del conocimiento y el papel de la lógica en la fundamentación de la ciencia.Rodrigo Lopez-Orellana - 2019 - Principia: An International Journal of Epistemology 23 (2):279-308.details
|
|
Issues in the foundations of science, I: Languages, structures, and models.Newton C. A. da Costa, Décio Krause & Otávio Bueno - unknowndetails
|
|