Independence and games
Philosophia Scientiae 9 (2):295-304 (2005)
Abstract
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.Résumé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 modaleAuthor's Profile
DOI
10.4000/philosophiascientiae.547
My notes
Similar books and articles
On the logic of informational independence and its applications.Gabriel Sandu - 1993 - Journal of Philosophical Logic 22 (1):29 - 60.
Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Independence-friendly logic and games of incomplete information.Ahti-Veikko Pietarinen - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 243--259.
Generalized externality games.Paula Corcho & José Luis Ferreira - 2003 - Theory and Decision 54 (2):163-184.
Independence in Operator Algebras.StanisŁaw Goldstein, Andrzej Łuczak & Ivan F. Wilde - 1999 - Foundations of Physics 29 (1):79-89.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun.Peter Roeper & Hugues Leblanc - 1997 - Dialogue 36 (1):137-.
Coalitional Interval Games for Strategic Games in Which Players Cooperate.Luisa Carpente, Balbina Casas-Méndez, Ignacio García-Jurado & Anne van den Nouweland - 2008 - Theory and Decision 65 (3):253-269.
Games with a local permission structure: separation of authority and value generation. [REVIEW]René van den Brink & Chris Dietz - 2014 - Theory and Decision 76 (3):343-361.
Analytics
Added to PP
2014-01-18
Downloads
16 (#669,635)
6 months
1 (#450,425)
2014-01-18
Downloads
16 (#669,635)
6 months
1 (#450,425)
Historical graph of downloads