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.
|
19424
|
Knowledge needs clarity, distinctness, and adequacy, and it should be intuitive [Leibniz]
|
|
Full Idea:
Knowledge is either obscure or clear; clear ideas are either indistinct or distinct; distinct ideas are either adequate or inadequate, symbolic or intuitive; perfect knowledge is that which is both adequate and intuitive.
|
|
From:
Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.283)
|
|
A reaction:
This is Leibniz's expansion of Descartes's idea that knowledge rests on 'clear and distinct conceptions'. The ultimate target seems to be close to an Aristotelian 'real definition', which is comprehensive and precise. Does 'intuitive' mean coherent?
|
19554
|
Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne]
|
|
Full Idea:
How could we know that P and Q but not be in a position to know that P (as deniers of closure must say)? If my glass is full of wine, we know 'g is full of wine, and not full of non-wine'. How can we deny that we know it is not full of non-wine?
|
|
From:
John Hawthorne (The Case for Closure [2005], 2)
|
|
A reaction:
Hawthorne merely raises this doubt. Dretske is concerned with heavyweight implications, but how do you accept lightweight implications like this one, and then suddenly reject them when they become too heavy? [see p.49]
|
19425
|
In the schools the Four Causes are just lumped together in a very obscure way [Leibniz]
|
|
Full Idea:
In the schools the four causes are lumped together as material, formal, efficient, and final causes, but they have no clear definitions, and I would call such a judgment 'obscure'.
|
|
From:
Gottfried Leibniz (Reflections on Knowledge, Truth and Ideas [1684], p.283)
|
|
A reaction:
He picks this to illustrate what he means by 'obscure', so he must feel strongly about it. Elsewhere Leibniz embraces efficient and final causes, but says little of the other two. This immediately become clearer as the Four Modes of Explanation.
|