Falsity 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.
Author’s notes
The research project of the author is supported by the Samenwerkingsorgaan Brabantse Universiteiten (SOBU).
References
Bibliographical reference
Francien Dechesne, “Falsity Conditions for IF-Sentences”, Philosophia Scientiæ, 9-2 | 2005, 305-322.
Electronic reference
Francien Dechesne, “Falsity Conditions for IF-Sentences”, Philosophia 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 pageCopyright
The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.
Top of page