Graduate studies at Western
Foundations of Science 13 (1) (2008)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Dave Billinge & Tom Addis (2008). Seeking Allies: Modelling How Listeners Choose Their Musical Friends. [REVIEW] Foundations of Science 13 (1):53-66.
H. E. Baber (1987). How Bad Is Rape? Hypatia 2 (2):125 - 138.
Dale Hample, Bing Han & David Payne (2010). The Aggressiveness of Playful Arguments. Argumentation 24 (4):405-421.
Pasquale Frascolla (1997). The Tractatus System of Arithmetic. Synthese 112 (3):353-378.
Added to index2009-05-04
Total downloads7 ( #142,523 of 739,786 )
Recent downloads (6 months)1 ( #61,778 of 739,786 )
How can I increase my downloads?