Qu'est-ce que la réalité ? Les réponses de Quine et de H. Zwirn
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
|
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |