Article ID: CBB401301232

Can Church’s thesis be viewed as a Carnapian explication? (2021)

unapi

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint.

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB401301232/

Similar Citations

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir; (2015)
Computability: Turing, Gödel, Church, and Beyond (/isis/citation/CBB900019272/)

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis (/isis/citation/CBB001213136/)

Book Jack Copeland; Jonathan Bowen; Mark Sprevak; Robin Wilson; (2017)
The Turing Guide (/isis/citation/CBB709222979/)

Book Rod Adams; (2011)
An Early History of Recursive Functions and Computability from Godel to Turing (/isis/citation/CBB059820056/)

Book Hodges, Andrew; (2000)
Alan Turing: the Enigma (/isis/citation/CBB000110152/)

Article Copeland, B. Jack; Proudfoot, Diane; (2011-2012)
Alan Turing, Father of the Modern Computer (/isis/citation/CBB001210378/)

Book Copeland, B. Jack; (2012)
Turing: Pioneer of the Information Age (/isis/citation/CBB001253045/)

Book Giovanni Sommaruga; Thomas Strahm; (2016)
Turing’s Revolution: The Impact of His Ideas about Computability (/isis/citation/CBB732084224/)

Article Hodges, Andrew; (2012)
Beyond Turing's Machines (/isis/citation/CBB001320475/)

Article Sojo, Aurea Anguera de; Ares, Juan; Lara, Juan A.; Lizcano, David; Martínez, María A.; Pazos, Juan; (2013)
Turing and the Serendipitous Discovery of the Modern Computer (/isis/citation/CBB001320868/)

Book Turing, Sara; (2012)
Alan M. Turing (/isis/citation/CBB001251444/)

Article Cassou-Noguès, Pierre; (2008)
Gödel et la thèse de Turing (/isis/citation/CBB000930661/)

Article Alessio Persichetti; (2021)
The later Wittgenstein’s guide to contradictions (/isis/citation/CBB312904403/)

Book Andrew Hodges; Douglas Hofstadter; (2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game" (/isis/citation/CBB485951446/)

Article Stillwell, John; (2004)
Emil Post and His Anticipation of Gödel and Turing (/isis/citation/CBB000771953/)

Article Aldrich, John; (2009)
England and Continental Probability in the Inter-War Years (/isis/citation/CBB001021431/)

Chapter Field, J. V.; (2009)
British Cryptanalysis: The Breaking of “Fish” Traffic (/isis/citation/CBB000960225/)

Article Petrovic, Aleksander; (2004)
Development of the First Hydraulic Analog Computer (/isis/citation/CBB000770607/)

Authors & Contributors
Copeland, B. Jack
Hodges, Andrew P.
Adams, Rod
Persichetti, Alessio
Riddell, Brenda
Strahm, Thomas
Concepts
Mathematics
Computers and computing
Computer science
Codes and cryptography
Logic
Biographies
Time Periods
20th century, early
20th century
19th century
Places
Great Britain
United States
Institutions
Princeton University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment