Synthese 145 (3):371 - 395 (2005)
|Abstract||I argue that the medieval form of dialectical disputation known as obligationes can be viewed as a logical game of consistency maintenance. The game has two participants, Opponent and Respondent. Opponent puts forward a proposition P; Respondent must concede, deny or doubt, on the basis of inferential relations between P and previously accepted or denied propositions, or, in case there is none, on the basis of the common set of beliefs. Respondent loses the game if he concedes a contradictory set of propositions. Opponent loses the game if Respondent is able to maintain consistency during the stipulated period of time. The obligational rules are here formalised by means of familiar notational devices, and the application of some game-theoretical concepts, such as (winning) strategy, moves, motivation, allows for an analysis of some crucial properties of the game. In particular, the primacy of inferential (syntactic) relations over semantic aspects and the dynamic character of obligations are outlined.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Chris Freiling (1984). Banach Games. Journal of Symbolic Logic 49 (2):343-375.
Arcady Blinov (1994). Semantic Games with Chance Moves. Synthese 99 (3):311 - 327.
Melvin Fitting (2011). Reasoning About Games. Studia Logica 99 (1-3):143-169.
Johan Van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2):183 - 203.
Johan van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2).
Giacomo Bonanno (2001). Branching Time, Perfect Information Games and Backward Induction. Games and Economic Behavior 36 (1):57-73.
Catarina Dutilh Novaes (2006). Ralph Strode's Obligationes: The Return of Consistency and the Epistemic Turn. Vivarium 44 (s 2-3):338-374.
Catarina Dutilh Novaes (2011). Medieval Obligationes as a Theory of Discursive Commitment Management. Vivarium 49 (1-3):240-257.
Catarina Dutilh Novaes (2006). Roger Swyneshed's Obligationes: A Logical Game of Inference Recognition? Synthese 151 (1):125 - 153.
Added to index2009-01-28
Total downloads6 ( #145,615 of 549,084 )
Recent downloads (6 months)1 ( #63,317 of 549,084 )
How can I increase my downloads?