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] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |
651 | Eurytus showed that numbers underlie things by making pictures of creatures out of pebbles [Eurytus, by Aristotle] |