Preuves et jeux sémantiques
Philosophia Scientiae 8 (2):105-123 (2004)
Abstract
Hintikka makes a distinction between two kinds of games: truthconstituting games and truth-seeking games. His well-known game-theoretical semantics for first-order classical logic and its independence-friendly extension belongs to the first class of games. In order to ground Hintikka’s claim that truth-constituting games are genuine verification and falsification games that make explicit the language games underlying the use of logical constants, it would be desirable to establish a substantial link between these two kinds of games. Adapting a result from Thierry Coquand, we propose such a link, based on a slight modification of Hintikka’s games, in which we allow backward playing for ∃loïse. In this new setting, it can be proven that sequent rules for first-order logic, including the cut rule, are admissible, in the sense that for each rule, there exists an algorithm which turns winning strategies for the premisses into a winning strategy for the conclusion. Thus, proofs, as results of truth-seeking games, can be seenAuthor's Profile
My notes
Similar books and articles
Athéna, Apollon, Dionysos et les autres. Panthéons de terre cuite : jeux de poses, jeux de rôles.Annie-France Laurens - 1998 - Kernos 11:35-62.
Les jeux sur Facebook : quelques paradoxes du gratuit et du convivial.Valérie Arrault & Emmanuelle Jacques - 2012 - Hermès: La Revue Cognition, communication, politique 62 (1):, [ p.].
Athéna, Apollon, Dionysos et les autres. Panthéons de terre cuite: jeux de poses, jeux de rôles. À propos de regroupements de dieux sur quelques vases attiques de la fin du VIe siècle.Annie-France Laurens - 1998 - Kernos 11:35-62.
L'augustinisme des preuves cartésiennes de l'existence de Dieu.Laurence Devillairs - 2004 - Archives de Philosophie 1 (1):23-50.
Jeux d’argent en ligne. Le double discours français contre l’addiction.Nicolas Oliveri - 2012 - Hermès: La Revue Cognition, communication, politique 62 (1):, [ p.].
Prendre Soin: Anamnèse, Témoignages, Aveux, Preuves documentaires.Jean-Pierre Lucas - 2011 - Études Ricoeuriennes / Ricoeur Studies 2 (1):179-197.
Jeux virtuels. Aspects socio- cognitifs et sémiotiques.Jacques Perriault - 2012 - Hermès: La Revue Cognition, communication, politique 62 (1):, [ p.].
Perspectives rhétoriques sur les problèmes semantiques.Ch Perelman - 1974 - Logique Et Analyse 67 (67):241.
Analytics
Added to PP
2014-01-18
Downloads
15 (#699,827)
6 months
1 (#448,551)
2014-01-18
Downloads
15 (#699,827)
6 months
1 (#448,551)
Historical graph of downloads