Falsity Conditions for IF-Sentences
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...
| Published in: | Philosophia Scientiæ |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | German |
| Published: |
Éditions Kimé
2005-11-01
|
| Online Access: | https://journals.openedition.org/philosophiascientiae/549 |