Skip to navigation – Site map

HomeNuméros9-2Falsity Conditions for IF-Sentences

Abstract

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.

Top of page

Author’s notes

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

Notes

1  Image 1.png

Top of page

References

Bibliographical reference

Francien Dechesne, Falsity Conditions for IF-SentencesPhilosophia Scientiæ, 9-2 | 2005, 305-322.

Electronic reference

Francien Dechesne, Falsity Conditions for IF-SentencesPhilosophia Scientiæ [Online], 9-2 | 2005, Online since 15 June 2011, connection on 04 November 2024. URL: http://journals.openedition.org/philosophiascientiae/549; DOI: https://doi.org/10.4000/philosophiascientiae.549

Top of page

About the author

Francien Dechesne

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

Top of page

Copyright

The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.

Top of page
Search OpenEdition Search

You will be redirected to OpenEdition Search