- The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.details
|
|
Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Intelligent machinery, a heretical theory.A. M. Turing - 1996 - Philosophia Mathematica 4 (3):256-260.details
|
|
Computability and λ-definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.details
|
|
Computing as a Science: A Survey of Competing Viewpoints. [REVIEW]Matti Tedre - 2011 - Minds and Machines 21 (3):361-387.details
|
|
Psychological Explanation: An Introduction to the Philosophy of Psychology. [REVIEW]Charles Taylor - 1971 - Philosophical Review 80 (1):108-113.details
|
|
Videogames and interactive fiction.Grant Tavinor - 2005 - Philosophy and Literature 29 (1):24-40.details
|
|
A comparison of the meaning and uses of models in mathematics and the empirical sciences.Patrick Suppes - 1960 - Synthese 12 (2-3):287--301.details
|
|
Vision without inversion of the retinal image.G. M. Stratton - 1897 - Psychological Review 4 (5):463-481.details
|
|
Aaron Sloman, The Computer Revolution in Philosophy: Philosophy, Science and Models of Mind. [REVIEW]Stephen P. Stich - 1981 - Philosophical Review 90 (2):300-307.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.details
|
|
Critical rationalism and engineering: ontology.Mark Staples - 2014 - Synthese 191 (10):2255-2279.details
|
|
Critical rationalism and engineering: methodology.Mark Staples - 2015 - Synthese 192 (1):337-362.details
|
|
On one's mind.Roger Squires - 1970 - Philosophical Quarterly 20 (October):347-356.details
|
|
Computation, individuation, and the received view on representation.Mark Sprevak - 2010 - Studies in History and Philosophy of Science Part A 41 (3):260-270.details
|
|
The Turing triage test.Robert Sparrow - 2004 - Ethics and Information Technology 6 (4):203-213.details
|
|
Killer robots.Robert Sparrow - 2007 - Journal of Applied Philosophy 24 (1):62–77.details
|
|
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
On the proper treatment of connectionism.Paul Smolensky - 1988 - Behavioral and Brain Sciences 11 (1):1-23.details
|
|
The OBO Foundry: Coordinated evolution of ontologies to support biomedical data integration.Barry Smith, Michael Ashburner, Cornelius Rosse, Jonathan Bard, William Bug, Werner Ceusters, Louis J. Goldberg, Karen Eilbeck, Amelia Ireland, Christopher J. Mungall, Neocles Leontis, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Nigam Shah, Patricia L. Whetzel & Suzanna Lewis - 2007 - Nature Biotechnology 25 (11):1251-1255.details
|
|
The limits of correctness.Brian Cantwell Smith - 1985 - Acm Sigcas Computers and Society 14 (1):18-26.details
|
|
The Computer Revolution in Philosophy: Philosophy, Science and Models of Mind.Martin Ringle - 1982 - Noûs 16 (1):170-174.details
|
|
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence.Aaron Sloman - 1971 - Artificial Intelligence 2 (3-4):209-225.details
|
|
Are shapes intrinsic?Bradford Skow - 2007 - Philosophical Studies 133 (1):111 - 130.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.details
|
|
What is computer science about?Oron Shagrir - 1999 - The Monist 82 (1):131-149.details
|
|
What is Computer Science About?Oron Shagrir - 1999 - The Monist 82 (1):131-149.details
|
|
The Brain as an Input–Output Model of the World.Oron Shagrir - 2018 - Minds and Machines 28 (1):53-75.details
|
|
Structural Representations and the Brain.Oron Shagrir - 2012 - British Journal for the Philosophy of Science 63 (3):519-545.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Content, computation and externalism.Oron Shagrir - 2001 - Mind 110 (438):369-400.details
|
|
Computationalism.Stuart C. Shapiro - 1995 - Minds and Machines 5 (4):467-87.details
|
|
Artificial intelligence.Stuart C. Shapiro - 1976 - Artificial Intelligence 7 (2):199-201.details
|
|
Wittgenstein versus Turing on the nature of Church's thesis.S. G. Shanker - 1987 - Notre Dame Journal of Formal Logic 28 (4):615-649.details
|
|
Some Reflections on Language Games.Wilfrid Sellars - 1957 - Journal of Symbolic Logic 22 (4):402-403.details
|
|
The Rediscovery of the Mind.Paul F. Snowdon - 1994 - Philosophical Quarterly 44 (175):259-260.details
|
|
The Construction of Social Reality.John R. Searle - 1995 - Free Press.details
|
|
Review of John R. Searle: The Construction of Social Reality. [REVIEW]Alan Nelson - 1995 - Ethics 108 (1):208-210.details
|
|
Is the brain a digital computer?John R. Searle - 1990 - Proceedings and Addresses of the American Philosophical Association 64 (3):21-37.details
|
|
Intentionality: An Essay in the Philosophy of Mind.Richard E. Aquila - 1985 - Philosophy and Phenomenological Research 46 (1):159-170.details
|
|
Intentionality, an Essay in the Philosophy of Mind.Andrew Woodfield - 1986 - Philosophical Quarterly 36 (143):300-303.details
|
|
Intentionality: An Essay in the Philosophy of Mind.John R. Searle - 1983 - New York: Cambridge University Press.details
|
|
When physical systems realize functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.details
|
|
Stretching the Traditional Notion of Experiment in Computing: Explorative Experiments.Viola Schiaffonati - 2016 - Science and Engineering Ethics 22 (3):647-665.details
|
|
How does Concurrency Extend the Paradigm of Computation?Vincent Schächter - 1999 - The Monist 82 (1):37-57.details
|
|