Displaying similar documents to “Cœur et nucléolus des jeux de recouvrement”

Preuves et jeux sémantiques

Denis Bonnay (2004)

Philosophia Scientiae


Hintikka makes a distinction between two kinds of games: truth-constituting 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...