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)
DOI 10.1007/s10699-007-9115-6
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,224
External links

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
Metaphors We Live By.George Lakoff - 1980 - University of Chicago Press.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
53 ( #101,539 of 2,191,990 )

Recent downloads (6 months)
1 ( #289,021 of 2,191,990 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature