Displaying similar documents to “Controversy in case of the interpretation of a probabilistic theorem of Nicole Oresme. (À propos d'une controverse au sujet de l'interprétation d'un théorème “probabiliste” de Nicole Oresme.)”

Preuves et jeux sémantiques

Denis Bonnay (2004)

Philosophia Scientiae

Similarity:

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...