Navigation – Plan du site

Falsity Conditions for IF-Sentences

Francien Dechesne
p. 305-322

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.

Haut de page

Notes de l’auteur

The research project of the author is supported by the Samenwerkingsorgaan Brabantse Universiteiten (SOBU).

Notes

1  Image 1.png

Haut de page

Pour citer cet article

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 26 juillet 2017. URL : http://philosophiascientiae.revues.org/549 ; DOI : 10.4000/philosophiascientiae.549

Haut de page

Auteur

Francien Dechesne

Department of Philosophy, Tilburg University, and Department of Computer Science, Technische Universiteit Eindhoven (The Netherlands)

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page