5 ideas
| 12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
| Full Idea: Do we attribute a logical form to a sentence token because it is a token of a type with that form, or do we attribute a logical form to a sentence type because it is a type of a token with that form? | |
| From: Kit Fine (Quine on Quantifying In [1990], p.110) | |
| A reaction: Since I believe in propositions (as the unambiguous thought that lies behind a sentence), I take it that logical form concerns propositions, though strict logicians don't like this, for fear that logic spills into psychology. |
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
| Full Idea: Substitutional quantification may be regarded as referential quantification over expressions. | |
| From: Kit Fine (Quine on Quantifying In [1990], p.124) | |
| A reaction: This is an illuminating gloss. Does such quantification involve some ontological commitment to expressions? I feel an infinite regress looming. |
| 579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
| Full Idea: Cratylus was appalled that Heraclitus said you could not step twice into the same river, because it was already going too far to admit stepping into the same river once. | |
| From: report of Cratylus (fragments/reports [c.425 BCE]) by Aristotle - Metaphysics 1010a | |
| A reaction: Compare Idea 427. |
| 578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
| Full Idea: Cratylus thought speech of any kind was radically inappropriate and that expression should be restricted exclusively to the movement of the finger. | |
| From: report of Cratylus (fragments/reports [c.425 BCE]) by Aristotle - Metaphysics 1010a |