4 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. |
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. |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |