|
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?
|
|
21918
|
Sufficient Reason can't be proved, because all proof presupposes it [Schopenhauer, by Lewis,PB]
|
|
Full Idea:
Schopenhauer said the principle of sufficient reason is not susceptible to proof for the simple reason that it is presupposed in any argument or proof.
|
|
From:
report of Arthur Schopenhauer (Fourfold Root of Princ of Sufficient Reason [1813], §14 p.32-3) by Peter B. Lewis - Schopenhauer 3
|
|
A reaction:
I would have thought it might be disproved by a counterexample, such as the Gödel sentence of his incompleteness proof, or quantum effects which seem to elude causation. Personally I believe the principle, which I see as the first axiom of philosophy.
|
|
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.
|
|
21362
|
Necessity is physical, logical, mathematical or moral [Schopenhauer, by Janaway]
|
|
Full Idea:
For Schopenauer there are physical necessity, logical necessity, mathematical necessity and moral necessity.
|
|
From:
report of Arthur Schopenhauer (Fourfold Root of Princ of Sufficient Reason [1813]) by Christopher Janaway - Schopenhauer 2 'Fourfold'
|
|
A reaction:
These derive from four modes of explanation, by causes, by grounding in truths or facts, by mathematical reality, and by motives. Not clear why mathematics gets its own necessity. I like metaphysics derived from explanations, though. Necessity makers.
|
|
21361
|
For Schopenhauer, material things would not exist without the mind [Schopenhauer, by Janaway]
|
|
Full Idea:
Schopenhauer is not a realist about material things, but an idealist: that is, material things would not exist, for him, without the mind.
|
|
From:
report of Arthur Schopenhauer (Fourfold Root of Princ of Sufficient Reason [1813]) by Christopher Janaway - Schopenhauer 2 'Fourfold'
|
|
A reaction:
Janaway places his views as close to Kant's, but it is not clear that Kant would agree that no mind means no world. Did Schopenhauer believe in the noumenon?
|
|
2748
|
A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J]
|
|
Full Idea:
Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth").
|
|
From:
report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1
|
|
A reaction:
This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that.
|
|
21917
|
The four explanations: objects by causes, concepts by ground, maths by spacetime, ethics by motive [Schopenhauer, by Lewis,PB]
|
|
Full Idea:
There are four forms of explanation, depending on their topic. Causes explain objects. Grounding explains concepts, Points and moments explain mathematics. Motives explain ethics.
|
|
From:
report of Arthur Schopenhauer (Fourfold Root of Princ of Sufficient Reason [1813], §43 p.214) by Peter B. Lewis - Schopenhauer 3
|
|
A reaction:
[My compression of Lewis's summary. I'm particularly pleased with this. I have done Schopenhauer a huge favour, should anyone ever visit this website]. The quirky account of mathematics derives from Kant. I greatly admire this whole idea.
|