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] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |