|
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.
|
|
16589
|
Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol]
|
|
Full Idea:
Prime matter has no essence, nor a nature that is determinate, distinct, and actual. Instead, it is pure potential, and determinable, so that it is indeterminately and indistinctly a material thing.
|
|
From:
Peter Auriol (Sentences [1316], II.12.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.1
|
|
A reaction:
Pasnau thinks Auriol has the best shot at explaining the vague idea of 'prime matter', with the thought that it exists, but indeterminateness is what gives it a lesser mode of existence. It strikes me as best to treat 'exist' as univocal.
|
|
19416
|
Not all of matter is animated, any more than a pond full of living fish is animated [Leibniz]
|
|
Full Idea:
It must not be said that each portion of matter is animated, just as we do not say that a pond full of fishes is an animated body, although a fish is.
|
|
From:
Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.190)
|
|
A reaction:
This is a particularly clear picture of the role of monads in matter. Monads are attached to bodies, which are entirely inanimate, but monads suffuse matter and give it its properties, like particularly bubbly champagne. Cf Idea 19422.
|
|
16651
|
God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol]
|
|
Full Idea:
If someone says 'God could make straightness without a line, and roughness and lightness in weight without parts', …then show me the reason why God can do whatever does not imply a contradiction, yet cannot do these things.
|
|
From:
Peter Auriol (Sentences [1316], IV.12.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 11.4
|
|
A reaction:
How engagingly bonkers. The key idea preceding this is that God can do all sorts of things that are beyond our understanding. He is then obliged to offer some examples.
|
|
19417
|
All substances are in harmony, even though separate, so they must have one divine cause [Leibniz]
|
|
Full Idea:
My system of Pre-established Harmony furnishes a new proof of God's existence, since it is manifest that the agreement of so many substances, of which the one has no influence upon the other, could only come from a general cause on which they all depend.
|
|
From:
Gottfried Leibniz (Principle of Life and Plastic Natures [1705], p.192)
|
|
A reaction:
Adjacent harmony seems self-explanatory, but remote harmony is interesting evidence for God. Hence modern quantum non-locality should make us all wonder whether there is a deeper explanation.
|