8 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] |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
22330 | Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock] |
18045 | Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor] |
18044 | Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor] |
18046 | Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor] |