5 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] |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
9413 | An event is a change in or to an object [Lombard, by Mumford] |
3212 | Beliefs are maps by which we steer [Ramsey] |