Navigation – Plan du site
Deuxième partie : Théorie sémantique des jeux (GTS)

Preuves et jeux sémantiques

Denis Bonnay
p. 105-123

Résumé

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 seen

Haut de page

Notes de l’auteur

Une version très préliminaire des résultats de la section 3 a été présentée lors du septième workshop ”Games in Logic, Language and Computation” organisé à Amsterdam le 28 novembre 2002. Je remercie Serge Bozon et Jacques Dubucs pour leurs suggestions fécondes.

Texte intégral

Texte intégral en libre accès disponible depuis le 01 octobre 2007.

Haut de page

Pour citer cet article

Référence électronique

Denis Bonnay, « Preuves et jeux sémantiques », Philosophia Scientiæ [En ligne], 8-2 | 2004, mis en ligne le 01 octobre 2007, consulté le 31 juillet 2014. URL : http://philosophiascientiae.revues.org/567 ; DOI : 10.4000/philosophiascientiae.567

Haut de page

Auteur

Denis Bonnay

IHPST / University Paris I

Articles du même auteur

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page