Falsity conditions for IF-sentences

F. Dechesne

Research output: Contribution to journalArticleAcademicpeer-review

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 -sentences. 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.
Original languageEnglish
Pages (from-to)305-322
Number of pages14
JournalPhilosophia Scientiae
Volume9
Issue number2
Publication statusPublished - 2005

    Fingerprint

Cite this

Dechesne, F. (2005). Falsity conditions for IF-sentences. Philosophia Scientiae, 9(2), 305-322.