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] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |