Independence and games
Philosophia Scientiae (2005)
- Volume: 9, Issue: 2, page 295-304
- ISSN: 1281-2463
Access Full Article
topAbstract
topHow to cite
topBonnay, Denis. "Independence and games." Philosophia Scientiae 9.2 (2005): 295-304. <http://eudml.org/doc/103757>.
@article{Bonnay2005,
abstract = {La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques arguments techniques et philosophiques en faveur de IF, en montrant pourquoi son concept d’indépendance, élargi aux connecteurs, peut prétendre être pleinement général, et en montrant en quel sens la logique IF traite l’indépendance de manière analytique. Ce dernier point est réalisé à travers une explicitation du contenu épistémique de IF, sous la forme d’une traduction partielle dans la logique modale.},
author = {Bonnay, Denis},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {295-304},
publisher = {Éditions Kimé},
title = {Independence and games},
url = {http://eudml.org/doc/103757},
volume = {9},
year = {2005},
}
TY - JOUR
AU - Bonnay, Denis
TI - Independence and games
JO - Philosophia Scientiae
PY - 2005
PB - Éditions Kimé
VL - 9
IS - 2
SP - 295
EP - 304
AB - La logique IF prétend constituer une alternative à la logique classique du premier ordre : en libéralisant les schémas de dépendance entre quantificateurs, elle mènerait à leur terme les idées sous-jacentes à la logique classique. Mais les jeux de Hintikka ne constituent pas la seule manière possible de fournir une sémantique pour l’indépendance : on pourrait au contraire vouloir le faire dans le cadre d’une sémantique récursive avec des quantificateurs de Henkin. Nous présentons ici quelques arguments techniques et philosophiques en faveur de IF, en montrant pourquoi son concept d’indépendance, élargi aux connecteurs, peut prétendre être pleinement général, et en montrant en quel sens la logique IF traite l’indépendance de manière analytique. Ce dernier point est réalisé à travers une explicitation du contenu épistémique de IF, sous la forme d’une traduction partielle dans la logique modale.
LA - fre
UR - http://eudml.org/doc/103757
ER -
References
top- [1] van Benthem, Johan 200 ?.— ’Hintikka Self-applied’ : an essay on the epistemic logic of imperfect information games, to appear in Lewis Hahn, (ed.), Hintikka Volume, Library of Living Philosophers.
- [2] van Benthem, Johan 2002.— Extensive Games as Process Models, Journal of Logic, Language and Information, vol 11 (3) : 289–313. Zbl1003.03530MR1909616
- [3] van Benthem, Johan 2001.— Logic in Games, Lecture notes ILLC.
- [4] Hintikka, Jaakko1996.— The principles of mathematics revisited, Cambridge : Cambridge University Press. Zbl0897.03004MR1410063
- [5] Hintikka, Jaakko, & Sandu, Gabriel1994.— What is a quantifier ?, Synthese, 98 : 113–129. MR1262118
- [6] Hodges, Wilfrid1997.— Compositional Semantics for a Language of Imperfect Information, Journal of the Interest Group in Pure and Applied Logics, 5 (4) : 539–563. Zbl0945.03034MR1465612
- [7] Pietarinen Ahti 2002.— Independence-friendly logic and incomplete information, talk at PILM 2002, Nancy.
- [8] Sher, Gila1991.— The Bounds of Logic, Cambridge : MIT Press. MR1203778
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.