|
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.
|
|
8511
|
Stout first explicitly proposed that properties and relations are particulars [Stout,GF, by Campbell,K]
|
|
Full Idea:
In modern times, it was G.F. Stout who first explicitly made the proposal that properties and relations are as particular as the substances that they qualify.
|
|
From:
report of G.F. Stout (The Nature of Universals and Propositions [1923]) by Keith Campbell - The Metaphysic of Abstract Particulars §1
|
|
A reaction:
Note that relations will have to be tropes, as well as properties. Williams wants tropes to be parts of objects, but that will be tricky with relations. If you place two objects on a table, how does the 'to the left of' trope come into existence?
|
|
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.
|