Preuves et jeux sémantiques
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 tr...
| Published in: | Philosophia Scientiæ |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | German |
| Published: |
Éditions Kimé
2004-10-01
|
| Online Access: | https://journals.openedition.org/philosophiascientiae/567 |