10 ideas
| 8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
| Full Idea: It is the quest for system and simplicity that has kept driving the scientist to posit further entities as values of his variables. By positing molecules, Boyles' law of gases could be assimilated into a general theory of bodies in motion. | |
| From: Willard Quine (On Multiplying Entities [1974], p.262) | |
| A reaction: Interesting that a desire for simplicity might lead to multiplications of entities. In fact, I presume molecules had been proposed elsewhere in science, and were adopted in gas-theory because they were thought to exist, not because simplicity is nice. |
| 8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
| Full Idea: In classical arithmetic, ratios were posited to make division generally applicable, negative numbers to make subtraction generally applicable, and irrationals and finally imaginaries to make exponentiation generally applicable. | |
| From: Willard Quine (On Multiplying Entities [1974], p.263) | |
| A reaction: This is part of Quine's proposal (c.f. Idea 8207) that entities have to be multiplied in order to produce simplicity. He is speculating. Maybe they are proposed because they are just obvious, and the generality is a nice side-effect. |
| 17990 | Instances of minimal truth miss out propositions inexpressible in current English [Hofweber] |
| Full Idea: A standard objection to minimalist truth is the 'incompleteness objection'. Since there are propositions inexpressible in present English the concept of truth isn't captured by all the instances of the Tarski biconditional. | |
| From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 5.3) | |
| A reaction: Sounds like a good objection. |
| 15571 | The idea of an atemporal realm of validity is as implausible as medieval theology [Heidegger] |
| Full Idea: The whole idea of an atemporal realm of validity is an invention that is no less doubtful than medieval speculation about angels. | |
| From: Martin Heidegger (Basic Problems of Phenomenology [1927], p.215), quoted by Richard Polt - Heidegger: an introduction 2 'Theory' | |
| A reaction: This seems to be flatly opposed to the view of Frege, and shows why continental philosophy has largely eschewed a study of logic. It is hard for a philosopher to pursue logic extensively without commitment to the Fregean Third Realm. |
| 17988 | Quantification can't all be substitutional; some reference is obviously to objects [Hofweber] |
| Full Idea: The view that all quantification is substitutional is not very plausible in general. Some uses of quantifiers clearly seem to have the function to make a claim about a domain of objects out there, no matter how they relate to the terms in our language. | |
| From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.1) | |
| A reaction: Robust realists like myself are hardly going to say that quantification is just an internal language game. |
| 8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
| Full Idea: An account of events just in terms of physical bodies does not distinguish between events that happen to take up just the same portion of space-time. A man's whistling and walking would be identified with the same temporal segment of the man. | |
| From: Willard Quine (On Multiplying Entities [1974], p.260) | |
| A reaction: We wouldn't want to make his 'walking' and his 'strolling' two events. Whistling and walking are different because different objects are involved (lips and legs). Hence a man is not (ontologically) a single object. |
| 17989 | Since properties have properties, there can be a typed or a type-free theory of them [Hofweber] |
| Full Idea: Since properties themselves can have properties there is a well-known division in the theory of properties between those who take a typed and those who take a type-free approach. | |
| From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 2.2) | |
| A reaction: A typed approach would imply restrictions on what it can be a property of. 'Green' is a property of surfaces, 'dark' is a property of colours. My first reaction is to opt for type-free. |
| 8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
| Full Idea: The need to add a note of necessity to 'all black crows are black' could be met by a generalisation over classes (what belongs to sets x and y belongs to y), or maybe be quantifying over possible particulars. | |
| From: Willard Quine (On Multiplying Entities [1974], p.262) | |
| A reaction: He dislikes the second strategy because 'unactualized particulars are an obscure and troublesome lot'. The second is the strategy of Lewis. I think necessity starts to creep back in as soon as you ask WHY a generalisation holds true. |
| 17991 | Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber] |
| Full Idea: Holism says that nothing that can be said in one language can be said in another one. The expressibility hypothesis says that everything that can be said in one language can be said in every other one. | |
| From: Thomas Hofweber (Inexpressible Properties and Propositions [2006], 6.4) | |
| A reaction: Obviously expressibility would only refer to reasonably comprehensive languages (with basic logical connectives, for example). Personally I vote for the expressibility hypothesis, which Hofweber seems to favour. |
| 15581 | Dasein is always only that which it has chosen to be [Heidegger] |
| Full Idea: Dasein is always only that which it has chosen to be. | |
| From: Martin Heidegger (Basic Problems of Phenomenology [1927], p.278), quoted by Richard Polt - Heidegger: an introduction 3.§39-42 | |
| A reaction: I take it as significant that this is what it 'has' chosen, and not what it now 'chooses'. I might accept that my mode of existence results from past choices, but certainly not that I can choose it now. Ossified brain. |