- The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.details
|
|
Models and Computability.W. Dean - 2014 - Philosophia Mathematica 22 (2):143-166.details
|
|
Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs.Martin Pleitz - 2010 - Studia Logica 96 (2):193-218.details
|
|
Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.details
|
|
Against the Judgment-Dependence of Mathematics and Logic.Alexander Paseau - 2012 - Erkenntnis 76 (1):23-40.details
|
|
(1 other version)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
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
(1 other version)Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.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
|
|
Infinity and continuum in the alternative set theory.Kateřina Trlifajová - 2021 - European Journal for Philosophy of Science 12 (1):1-23.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Contrastando reconstrucciones con herramientas computacionales: una aplicación a la cladística.Ariel Jonathan Roffé - 2020 - Dissertation, Universidad de Buenos Aires (Uba)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
|
|
Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.details
|
|
(1 other version)Counterfactual Logic and the Necessity of Mathematics.Samuel Elgin - manuscriptdetails
|
|
On Compositionality.Martin Jönsson - 2008 - Dissertation, Lund Universitydetails
|
|
Two Fallacies in Proofs of the Liar Paradox.Peter Eldridge-Smith - 2020 - Philosophia 48 (3):947-966.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
|
|
Alethic Reference.Lavinia Picollo - 2020 - Journal of Philosophical Logic 49 (3):417-438.details
|
|
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.details
|
|
There is no general AI.Jobst Landgrebe & Barry Smith - 2020 - arXiv.details
|
|
The Enhanced Indispensability Argument, the circularity problem, and the interpretability strategy.Jan Heylen & Lars Arthur Tump - 2019 - Synthese 198 (4):3033-3045.details
|
|
Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.details
|
|
Making AI Meaningful Again.Jobst Landgrebe & Barry Smith - 2021 - Synthese 198 (March):2061-2081.details
|
|
Paradoxical Desires.Ethan Jerzak - 2019 - Proceedings of the Aristotelian Society 119 (3):335-355.details
|
|
Factive knowability and the problem of possible omniscience.Jan Heylen - 2020 - Philosophical Studies 177 (1):65-87.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
|
|
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
|
|
Kazimierz Ajdukiewicz’s philosophy of mathematics.Marcin Tkaczyk - 2016 - Studies in East European Thought 68 (1):21-38.details
|
|
Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 273-287.details
|
|
Decomposing complexity: the discovering of pathway dynamics.Adam White - unknowndetails
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
Carnapian Modal and Epistemic Arithmetic.Heylen Jan - 2009 - In Carrara Massimiliano & Morato Vittorio (eds.), Language, Knowledge, and Metaphysics. Selected papers from the First SIFA Graduate Conference. College Publications. pp. 97-121.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
Proof verification and proof discovery for relativity.Naveen Sundar Govindarajalulu, Selmer Bringsjord & Joshua Taylor - 2015 - Synthese 192 (7):2077-2094.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
|
|
Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.details
|
|
The Mystery of Deduction and Diagrammatic Aspects of Representation.Sun-Joo Shin - 2015 - Review of Philosophy and Psychology 6 (1):49-67.details
|
|
Closure of A Priori Knowability Under A Priori Knowable Material Implication.Jan Heylen - 2015 - Erkenntnis 80 (2):359-380.details
|
|
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.details
|
|
Perlis on strong and weak self-reference--a mirror reversal.Damjan Bojadziev - 2000 - Journal of Consciousness Studies 7 (5):60-66.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
|
|
Logic and artificial intelligence: Divorced, still married, separated ...? [REVIEW]Selmer Bringsjord & David A. Ferrucci - 1998 - Minds and Machines 8 (2):273-308.details
|
|
Quantifying weak emergence.Paul Hovda - 2008 - Minds and Machines 18 (4):461-473.details
|
|
A Short Argument against Truthmaker Maximalism.Oleh Bondar - 2022 - Metaphysica 23 (1):27-36.details
|
|
Concrete Causation: About the Structures of Causal Knowledge.Roland Poellinger - 2012 - Dissertation, Lmu Munichdetails
|
|
Notes on the.Nuel Belnap - unknowndetails
|
|