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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Artigo |
| Jazyk: | Francês |
| Vydáno: |
Université de Lorraine
2004
|
| On-line přístup: | https://doi.org/10.4000/philosophiascientiae.567 https://hdl.handle.net/20.500.13089/j17m https://journals.openedition.org/philosophiascientiae/567 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|