Independence and games
Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic. But they are alternatives to Hintikka’s game-theoretic approach; one could us...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2005-11-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/547 |
| _version_ | 1797402521422004224 |
|---|---|
| author | Denis Bonnay |
| author_facet | Denis Bonnay |
| author_sort | Denis Bonnay |
| collection | DOAJ |
| description | Hintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic. But they are alternatives to Hintikka’s game-theoretic approach; one could use instead Henkin quantifiers. We will present here some arguments of both technical and philosophical nature in favor of IF. We will show that its notion of independence, once extended to connectives, can indeed claim to be fully general, and that IF logic provides an analysis of independence patterns. This last point will be argued for thanks to an explanation of the epistemic content of IF, through a partial translation into modal logic. |
| first_indexed | 2024-03-09T02:25:28Z |
| format | Article |
| id | doaj.art-2b5df2a37e1c46fb970e4a9a5d5b1df8 |
| institution | Directory Open Access Journal |
| issn | 1281-2463 1775-4283 |
| language | deu |
| last_indexed | 2024-03-09T02:25:28Z |
| publishDate | 2005-11-01 |
| publisher | Éditions Kimé |
| record_format | Article |
| series | Philosophia Scientiæ |
| spelling | doaj.art-2b5df2a37e1c46fb970e4a9a5d5b1df82023-12-06T15:54:15ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832005-11-019229530410.4000/philosophiascientiae.547Independence and gamesDenis BonnayHintikka and Sandu have developed IF logic as a genuine alternative to classical first-order logic : liberalizing dependence schemas between quantifiers, IF would carry out all the ideas already underlying classical logic. But they are alternatives to Hintikka’s game-theoretic approach; one could use instead Henkin quantifiers. We will present here some arguments of both technical and philosophical nature in favor of IF. We will show that its notion of independence, once extended to connectives, can indeed claim to be fully general, and that IF logic provides an analysis of independence patterns. This last point will be argued for thanks to an explanation of the epistemic content of IF, through a partial translation into modal logic.http://journals.openedition.org/philosophiascientiae/547 |
| spellingShingle | Denis Bonnay Independence and games Philosophia Scientiæ |
| title | Independence and games |
| title_full | Independence and games |
| title_fullStr | Independence and games |
| title_full_unstemmed | Independence and games |
| title_short | Independence and games |
| title_sort | independence and games |
| url | http://journals.openedition.org/philosophiascientiae/547 |
| work_keys_str_mv | AT denisbonnay independenceandgames |