Falsity Conditions for IF-Sentences
Résumé
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 Σ11-sentences1. A result from [Burgess 2003] shows that, conversely, any pair of incompatible Σ11-sentences corresponds with an IF-sentence.
In the second part, we reflect on the influence of the order of the steps (inside-out versus outside-in) in the Skolemization procedures for IF-logic. We also reflect on the nature of game theoretical negation.
Notes de l’auteur
The research project of the author is supported by the Samenwerkingsorgaan Brabantse Universiteiten (SOBU).
Pour citer cet article
Référence papier
Francien Dechesne, « Falsity Conditions for IF-Sentences », Philosophia Scientiæ, 9-2 | 2005, 305-322.
Référence électronique
Francien Dechesne, « Falsity Conditions for IF-Sentences », Philosophia Scientiæ [En ligne], 9-2 | 2005, mis en ligne le 15 juin 2011, consulté le 08 octobre 2024. URL : http://journals.openedition.org/philosophiascientiae/549 ; DOI : https://doi.org/10.4000/philosophiascientiae.549
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page
Flux RSS
