Logic for dialogue games
Autor: | Lauri Carlson |
---|---|
Rok vydání: | 1994 |
Předmět: |
Structure (mathematical logic)
Unification Computer science 05 social sciences General Social Sciences Rationality 06 humanities and the arts 16. Peace & justice 0603 philosophy ethics and religion 050105 experimental psychology Extensive-form game Epistemology Philosophy of language Philosophy Philosophical logic Explication 060302 philosophy 0501 psychology and cognitive sciences Game theory |
Zdroj: | Synthese. 99:377-415 |
ISSN: | 1573-0964 0039-7857 |
DOI: | 10.1007/bf01063995 |
Popis: | The purpose of this paper is to work toward an explicit logic and semantics for a game theoretically inspired theory of action. The purpose of the logic is to explicate the conceptual machinery implicit in the dialogue-game model of rational discourse developed in Carlson (1983). A variety of ideas and techniques of modal and philosophical logic are used to define a model structure that generalizes the game theoretical notion of a game in extensive form (von Neumann and Morgenstern, 1944). Relative to this model structure, semantic characterizations are given to the action-theoretic notions oftime, possibility, belief, preference, ability, intention, action, andrationality. The unification of these characterizations under the game-theoretical paradigm leads to insights about the logical interdependences between these concepts. The resulting theory of rational interaction is applied to the explication of rational dialogue. The main benefit of the enterprise for a theory of rational dialogue is that concepts and results of game theory become accessible to the explication of dialogue. In particular, the task of proving the logical coherence of a discourse is reduced to the task of showing the rationality of strategy choices made in an associated dialogue game. |
Databáze: | OpenAIRE |
Externí odkaz: |