2764
|
Full coherence might involve consistency and mutual entailment of all propositions [Blanshard, by Dancy,J]
|
|
Full Idea:
Blanshard says that in a fully coherent system there would not only be consistency, but every proposition would be entailed by the others, and no proposition would stand outside the system.
|
|
From:
report of Brand Blanshard (The Nature of Thought [1939], 2:265) by Jonathan Dancy - Intro to Contemporary Epistemology 8.1
|
|
A reaction:
Hm. If a proposition is entailed by the others, then it is a necessary truth (given the others) which sounds deterministic. You could predict all the truths you had never encountered. See 1578:178 for quote.
|
19080
|
Coherence tests for truth without implying correspondence, so truth is not correspondence [Blanshard, by Young,JO]
|
|
Full Idea:
Blanshard said that coherent justification leads to coherence truth. It might be said that coherence is a test for truth, but truth is correspondence. But coherence doesn't guarantee correspondence, and coherence is a test, so truth is not correspondence.
|
|
From:
report of Brand Blanshard (The Nature of Thought [1939], Ch.26) by James O. Young - The Coherence Theory of Truth §2.2
|
|
A reaction:
[compression of Young's summary] Rescher (1973) says that Blanshard's argument depends on coherence being an infallible test for truth, which it isn't.
|
8942
|
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
|
|
Full Idea:
In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'.
|
|
From:
report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic
|
|
A reaction:
[He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I.
|