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...
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Alemão |
| Хэвлэсэн: |
Éditions Kimé
2004-10-01
|
| Цуврал: | Philosophia Scientiæ |
| Онлайн хандалт: | https://journals.openedition.org/philosophiascientiae/567 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|