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.
|
14235
|
Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile]
|
|
Full Idea:
If the rule is asserted 'Given any well-determined objects, they can be collected into a set by an application of the 'set of' operation', then on the usual account of 'they' this is a tautology. Collection comes automatically with this form of reference.
|
|
From:
James Cargile (Paradoxes: Form and Predication [1979], p.115), quoted by Oliver,A/Smiley,T - What are Sets and What are they For? Intro
|
|
A reaction:
Is this a problem? Given they are well-determined (presumably implying countable) there just is a set of them. That's what set theory is, I thought. Of course, the iterative view talks of 'constructing' the sets, but the construction looks unstoppable.
|