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.
|
22103
|
Being is basic to thought, and all other concepts are additions to being [Aquinas]
|
|
Full Idea:
Being is inherently intellect's most intelligible object, in which it finds the basis of all conceptions. ...All of intellect's other conceptions must be arrived at by adding to being, insofar as they express what is not expressed by 'being' itself.
|
|
From:
Thomas Aquinas (Disputed questions about truth [1267], I.1c), quoted by Kretzmann/Stump - Aquinas, Thomas 09
|
|
A reaction:
I like the word 'intelligible' here. We might know reality, or be aware of appearances, but what is intelligible lies nicely in between. What would Berkeley make of that? I presume 'intelligible' means 'makes good sense'.
|
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.
|