9766
|
Study vagueness first by its logic, then by its truth-conditions, and then its metaphysics [Fine,K]
|
|
Full Idea:
My investigation of vagueness began with the question 'What is the correct logic of vagueness?', which led to the further question 'What are the correct truth-conditions for a vague language?', which led to questions of meaning and existence.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], Intro)
|
|
A reaction:
This is the most perfect embodiment of the strategy of analytical philosophy which I have ever read. It is the strategy invented by Frege in the 'Grundlagen'. Is this still the way to go, or has this pathway slowly sunk into the swamp?
|
9775
|
Excluded Middle, and classical logic, may fail for vague predicates [Fine,K]
|
|
Full Idea:
Maybe classical logic fails for vagueness in Excluded Middle. If 'H bald ∨ ¬(H bald)' is true, then one disjunct is true. But if the second is true the first is false, and the sentence is either true or false, contrary to the borderline assumption.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], 4)
|
|
A reaction:
Fine goes on to argue against the implication that we need a special logic for vague predicates.
|
9768
|
Vagueness is semantic, a deficiency of meaning [Fine,K]
|
|
Full Idea:
I take vagueness to be a semantic feature, a deficiency of meaning. It is to be distinguished from generality, undecidability, and ambiguity.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], Intro)
|
|
A reaction:
Sounds good. If we cut nature at the joints with our language, then nature is going to be too subtle and vast for our finite and gerrymandered language, and so it will break down in tricky situations. But maybe epistemology precedes semantics?
|
9776
|
A thing might be vaguely vague, giving us higher-order vagueness [Fine,K]
|
|
Full Idea:
There is a possibility of 'higher-order vagueness'. The vague may be vague, or vaguely vague, and so on. If J has few hairs on his head than H, then he may be a borderline case of a borderline case.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], 5)
|
|
A reaction:
Such slim grey areas can also be characterised as those where you think he is definitely bald, but I am not so sure.
|
9770
|
Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
|
|
Full Idea:
With a three-value approach, if P is 'blob is pink' and R is 'blob is red', then P&P is indefinite, but P&R is false, and P∨P is indefinite, but P∨R is true. This means the connectives & and ∨ are not truth-functional.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], 1)
|
|
A reaction:
The point is that there could then be no logic in any way classical for vague sentences and three truth values. A powerful point.
|
9773
|
With the super-truth approach, the classical connectives continue to work [Fine,K]
|
|
Full Idea:
With the super-truth approach, if P is 'blob is pink' and R is 'blob is red', then P&R is false, and P∨R is true, since one of P and R is true and one is false in any complete and admissible specification. It encompasses all 'penumbral truths'.
|
|
From:
Kit Fine (Vagueness, Truth and Logic [1975], 3)
|
|
A reaction:
[See Idea 9767 for the super-truth approach, and Idea 9770 for a contrasting view] The approach, which seems quite appealing, is that we will in no circumstances give up basic classical logic, but we will make maximum concessions to vagueness.
|
13076
|
Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
The scholastics treated it as a step in the right explanatory direction to analyze a relational statement of the form 'aRb' into two subject-predicate statements, attributing different relational predicates to a and to b.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2.1)
|
|
A reaction:
The only alternative seems to be Russell's view of relations as pure universals, having a life of their own, quite apart from their relata. Or you could take them as properties of space, time (and powers?), external to the relata?
|
13102
|
If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
If we go for the necessity-of-origins view, A and B are different if the origin of A is different from the origin of B. But one is left with the further question 'When is the origin of A distinct from the origin of B?'
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
|
|
A reaction:
There may be an answer to this, in a regress of origins that support one another, but in the end the objection is obviously good. You can't begin to refer to an 'origin' if you can't identify anything in the first place.
|
13103
|
Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
Scholastics distinguished criteria of numerical difference from questions of individuation proper, since numerical difference is a symmetrical notion.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
|
|
A reaction:
This apparently old-fashioned point appears to be conclusively correct. Modern thinkers, though, aren't comfortable with proper individuation, because they don't believe in concepts like 'essence' and 'substance' that are needed for the job.
|
13104
|
Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
There is a contemporary property construal of haecceities, ...and a Scotistic construal as primitive, 'colourless' thisnesses which, unlike singleton-set haecceities, are aimed to do some explanatory work.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.4)
|
|
A reaction:
[He associates the contemporary account with David Kaplan] I suppose I would say that individuation is done by properties, but not by some single property, so I take it that I don't believe in haecceities at all. What individuates a haecceity?
|
13100
|
Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
We could think of 'substance' on the model of a mass noun, rather than a count noun.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.3)
|
|
A reaction:
They offer this to help Leibniz out of a mess, but I think he would be appalled. The proposal seems close to 'prime matter' in Aristotle, which never quite does the job required of it. The idea is nice, though, and should be taken seriously.
|
13068
|
We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
In the 'blueprint' approach to substance, we confront at least three questions: What is it for a thing to be an individual substance? What is it for a thing to be the kind of substance that it is? What is it to be that very individual substance?
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.1)
|
|
A reaction:
My working view is that the answer to the first question is that substance is essence, that the second question is overrated and parasitic on the third, and that the third is the key question, and also reduces to essence.
|
13069
|
The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
There is a widespread assumption, now and in the past, that substances are essentially substances: nothing is actually a substance but possibly a non-substance.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2)
|
|
A reaction:
It seems to me that they clearly mean, in this context, that substances are 'necessarily' substances, not that they are 'essentially' substances. I would just say that substances are essences, and leave the necessity question open.
|
13101
|
Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
A necessity-of-origins approach cannot work to distinguish things that come into being genuinely ex nihilo, and cannot work to distinguish things sharing a single origin.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
|
|
A reaction:
Since I am deeply suspicious of essentiality or necessity of origin (and they are not, I presume, the same thing) I like these two. Twins have always bothered me with the second case (where order of birth seems irrelevant).
|
13071
|
We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne]
|
|
Full Idea:
The philosopher comfortable with an 'order of being' has richer resources to make sense of the 'in virtue of' relation than that provided only by causal relations between states of affairs, positing in addition other sorts of explanatory relationships.
|
|
From:
Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2)
|
|
A reaction:
This might best be characterised as 'ontological dependence', and could be seen as a non-causal but fundamental explanatory relationship, and not one that has to depend on a theistic world view.
|
22486
|
The mistake is to think good grounds aren't enough for moral judgement, which also needs feelings [Foot]
|
|
Full Idea:
The mistake is to think that whatever 'grounds' for a moral judgement may have been given, someone may be unready, indeed unable, to make the moral judgement, because he has not got the attitude or feeling.
|
|
From:
Philippa Foot (Does Moral Subjectivism Rest on a Mistake? [1995], p.192)
|
|
A reaction:
This is roughly the Frege-Geach problem for expressivism, of how we still make moral judgements about situations where we ourselves are entirely disinterested (such as ancient historical events).
|