Falsity conditions for IF-sentences

Francien Dechesne

Philosophia Scientiae (2005)

  • Volume: 9, Issue: 2, page 305-322
  • ISSN: 1281-2463

Abstract

top
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 pairof Σ 1 1 -sentences. A result from [Burgess 2003] shows that, conversely, any pair of incompatible Σ 1 1 -sentences corresponds with an IF-sentence.

How to cite

top

Dechesne, Francien. "Falsity conditions for IF-sentences." Philosophia Scientiae 9.2 (2005): 305-322. <http://eudml.org/doc/103758>.

@article{Dechesne2005,
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 = {Dechesne, Francien},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {305-322},
publisher = {Éditions Kimé},
title = {Falsity conditions for IF-sentences},
url = {http://eudml.org/doc/103758},
volume = {9},
year = {2005},
}

TY - JOUR
AU - Dechesne, Francien
TI - Falsity conditions for IF-sentences
JO - Philosophia Scientiae
PY - 2005
PB - Éditions Kimé
VL - 9
IS - 2
SP - 305
EP - 322
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/103758
ER -

References

top
  1. [1] Benthem, Johan van2000.— Hintikka Self-Applied : an essay on the epistemic logic of imperfect information games, preliminary version of [Benthem 2005]. 
  2. [2] Benthem, Johan van2005.— 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. [3] Burgess, John2003.— A remark on Henkin sentences and their contraries, Notre Dame Journal of Formal Logic, 44(3), 185–188. Zbl1071.03023MR2130790
  4. [4] Caicedo, Xavier and Krynicki, Michal1999.— Quantifiers for reasoning with imperfect information and Σ 1 1 -logic, in Contemporary Mathematics, volume 235, American Mathematical Society, 1999 : 17–31. Zbl0935.03048MR1721228
  5. [5] Dechesne, Francien2005.— Games, Set, Maths : formal investigations into logic with imperfect information, Ph.D. thesis, SOBU : Tilburg University and Technische Universiteit Eindhoven, 2005. 
  6. [6] Fitting, Melvin1996.— First order logic and automated theorem proving, Graduate texts in computer science. Berlin : Springer Verlag, second edition, 1996. Zbl0848.68101MR1383320
  7. [7] Hintikka, Jaakko1996.— The Principles of Mathematics Revisited, Cambridge University Press, 1996. Zbl0897.03004MR1410063
  8. [8] Hodges, Wilfrid1997.— Compositional semantics for a language of imperfect information, Bulletin of the IGPL, 5 (4), 539–563, 1997. Zbl0945.03034MR1465612
  9. [9] Osborne, Martin J. & Rubinstein, Ariel1994.— A Course in Game Theory, MIT Press, 1994. Zbl1194.91003MR1301776
  10. [10] Sandu, Gabriel and Pietarinen, Ahti2001.— Partiality and games : Propositional logic, Logic Journal of the IGPL, 9(1), 101–121, 2001. Zbl0971.03031MR1813623
  11. [11] Sandu, Gabriel and Pietarinen, Ahti2003.— Informationally independent connectives, in G. Mints, and R. Muskens, (eds), Logic, Language and Computation, volume 9, 23–41. Stanford : CSLI publications, 2003. Zbl1038.03032MR2023258
  12. [12] Väänänen, Jouko2001.— Second order logic and the Foundations of Mathematics Bulletin of Symbolic Logic, 7, 504–520, 2001. Zbl1002.03013MR1867954
  13. [13] Väänänen, Jouko2002.— On the semantics of informational independence, Logic Journal of the IGPL, 10(3), 339–352, 2002. Zbl1005.03033MR1914464

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.