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

Logic
Expressive Power
Negation

Cite this

Dechesne, F. (2005). Falsity conditions for IF-sentences. Philosophia Scientiae, 9(2), 305-322.
Dechesne, F. / Falsity conditions for IF-sentences. In: Philosophia Scientiae. 2005 ; Vol. 9, No. 2. pp. 305-322.
@article{ebb2b8f069cd47728c701e9edb889d73,
title = "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 -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.",
author = "F. Dechesne",
year = "2005",
language = "English",
volume = "9",
pages = "305--322",
journal = "Philosophia Scientiae",
issn = "1281-2463",
publisher = "Numdam (Numerisation de Documents Anciens Mathematiques)",
number = "2",

}

Dechesne, F 2005, 'Falsity conditions for IF-sentences', Philosophia Scientiae, vol. 9, no. 2, pp. 305-322.

Falsity conditions for IF-sentences. / Dechesne, F.

In: Philosophia Scientiae, Vol. 9, No. 2, 2005, p. 305-322.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Falsity conditions for IF-sentences

AU - Dechesne, F.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

M3 - Article

VL - 9

SP - 305

EP - 322

JO - Philosophia Scientiae

JF - Philosophia Scientiae

SN - 1281-2463

IS - 2

ER -