Philosophia Scientiae 8 (2):105-123 (2004)

Denis Bonnay
Université Paris Nanterre
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
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.4000/philosophiascientiae.567
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,694
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Between Proof and Truth.Julien Boyer & Gabriel Sandu - 2012 - Synthese 187 (3):821-832.
Games and Logic.Gabriel Sandu - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
The Philosophy of Jaakko Hintikka.Paul Gochet - 2009 - Diogenes 56 (4):101-121.

Add more citations

Similar books and articles

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.].
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.].
Simulation de Mecanismes Sémantiques.T. Sauvan - 1968 - Dialectica 22 (3‐4):247-259.
Les preuves de l'existence de dieu.H. Geurtsen - 1948 - Bijdragen 9 (3):285-291.
Preuves de pouvoir.Ludger Schwarte - 2013 - Rue Descartes 77 (1):20.
Preuves par excellence.Jacques Dubucs & Sandra Lapointe - 2003 - Philosophiques 30 (1):219-234.


Added to PP index

Total views
15 ( #663,008 of 2,438,592 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,592 )

How can I increase my downloads?


My notes