- Illusions in Reasoning.Sangeet S. Khemlani & P. N. Johnson-Laird - 2017 - Minds and Machines 27 (1):11-35.details
|
|
Is the brain a digital computer?John R. Searle - 1990 - Proceedings and Addresses of the American Philosophical Association 64 (3):21-37.details
|
|
Contrastando reconstrucciones con herramientas computacionales: una aplicación a la cladística.Ariel Jonathan Roffé - 2020 - Dissertation, Universidad de Buenos Aires (Uba)details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.details
|
|
The Necessity of Mathematics.Juhani Yli‐Vakkuri & John Hawthorne - 2018 - Noûs 52 (3):549-577.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
|
|
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
|
|
Do Accelerating Turing Machines Compute the Uncomputable?B. Jack Copeland & Oron Shagrir - 2011 - Minds and Machines 21 (2):221-239.details
|
|
Reconciling simplicity and likelihood principles in perceptual organization.Nick Chater - 1996 - Psychological Review 103 (3):566-581.details
|
|
On Kinds of Indiscernibility in Logic and Metaphysics.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (1):27-84.details
|
|
Lying, computers and self-awareness.Paulo Castro - 2020 - Kairos 24 (1):10-34.details
|
|
Gödel’s Second Theorem and the Provability of God’s Existence.Meir Buzaglo - 2019 - Logica Universalis 13 (4):541-549.details
|
|
Emergence, Reduction and Supervenience: A Varied Landscape. [REVIEW]Jeremy Butterfield - 2011 - Foundations of Physics 41 (6):920-959.details
|
|
Consistency, possibility, and Gödel: a reply to Pruss.Michael Burton - 2022 - Philosophical Studies 179 (12):3671-3677.details
|
|
The Zombie Attack on the Computational Conception of Mind.Selmer Bringsjord - 1999 - Philosophy and Phenomenological Research 59 (1):41-69.details
|
|
Logic and artificial intelligence: Divorced, still married, separated ...? [REVIEW]Selmer Bringsjord & David A. Ferrucci - 1998 - Minds and Machines 8 (2):273-308.details
|
|
Given the Web, What is Intelligence, Really?Selmer Bringsjord & Naveen Sundar Govindarajulu - 2012 - Metaphilosophy 43 (4):464-479.details
|
|
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.details
|
|
Cognition is not computation: The argument from irreversibility.Selmer Bringsjord - 1997 - Synthese 113 (2):285-320.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
Are we evolved computers?: A critical review of Steven Pinker's how the mind works. [REVIEW]Selmer Bringsjord - 2001 - Philosophical Psychology 14 (2):227 – 243.details
|
|
On deciding the truth of certain statements involving the notion of consistency.George Boolos - 1976 - Journal of Symbolic Logic 41 (4):779-781.details
|
|
Incompleteness in a general setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Dependent choice, properness, and generic absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.details
|
|
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.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
|
|
In Memory of Richard Jeffrey: Some Reminiscences and Some Reflections on The Logic of Decision.Alan Hájek - 2006 - Philosophy of Science 73 (5):947-958.details
|
|
Transcendental Knowability, Closure, Luminosity and Factivity: Reply to Stephenson.Jan Heylen & Felipe Morales Carbonell - forthcoming - History of Philosophy & Logical Analysis.details
|
|
Forever Finite: The Case Against Infinity (Expanded Edition).Kip K. Sewell - 2023 - Alexandria, VA: Rond Books.details
|
|
A defense of Isaacson’s thesis, or how to make sense of the boundaries of finite mathematics.Pablo Dopico - 2024 - Synthese 203 (2):1-22.details
|
|
Mathematical Intuition and Natural Numbers: A Critical Discussion.Felix Mühlhölzer - 2010 - Erkenntnis 73 (2):265-292.details
|
|
Why Machines Will Never Rule the World: Artificial Intelligence without Fear.Jobst Landgrebe & Barry Smith - 2022 - Abingdon, England: Routledge.details
|
|
Autonomous Machine Agency.Don Berkich - 2002 - Dissertation, University of Massachusetts Amherstdetails
|
|
Eventually infinite time Turing machine degrees: Infinite time decidable reals.P. D. Welch - 2000 - Journal of Symbolic Logic 65 (3):1193-1203.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
|
|
The limit of language in daoism.Koji Tanaka - 2004 - Asian Philosophy 14 (2):191 – 205.details
|
|
On the completeness and the decidability of strictly monadic second‐order logic.Kento Takagi & Ryo Kashima - 2020 - Mathematical Logic Quarterly 66 (4):438-447.details
|
|
The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.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
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. 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
|
|
Building General Knowledge of Mechanisms in Information Security.Jonathan M. Spring & Phyllis Illari - 2019 - Philosophy and Technology 32 (4):627-659.details
|
|
Building General Knowledge of Mechanisms in Information Security.Jonathan M. Spring & Phyllis Illari - 2019 - Philosophy and Technology 32 (4):627-659.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Feature Centrality and Conceptual Coherence.Steven A. Sloman, Bradley C. Love & Woo-Kyoung Ahn - 1998 - Cognitive Science 22 (2):189-228.details
|
|