5 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
19494 | Fictionalism allows that simulated beliefs may be tracking real facts [Yablo] |
19493 | Governing possible worlds theory is the fiction that if something is possible, it happens in a world [Yablo] |