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.
|
15563
|
Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis]
|
|
Full Idea:
Properties are abundant, numbering at least beth-3 for properties of individuals alone; they are suited to serve as semantic values of arbitrarily complex predicates and gerunds, and higher-order variables. (If there are universals, they are sparse).
|
|
From:
David Lewis (Events [1986], II n2)
|
|
A reaction:
To me this is an outrageous hijacking of the notion of property which is needed for explaining the natural world. He seems to be talking about predicates. He wants to leave me with his silly universals - well I don't want them, thank you.
|
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.
|
13857
|
Truth-functional possibilities include the irrelevant, which is a mistake [Edgington]
|
|
Full Idea:
How likely is a fair die landing on an even number to land six? My approach is, assume an even number, so three possibilities, one a six, so 'one third'; the truth-functional approach is it's true if it is not-even or six, so 'two-thirds'.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 3)
|
|
A reaction:
The point is that in the truth-functional approach, if the die lands not-even, then the conditional comes out as true, when she says it should be irrelevant. She seems to be right about this.
|
13853
|
It is a mistake to think that conditionals are statements about how the world is [Edgington]
|
|
Full Idea:
The mistake philosophers have made, in trying to understand the conditional, is to assume that its function is to make a statement about how the world is (or how other possible worlds are related to it), true or false, as the case may be.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1)
|
|
A reaction:
'If pigs could fly we would never catch them' may not be about the world, but 'if you press this switch the light comes on' seems to be. Actually even the first one is about the world. I've an inkling that Edgington is wrong about this. Powers!
|
13854
|
Conditionals express what would be the outcome, given some supposition [Edgington]
|
|
Full Idea:
It is often necessary to suppose (or assume) that some epistemic possibility is true, and to consider what else would be the case, or would be likely to be the case, given this supposition. The conditional expresses the outcome of such thought processes.
|
|
From:
Dorothy Edgington (Do Conditionals Have Truth Conditions? [1986], 1)
|
|
A reaction:
This is the basic Edgington view. It seems to involve an active thought process, and imagination, rather than being the static semantic relations offered by possible worlds analyses. True conditionals state relationships in the world.
|