The abductive loop: Tracking irrational sets [Book Review]
Foundations of Science 13 (1):5-16 (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||Irrational set Computer limits Formal language Informal language Representation Tractatus Dual semantics Concepts Paradigm shift|
|Categories||categorize this paper)|
References found in this work BETA
The Essential Tension: Selected Studies in Scientific Tradition and Change. [REVIEW]David Zaret - 1977 - Philosophical Review 90 (1):146-149.
Citations of this work BETA
Using Wittgenstein's Family Resemblance Principle to Learn Exemplars.Sunil Vadera, Andres Rodriguez, Enrique Succar & Jia Wu - 2008 - Foundations of Science 13 (1):67-74.
Abductive Reasoning, Interpretation and Collaborative Processes.Claudia Arrighi & Roberta Ferrario - 2008 - Foundations of Science 13 (1):75-87.
Similar books and articles
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
There's Something About Gödel: The Complete Guide to the Incompleteness Theorem.Francesco Berto - 2009 - Wiley-Blackwell.
Abductive Reasoning: Logic, Visual Thinking, and Coherence.P. Thagard & C. P. Shelley - 1997 - In [Book Chapter].
Seeking Allies: Modelling How Listeners Choose Their Musical Friends. [REVIEW]Dave Billinge & Tom Addis - 2008 - Foundations of Science 13 (1):53-66.
Added to index2009-01-28
Total downloads53 ( #98,116 of 2,164,001 )
Recent downloads (6 months)2 ( #188,660 of 2,164,001 )
How can I increase my downloads?