Le raisonnement moral et juridique peut-il être vérifonctionnel ?
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 I...
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Article ou chapitre numérique |
| 言語: | Français |
| 出版事項: |
2006
|
| オンライン･アクセス: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| 要約: | 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. |
|---|