Navigation – Plan du site

AccueilNuméros8-2Deuxième partie : Théorie sémanti...Preuves et jeux sémantiques

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.

Pour citer cet article

Référence papier

Denis Bonnay, « Preuves et jeux sémantiques »Philosophia Scientiæ, 8-2 | 2004, 105-123.

Référence électronique

Denis Bonnay, « Preuves et jeux sémantiques »Philosophia Scientiæ [En ligne], 8-2 | 2004, mis en ligne le 15 juin 2011, consulté le 18 avril 2024. URL : http://journals.openedition.org/philosophiascientiae/567 ; DOI : https://doi.org/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

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search