- Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.details
|
|
What Have Google’s Random Quantum Circuit Simulation Experiments Demonstrated about Quantum Supremacy?Jack K. Horner & John Symons - 2021 - In Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti & Quoc-Nam Tran (eds.), Advances in Software Engineering, Education, and E-Learning: Proceedings From Fecs'20, Fcs'20, Serp'20, and Eee'20. Springer.details
|
|
Plural quantifiers: a modal interpretation.Rafal Urbaniak - 2014 - Synthese 191 (7):1-22.details
|
|
How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.details
|
|
Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.details
|
|
Kazimierz Ajdukiewicz’s philosophy of mathematics.Marcin Tkaczyk - 2016 - Studies in East European Thought 68 (1):21-38.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.details
|
|
Symposium on Writing the Book of the World.Theodore Sider - 2013 - Analysis 73 (4):751-770.details
|
|
The Mystery of Deduction and Diagrammatic Aspects of Representation.Sun-Joo Shin - 2015 - Review of Philosophy and Psychology 6 (1):49-67.details
|
|
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic.Pablo Rivas-Robledo - 2022 - Kriterion – Journal of Philosophy 36 (2):179-205.details
|
|
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs.Martin Pleitz - 2010 - Studia Logica 96 (2):193-218.details
|
|
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.details
|
|
Against the Judgment-Dependence of Mathematics and Logic.Alexander Paseau - 2012 - Erkenntnis 76 (1):23-40.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.details
|
|
Wittgenstein’s Elimination of Identity for Quantifier-Free Logic.Timm Lampert & Markus Säbel - 2021 - Review of Symbolic Logic 14 (1):1-21.details
|
|
Programming Infinite Machines.Anton A. Kutsenko - 2019 - Erkenntnis 87 (1):181-189.details
|
|
Realism and Empirical Equivalence.Eric Johannesson - 2020 - Journal of Philosophical Logic 49 (3):475-495.details
|
|
Paradoxical Desires.Ethan Jerzak - 2019 - Proceedings of the Aristotelian Society 119 (3):335-355.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Quantifying weak emergence.Paul Hovda - 2008 - Minds and Machines 18 (4):461-473.details
|
|
Reply to Angius and Primiero on Software Intensive Science.Jack Horner & John Symons - 2014 - Philosophy and Technology 27 (3):491-494.details
|
|
The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy.Jan Heylen & Lars Arthur Tump - 2019 - Synthese 198 (4):3033-3045.details
|
|
The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.details
|
|
Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.details
|
|
Factive knowability and the problem of possible omniscience.Jan Heylen - 2020 - Philosophical Studies 177 (1):65-87.details
|
|
Closure of A Priori Knowability Under A Priori Knowable Material Implication.Jan Heylen - 2015 - Erkenntnis 80 (2):359-380.details
|
|
Proof verification and proof discovery for relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.details
|
|
The ineffability of God.Omar Fakhri - 2020 - International Journal for Philosophy of Religion 89 (1):25-41.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Two Fallacies in Proofs of the Liar Paradox.Peter Eldridge-Smith - 2020 - Philosophia 48 (3):947-966.details
|
|
Models and Computability.W. Dean - 2014 - Philosophia Mathematica 22 (2):143-166.details
|
|
The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359-374.details
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
Logic and artificial intelligence: Divorced, still married, separated ...? [REVIEW]Selmer Bringsjord & David A. Ferrucci - 1998 - Minds and Machines 8 (2):273-308.details
|
|
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
A Short Argument against Truthmaker Maximalism.Oleh Bondar - 2022 - Metaphysica 23 (1):27-36.details
|
|
Donald W. Loveland, Richard E. Hodel, and S. G. Sterrett: Three Views of Logic: Mathematics, Philosophy and Computer Science: Princeton University Press, Princeton and Oxford, 2014, xv + 322, $49.50/£34.95, ISBN: 978-0-691-16044-3. [REVIEW]Patrick Allo - 2015 - Minds and Machines 25 (3):291-296.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 notation in principia mathematica.Bernard Linsky - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Quantum computing.Amit Hagar & Michael Cuffaro - 2019 - Stanford Encyclopedia of Philosophy.details
|
|
Chance versus Randomness.Antony Eagle - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Notes on the.Nuel Belnap - unknowndetails
|
|
Perlis on strong and weak self-reference--a mirror reversal.Damjan Bojadziev - 2000 - Journal of Consciousness Studies 7 (5):60-66.details
|
|
Concrete Causation: About the Structures of Causal Knowledge.Roland Poellinger - 2012 - Dissertation, Lmu Munichdetails
|
|
Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|
On Compositionality.Martin Jönsson - 2008 - Dissertation, Lund Universitydetails
|
|