The abductive loop: Tracking irrational sets [Book Review]
Graduate studies at Western
Foundations of Science 13 (1):5-16 (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||Irrational set Computer limits Formal language Informal language Representation Tractatus Dual semantics Concepts Paradigm shift|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
David Charles Mccarty (1991). The Philosophy of Logical Wholism. Synthese 87 (1):51 - 123.
Barry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55:47 - 74.
Francesco Berto (2009). There's Something About Gödel: The Complete Guide to the Incompleteness Theorem. Wiley-Blackwell.
David Levy & Eduardo Zamuner, The Architecture of Meaning: Wittgenstein's Tractatus and Formal Semantics.
Theodore Sider (2002). The Ersatz Pluriverse. Journal of Philosophy 99 (6):279-315.
P. Thagard & C. P. Shelley (1997). Abductive Reasoning: Logic, Visual Thinking, and Coherence. In [Book Chapter].
T. R. Addis & D. C. Gooding (2008). Simulation Methods for an Abductive System in Science. Foundations of Science 13 (1):37-52.
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-01-28
Total downloads16 ( #81,814 of 739,352 )
Recent downloads (6 months)1 ( #61,538 of 739,352 )
How can I increase my downloads?