- Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.Robert F. Hadley - 2008 - Minds and Machines 18 (1):1-15.details
|
|
Is the brain a digital computer?John R. Searle - 1990 - Proceedings and Addresses of the American Philosophical Association 64 (3):21-37.details
|
|
Illusions in Reasoning.Sangeet S. Khemlani & P. N. Johnson-Laird - 2017 - Minds and Machines 27 (1):11-35.details
|
|
Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.details
|
|
Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.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
|
|
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
Do Accelerating Turing Machines Compute the Uncomputable?B. Jack Copeland & Oron Shagrir - 2011 - Minds and Machines 21 (2):221-239.details
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.details
|
|
Computing machinery and emergence: The aesthetics and metaphysics of video games.Jon Cogburn & Mark Silcox - 2004 - Minds and Machines 15 (1):73-89.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
|
|
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.details
|
|
Emergence, Reduction and Supervenience: A Varied Landscape. [REVIEW]Jeremy Butterfield - 2011 - Foundations of Physics 41 (6):920-959.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
|
|
Creativity, the Turing test, and the (better) Lovelace test.Selmer Bringsjord, P. Bello & David A. Ferrucci - 2001 - Minds and Machines 11 (1):3-27.details
|
|
Cognition is not computation: The argument from irreversibility.Selmer Bringsjord - 1997 - Synthese 113 (2):285-320.details
|
|
Computation, among other things, is beneath us.Selmer Bringsjord - 1994 - Minds and Machines 4 (4):469-88.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
|
|
Truthmaker maximalism and the truthmaker paradox.Elke Brendel - 2020 - Synthese 197 (4):1647-1660.details
|
|
The dependence of computability on numerical notations.Ethan Brauer - 2021 - Synthese 198 (11):10485-10511.details
|
|
Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.details
|
|
Inconsistency Theories of Semantic Paradox.Douglas Patterson - 2009 - Philosophy and Phenomenological Research 79 (2):387 - 422.details
|
|
Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Autonomous Machine Agency.Don Berkich - 2002 - Dissertation, University of Massachusetts Amherstdetails
|
|
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.details
|
|
Hierarchical Propositions.Bruno Whittle - 2017 - Journal of Philosophical Logic 46 (2):215-231.details
|
|
The intentionality of formal systems.Ard Van Moer - 2006 - Foundations of Science 11 (1-2):81-119.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
|
|
The Abstraction/Representation Account of Computation and Subjective Experience.Jochen Szangolies - 2020 - Minds and Machines 30 (2):259-299.details
|
|
Supermachines and superminds.Eric Steinhart - 2003 - Minds and Machines 13 (1):155-186.details
|
|
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.details
|
|
The Mystery of Deduction and Diagrammatic Aspects of Representation.Sun-Joo Shin - 2015 - Review of Philosophy and Psychology 6 (1):49-67.details
|
|
Representing the knowledge of turing machines.Hyun Song Shin & Timothy Williamson - 1994 - Theory and Decision 37 (1):125-146.details
|
|
How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.details
|
|
Ethical robots: the future can heed us. [REVIEW]Selmer Bringsjord - 2008 - AI and Society 22 (4):539-550.details
|
|
Variations on a Montagovian theme.Wolfgang Schwarz - 2013 - Synthese 190 (16):3377-3395.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.details
|
|
Self-reference and the languages of arithmetic.Richard Heck - 2007 - Philosophia Mathematica 15 (1):1-29.details
|
|
On interpreting Chaitin's incompleteness theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.details
|
|
Yablo's paradox.Graham Priest - 1997 - Analysis 57 (4):236-242.details
|
|