4 ideas
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
10245 | One geometry cannot be more true than another [Poincaré] |
15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |