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.
We give a procedure to obtain falsity conditions for IF-sentences, using Skolemization. The expressive power of an IF-sentence can then be strongly captured by a pair of -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible -sentences corresponds with an IF-sentence.
@article{PHSC_2005__9_2_305_0,
author = {Dechesne, Francien},
title = {Falsity conditions for IF-sentences},
journal = {Philosophia Scientiae},
volume = {9},
year = {2005},
pages = {305-322},
language = {fr},
url = {http://dml.mathdoc.fr/item/PHSC_2005__9_2_305_0}
}
Dechesne, Francien. Falsity conditions for IF-sentences. Philosophia Scientiae, Tome 9 (2005) pp. 305-322. http://gdmltest.u-ga.fr/item/PHSC_2005__9_2_305_0/
[1] 2000.- Hintikka Self-Applied : an essay on the epistemic logic of imperfect information games, preliminary version of [Benthem 2005].
[2] 2005.- The epistemic logic behind IF-games, in R.E. Auxier and L.E. Hahn, (eds), The Philosophy of Jaakko Hintikka, volume 30 of Library of Living Philosophers, Southern Illinois University. Forthcoming.
[3] 2003.- A remark on Henkin sentences and their contraries, Notre Dame Journal of Formal Logic, 44(3), 185-188. | MR 2130790 | Zbl 1071.03023
[4] and 1999.- Quantifiers for reasoning with imperfect information and -logic, in Contemporary Mathematics, volume 235, American Mathematical Society, 1999 : 17-31. | MR 1721228 | Zbl 0935.03048
[5] 2005.- Games, Set, Maths : formal investigations into logic with imperfect information, Ph.D. thesis, SOBU : Tilburg University and Technische Universiteit Eindhoven, 2005.
[6] 1996.- First order logic and automated theorem proving, Graduate texts in computer science. Berlin : Springer Verlag, second edition, 1996. | MR 1383320 | Zbl 0848.68101
[7] 1996.- The Principles of Mathematics Revisited, Cambridge University Press, 1996. | MR 1410063 | Zbl 0897.03004
[8] 1997.- Compositional semantics for a language of imperfect information, Bulletin of the IGPL, 5 (4), 539-563, 1997. | MR 1465612 | Zbl 0945.03034
[9] & 1994.- A Course in Game Theory, MIT Press, 1994. | MR 1301776 | Zbl 1194.91003
[10] and 2001.- Partiality and games : Propositional logic, Logic Journal of the IGPL, 9(1), 101-121, 2001. | MR 1813623 | Zbl 0971.03031
[11] and 2003.- Informationally independent connectives, in G. Mints, and R. Muskens, (eds), Logic, Language and Computation, volume 9, 23-41. Stanford : CSLI publications, 2003. | MR 2023258 | Zbl 1038.03032
[12] 2001.- Second order logic and the Foundations of Mathematics Bulletin of Symbolic Logic, 7, 504-520, 2001. | MR 1867954 | Zbl 1002.03013
[13] 2002.- On the semantics of informational independence, Logic Journal of the IGPL, 10(3), 339-352, 2002. | MR 1914464 | Zbl 1005.03033