Navigation – Plan du site

AccueilNuméros9-2Falsity 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.

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 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 19 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/549 ; DOI : https://doi.org/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

Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.

Haut de page
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search