The Formalization Of Pratical Reasoning: Problems And Prospects

Abstract

Deontic logic, as traditionally conceived, provides only a deductive theory that constrains the states or possible worlds within which an agent should try to remain. As such, it only encompasses a small part of practical reasoning, which in general is concerned with selecting, committing to, and executing plans. In this article I try to frame the general challenge that is presented to logical theory by the problem of formalizing practical reasoning, and to survey the existing resources that might contribute to the development of such a formalization. I conclude that, while a robust, adequate logic of practical reasoning is not yet in place, the materials for developing such a logic are now available.