- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Copeland and Proudfoot on computability
Studies in History and Philosophy of Science Part A 43 (1):199-202 (2012)
Abstract
Many philosophers contend that Turing’s work provides a conceptual analysis of numerical computability. In (Rescorla, 2007), I dissented. I argued that the problem of deviant notations stymies existing attempts at conceptual analysis. Copeland and Proudfoot respond to my critique. I argue that their putative solution does not succeed. We are still awaiting a genuine conceptual analysisAuthor's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Deviant encodings and Turing’s analysis of computability.B. Jack Copeland & Diane Proudfoot - 2010 - Studies in History and Philosophy of Science Part A 41 (3):247-252.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
Expressivism, Representation, and the Nature of Conceptual Analysis.David Plunkett - 2011 - Philosophical Studies 156 (1):15-31.
The Problem of Universals and the Limits of Conceptual Analysis.Gonzalo Rodriguez-Pereyra - 2002 - Philosophical Papers 31 (1):39-47.
Implicit and Explicit Examples of the Phenomenon of Deviant Encodings.Paula Quinon - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):53-67.
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
Philosophical Conceptual Analysis as an Experimental Method.Michael T. Stuart - 2015 - In Thomas Gamerschlag, Doris Gerland, Rainer Osswald & Wiebke Petersen, Meaning, Frames, and Conceptual Representation. Düsseldorf University Press. pp. 267-292.
Gödel, Turing and the Iconic/Performative Axis.Juliette Cara Kennedy - 2022 - Philosophies 7 (6):141.
The proper province of philosophy.Justin Sytsma - 2010 - Review of Philosophy and Psychology 1 (3):427-445.
Analytics
Added to PP
2011-12-08
Downloads
79 (#294,916)
6 months
4 (#1,135,291)
2011-12-08
Downloads
79 (#294,916)
6 months
4 (#1,135,291)
Historical graph of downloads
Author's Profile
Citations of this work
The Representational Foundations of Computation.Michael Rescorla - 2015 - Philosophia Mathematica 23 (3):338-366.
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.
Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects.Stewart Shapiro - 2017 - Philosophia Mathematica 25 (2):268-281.
Computability, Notation, and de re Knowledge of Numbers.Stewart Shapiro, Eric Snyder & Richard Samuels - 2022 - Philosophies 1 (7):20.
Generalization of Shapiro’s theorem to higher arities and noninjective notations.Dariusz Kalociński & Michał Wrocławski - 2022 - Archive for Mathematical Logic 62 (1):257-288.
References found in this work
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Deviant encodings and Turing’s analysis of computability.B. Jack Copeland & Diane Proudfoot - 2010 - Studies in History and Philosophy of Science Part A 41 (3):247-252.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6dc498764b-82g67 uwo