Progress towards a formal theory of practical reasoning: Problems and prospects

From its beginnings in Aristotle, logic was intended to account not only for reasoning that is theoretical (or conclusion-oriented), but for reasoning that is practical (or actionoriented). However, despite an interest in the topic that continues to the present, the practical side of reasoning has remained broadly speculative. At least in some domains (mathematics, in particular), there are well developed proof-theoretic and semantic theories that yield quite detailed models of correct reasoning, and these models are useful for both theoretical and practical purposes. In contrast, the logical work on practical reasoning has remained broadly speculative and disengaged from applications. Logical formalisms have not been forthcoming that would be useful either in designing an agent that needs to act intelligently, or in helping an intelligent agent to evaluate its reasoning about action.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,636
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
A Logic of Practical Reasoning.Georg Spielthenner - 2007 - Acta Analytica 22 (2):139-153.
Formal Logic and Practical Reasoning.Bruce Aune - 1986 - Theory and Decision 20 (3):301-320.
Normative Practical Reasoning.Christian Piller - 2001 - Aristotelian Society Supplementary Volume 75 (1):175 - 216.
Did He Jump or Was He Pushed? Abductive Practical Reasoning.Katie Atkinson - 2009 - Artificial Intelligence and Law 17 (2):79-99.

Monthly downloads

Added to index


Total downloads

39 ( #132,365 of 2,169,144 )

Recent downloads (6 months)

1 ( #345,568 of 2,169,144 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums