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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Article ou chapitre numérique |
| اللغة: | Français |
| منشور في: |
2004
|
| الوصول للمادة أونلاين: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |