How reasoning differs from computation

Sieg has proposed axioms for computability whose models can be reduced to Turing machines. This lecture will investigate to what extent these axioms hold for reasoning. In particular we focus on the requirement that the configurations that a computing agent (whether human or machine) operates on must be ’immediately recognisable’. If one thinks of reasoning as derivation in a calculus, this requirement is satisfied; but even in contexts which are only slightly less formal, the requirement cannot be met. Our main example will be the Wason selection task, a propositional reasoning task in which in a typical (undergraduate) subject group only around 5% arrive at the answer dictated by classical logic. The instructions for this task (as well as other standard tasks in the psychology of reasoning, such as syllogisms) do not contain any ’immediately recognisable’ configurations. The subject must try to find an interpretation of the task by making the various elements in the instructions cohere, in effect solving a difficult constraint satisfaction problem, which has no unique solution. The subject has given a complete interpretation of the task if she can formulate the problem posed in the task as a theorem to be proved. The complexity of such theorems can be quite high; e.g. for the propositional Wason selection task the theorem can be in Σ1 3 . This sounds implausible, but we’ll present experimental data confirming this point
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 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
Translate to english
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,793
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Reasoning and Pragmatics.Guy Politzer & Laura Macchi - 2000 - Mind and Society 1 (1):73-93.
Rationality and the Wason Selection Task: A Logical Account.Simone Duca - 2009 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 15 (1):109-131.
Facilitation and Analogical Transfer in the THOG Task.Cynthia Koenig & Richard Griggs - 2004 - Thinking and Reasoning 10 (4):355 – 370.
Uncertain Deductive Reasoning.Niki Pfeifer & G. D. Kleiter - 2011 - In K. Manktelow, D. E. Over & S. Elqayam (eds.), The Science of Reason: A Festschrift for Jonathan St B.T. Evans. Psychology Press. pp. 145--166.
Added to PP index

Total downloads
34 ( #167,445 of 2,214,511 )

Recent downloads (6 months)
2 ( #239,296 of 2,214,511 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature