|
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.
|
|
9390
|
Logic guides thinking, but it isn't a substitute for it [Rumfitt]
|
|
Full Idea:
Logic is part of a normative theory of thinking, not a substitute for thinking.
|
|
From:
Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.13)
|
|
A reaction:
There is some sort of logicians' dream, going back to Leibniz, of a reasoning engine, which accepts propositions and outputs inferences. I agree with this idea. People who excel at logic are often, it seems to me, modest at philosophy.
|
|
9389
|
Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
|
|
Full Idea:
Vagueness in respect of membership is consistency with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of a concept.
|
|
From:
Ian Rumfitt (The Logic of Boundaryless Concepts [2007], p.5)
|
|
A reaction:
I find this view of sets much more appealing than the one that identifies a set with its members. The empty set is less of a problem, as well as non-existents. Logicians prefer the extensional view because it is tidy.
|
|
6019
|
If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]
|
|
Full Idea:
If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist.
|
|
From:
Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11
|
|
A reaction:
Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance?
|