David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Foundations of Science 13 (1) (2008)
We argue from the Church-Turing thesis (Kleene Mathematical logic . New York: Wiley 1967) that a program can be considered as equivalent to a formal language similar to predicate calculus where predicates can be taken as functions. We can relate such a calculus to Wittgenstein’s first major work, the Tractatus , and use the Tractatus and its theses as a model of the formal classical definition of a computer program. However, Wittgenstein found flaws in his initial great work and he explored these flaws in a new thesis described in his second great work; the Philosophical Investigations . The question we address is “can computer science make the same leap?” We are proposing, because of the flaws identified by Wittgenstein, that computers will never have the possibility of natural communication with people unless they become active participants of human society. The essential difference between formal models used in computing and human communication is that formal models are based upon rational sets whereas people are not so restricted. We introduce irrational sets as a concept that requires the use of an abductive inference system. However, formal models are still considered central to our means of using hypotheses through deduction to make predictions about the world. These formal models are required to continually be updated in response to peoples’ changes in their way of seeing the world. We propose that one mechanism used to keep track of these changes is the Peircian abductive loop.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Pasquale Frascolla (1997). The Tractatus System of Arithmetic. Synthese 112 (3):353-378.
Dale Hample, Bing Han & David Payne (2010). The Aggressiveness of Playful Arguments. Argumentation 24 (4):405-421.
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
Dave Billinge & Tom Addis (2008). Seeking Allies: Modelling How Listeners Choose Their Musical Friends. [REVIEW] Foundations of Science 13 (1):53-66.
Added to index2009-05-04
Total downloads7 ( #218,804 of 1,692,915 )
Recent downloads (6 months)1 ( #193,926 of 1,692,915 )
How can I increase my downloads?