Skip to main content
Log in

Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • F. Attneave (1961) ‘In Defense of Homunculi’ W. Rosenblith (Eds) Sensory Communication MIT Press Cambridge, MA 777–782

    Google Scholar 

  • A.-L. Barabási (2002) Linked: The New Science of Networks Perseus Cambridge, MA

    Google Scholar 

  • E.B. Baum (2004) What is Thought? MIT Press Cambridge, MA

    Google Scholar 

  • L. Blum F. Cucker et al. (1998) Complexity and Real Computation Springer New York

    Google Scholar 

  • M.A. Boden (1988) Computer Models of Mind Computational Approaches in Theoretical Psychology Cambridge University Press Cambridge

    Google Scholar 

  • D.J. Chalmers (1996) The Conscious Mind In Search of a Fundamental Theory Oxford University Press Oxford

    Google Scholar 

  • A. Church (1936) ArticleTitle‘An Unsolvable Problem in Elementary Number Theory’ The American Journal of Mathematics 58 345–363 Occurrence Handle10.2307/2371045

    Article  Google Scholar 

  • P.M. Churchland P.S. Churchland (1990) ArticleTitle‘Could a Machine Think?’ Scientific American CCLXII 26–31

    Google Scholar 

  • C.E. Cleland (1993) ArticleTitle‘Is the Church–Turing Thesis True?’ Minds and Machines 3 283–312 Occurrence Handle10.1007/BF00976283

    Article  Google Scholar 

  • B.J. Copeland (1998) ArticleTitle‘Turing’s O-machines, Searle, Penrose, and the Brain’ Analysis 58 IssueID2 128–138 Occurrence Handle10.1111/1467-8284.00113

    Article  Google Scholar 

  • B.J. Copeland (2000) ArticleTitle‘Narrow Versus Wide Mechanism Including a Re-Examination of Turing’s Views on the Mind-Machine Issue’ The Journal of Philosophy XCVI IssueID1 5–32 Occurrence Handle10.2307/2678472

    Article  Google Scholar 

  • Copeland, B. J.: 2002a, ‘The Church–Turing Thesis’, The Stanford Encyclopedia of Philosophy (Fall 2002 Edition). E. N. Zalta, URL = 〈http://plato.stanford.edu/ archives/fall2002/entries/church–turing/〉.

  • B.J. Copeland (2002b) ArticleTitle‘Hypercomputation’ Minds and Machines 12 461–502 Occurrence Handle10.1023/A:1021105915386

    Article  Google Scholar 

  • P. Cotogno (2003) ArticleTitle‘Hypercomputation and the Physical Church–Turing Thesis’ British Journal for the Philosophy of Science 54 181–223 Occurrence Handle10.1093/bjps/54.2.181

    Article  Google Scholar 

  • P. Dayan L.F. Abbott (2001) Theoretical Neuroscience Computational and Mathematical Modeling of Neural Systems MIT Press Cambridge, MA

    Google Scholar 

  • D.C. Dennett (1978a) Brainstorms MIT Press Cambridge, MA

    Google Scholar 

  • D.C. Dennett (1978b) ‘Introduction’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA xi–xxii

    Google Scholar 

  • D.C. Dennett (1978c) ‘Skinner Skinned’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA 53–70

    Google Scholar 

  • D.C. Dennett (1978d) ‘Artificial Intelligence as Philosophy and as Psychology’ D.C. Dennett (Eds) Brainstorms MIT Press Cambridge, MA 109–126

    Google Scholar 

  • J.A. Fodor (1968) ArticleTitle‘The Appeal to Tacit Knowledge in Psychological Explanation’ Journal of Philosophy 65 627–640 Occurrence Handle10.2307/2024316

    Article  Google Scholar 

  • J.A. Fodor (1981) Representations MIT Press Cambridge, MA

    Google Scholar 

  • J.A. Fodor (1998) Concepts Clarendon Press Oxford

    Google Scholar 

  • J. Folina (1998) ArticleTitle‘Church’s Thesis: Prelude to a Proof’ Philosophia Mathematica 6 302–323

    Google Scholar 

  • M. Giunti (1997) Computation, Dynamics, and Cognition Oxford University Press New York

    Google Scholar 

  • K. Gödel (1965) ‘Postscriptum’ M. Davis (Eds) The Undecidable Raven New York 71–73

    Google Scholar 

  • S. Guttenplan (Eds) (1994) A Companion to the Philosophy of Mind Blackwell Cambridge, MA

    Google Scholar 

  • J. Haugeland (1981) ArticleTitle‘Analog and Analog’ Philosophical Topics 12 213–225

    Google Scholar 

  • R.I.G. Hughes (1999) ‘The Ising Model, Computer Simulation, and Universal Physics’ M.S. Morgan M. Morrison (Eds) Models as Mediators Cambridge University Press Cambridge 97–145

    Google Scholar 

  • P. Humphreys (1990) ArticleTitle‘Computer Simulations’ PSA 1990 2 497–506

    Google Scholar 

  • L. Kálmar (1959) ‘An Argument Against the Plausibility of Church’s Thesis’ A. Heyting (Eds) Constructivity in Mathematics North-Holland Amsterdam 72–80

    Google Scholar 

  • J.T. Kearns (1997) ArticleTitle“Thinking Machines: Some Fundamental Confusions” Minds and Machines 7 269–287 Occurrence Handle10.1023/A:1008202117814

    Article  Google Scholar 

  • S.C. Kleene (1952) Introduction to Metamathematics Princeton Van Nostrand

    Google Scholar 

  • P.K. Machamer L. Darden C. Craver (2000) ArticleTitle‘Thinking About Mechanisms’ Philosophy of Science 67 1–25 Occurrence Handle10.1086/392759

    Article  Google Scholar 

  • W.S. McCulloch W.H. Pitts (1943) ArticleTitle‘A Logical Calculus of the Ideas Immanent in Nervous Activity’ Bulletin of Mathematical Biophysics 7 115–133 Occurrence Handle10.1007/BF02478259

    Article  Google Scholar 

  • V. McGee (1991) ArticleTitle‘We Turing Machines Aren’t Expected-Utility Maximizers (Even Ideally’) Philosophical Studies 64 115–123 Occurrence Handle10.1007/BF00356093

    Article  Google Scholar 

  • G.A. Miller E.H. Galanter K. Pribram (1960) Plans and the Structure of Behavior Holt New York

    Google Scholar 

  • R.J. Nelson (1987) ArticleTitle‘Church’s Thesis and Cognitive Science’ Notre Dame Journal of Formal Logic 28 IssueID4 581–614 Occurrence Handle10.1305/ndjfl/1093637649

    Article  Google Scholar 

  • Piccinini, G. (2003a). Computations and Computers in the Sciences of Mind and Brain. Pittsburgh, PA, University of Pittsburgh. URL= < http://etd.library.pitt.edu/ETD/available/etd-08132003-155121/ > 

  • G. Piccinini (2003b) ArticleTitle“Alan Turing and the Mathematical Objection” Minds and Machines 13 IssueID1 23–48 Occurrence Handle10.1023/A:1021348629167

    Article  Google Scholar 

  • G. Piccinini (2004a) ArticleTitle“The First Computational Theory of Mind and Brain: A Close Look at McCulloch and Pitts’s ‘Logical Calculus of Ideas Immanent in Nervous Activity”’ Synthese 141 IssueID2 175–215 Occurrence Handle10.1023/B:SYNT.0000043018.52445.3e

    Article  Google Scholar 

  • G. Piccinini (2004b) ArticleTitle“Functionalism, Computationalism, and Mental States” Studies in the History and Philosophy of Science 35 IssueID4 811–833 Occurrence Handle10.1016/j.shpsa.2004.02.003

    Article  Google Scholar 

  • I. Pitowski O. Shagrir (2003) ArticleTitle‘Physical Hypercomputation and the Church–Turing Thesis’ Minds and Machines 13 IssueID1 87–101 Occurrence Handle10.1023/A:1021365222692

    Article  Google Scholar 

  • M.B. Pour-El J.I. Richards (1989) Computability in Analysis and Physics Springer Verlag Berlin

    Google Scholar 

  • Z.W. Pylyshyn (1984) Computation and Cognition MIT Press Cambridge, MA

    Google Scholar 

  • F. Rohrlich (1990) ArticleTitle‘Computer Simulation in the Physical Sciences’ PSA 1990 2 507–518

    Google Scholar 

  • Scott, P. D. (1997). Crisis? What Crisis? Church’s Thesis and the Scope of Cognitive Science. Two Sciences of Mind: Readings in Cognitive Science and Consciousness. S. Ó Nualláin, P. Mc Kevitt and E. Mac Aogáin. Philadelphia, John Benjamins: 63–76.

  • S.G. Shanker (1995) ArticleTitle‘Turing and the Origins of AI’ Philosophia Mathematica 3 52–85

    Google Scholar 

  • W. Sieg (1994) ‘Mechanical Procedures and Mathematical Experience’ G. Alexander (Eds) Mathematics and Mind. Oxford University Press New York 71–117

    Google Scholar 

  • Sieg, W.: 2001, ‘Calculations by Man and Machine: Conceptual Analysis’, in W. Sieg, R. Sommer and C. Talcott (eds.), Reflections on the Foundations of Mathematics (Essays in Honor of Solomon Feferman), Association for Symbolic Logic, vol. 15, pp. 387–406.

  • H.T. Siegelmann (1999) Neural Networks and Analog Computation: Beyond the Turing Limit Birkhäuser Boston, MA

    Google Scholar 

  • J.R. Searle (1992) The Rediscovery of the Mind MIT Press Cambridge, MA

    Google Scholar 

  • S.H. Strogatz (1994) Nonlinear Dynamics and Chaos Perseus Cambridge, MA

    Google Scholar 

  • S.H. Strogatz (2003) Sync: The Emerging Science of Spontaneous Order Hyperion New York

    Google Scholar 

  • Tamburrini, G.: 1997, ‘Mechanistic Theories in Cognitive Science: The Import of Turing’s Thesis’, in M. L. Dalla Chiara and et al. (eds.), Logic and Scientific Method, Kluwer, pp. 239–257.

  • Turing, A. M.: 1936–7 [1965], ‘On Computable Numbers, with an Application to the Entscheidungsproblem’, in M. Davis. (ed.), The Undecidable, Raven, Ewlett.

  • Turing, A. M.: 1948, ‘Intelligent Machinery’, in D. Ince (ed.), Mechanical Intelligence, North-Holland, Amsterdam, pp. 87–106.

  • J. Neumann Particlevon (1951) ‘The General and Logical Theory of Automata’ L.A. Jeffress (Eds) Cerebral Mechanisms in Behavior Wiley New York 1–41

    Google Scholar 

  • J.C. Webb (1980) Mechanism, Mentalism, and Metamathematics Reidel Dordrecht

    Google Scholar 

  • S. Wolfram (2002) A New Kind of Science Wolfram Media Champaign, IL

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Gualtiero Piccinini.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Piccinini, G. Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy. Synthese 154, 97–120 (2007). https://doi.org/10.1007/s11229-005-0194-z

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-0194-z

Keywords

Navigation