Combining Texts

All the ideas for 'Idealism: a critical survey', 'Tarski on Truth and Logical Consequence' and 'Why Propositions cannot be concrete'

unexpand these ideas     |    start again     |     specify just one area for these texts


8 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy]
     Full Idea: The difference between (a) snow is white, and (b) 'snow is white' true is that the first makes a claim that only depends on the colour of snow, while the second depends both on the colour of snow and the meaning of the sentence 'snow is white'.
     From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.61), quoted by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.7
     A reaction: This is a helpful first step for those who have reached screaming point by being continually offered this apparently vacuous equivalence. This sentence works well if that stuff is a particular colour.
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy]
     Full Idea: Getting from a Tarskian definition of truth to a substantive account of the semantic properties of the object language may involve as little as the reintroduction of a primitive notion of truth.
     From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.60), quoted by Donald Davidson - Truth and Predication 1
     A reaction: This is, I think, the first stage in modern developments of axiomatic truth theories. The first problem would be to make sure you haven't reintroduced the Liar Paradox. You need axioms to give behaviour to the 'true' predicate.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
We can no more expect a precise definition of coherence than we can of the moral ideal [Ewing]
     Full Idea: I think it is wrong to tie down the advocates of the coherence theory to a precise definition. ...It would be altogether unreasonable to demand that the moral ideal should be exhaustively defined, and the same may be true of the ideal of thought.
     From: A.C. Ewing (Idealism: a critical survey [1934], p.231), quoted by Erik J. Olsson - Against Coherence 7.6
     A reaction: I strongly agree. It is not a council of despair. I think the criteria of coherence can be articulated quite well (e.g by Thagard), and the virtues of enquiry can also be quite well specified (e.g. by Zagzebski). Very dissimilar evidence must cohere.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
If undetailed, 'coherence' is just a vague words that covers all possible arguments [Ewing]
     Full Idea: Without a detailed account, coherence is reduced to the mere muttering of the word 'coherence', which can be interpreted so as to cover all arguments, but only by making its meaning so wide as to rob it of almost all significance.
     From: A.C. Ewing (Idealism: a critical survey [1934], p.246), quoted by Erik J. Olsson - Against Coherence 2.2
     A reaction: I'm a fan of coherence, but it is a placeholder, involving no intrinsic or detailed theory. I just think it points to the reality of how we make judgements, especially practical ones. We can categorise the inputs, and explain the required virtues.
18. Thought / E. Abstraction / 1. Abstract Thought
The idea of abstract objects is not ontological; it comes from the epistemological idea of abstraction [Plantinga]
     Full Idea: The notion of an abstract object comes from the notion of abstraction; it is in origin an epistemological rather than an ontological category.
     From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.232)
     A reaction: Etymology doesn't prove anything. However, if you define abstract objects as not existing in space or time, you must recognise that this may only be because that is how humans imaginatively created them in the first place.
Theists may see abstract objects as really divine thoughts [Plantinga]
     Full Idea: Theists may find attractive a view popular among medieval philosophers from Augustine on: that abstract objects are really divine thoughts. More exactly, propositions are divine thoughts, properties divine concepts, and sets divine collections.
     From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.233)
     A reaction: Hm. I pass this on because we should be aware that there is a theological history to discussions of abstract objects, and some people have vested interests in keeping them outside of the natural world. Aren't properties natural? Does God gerrymander sets?
19. Language / D. Propositions / 3. Concrete Propositions
If propositions are concrete they don't have to exist, and so they can't be necessary truths [Plantinga]
     Full Idea: Someone who believes propositions are concrete cannot agree that some propositions are necessary. For propositions are contingent beings, and could have failed to exist. But if they fail to exist, then they fail to be true.
     From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.230)
     A reaction: [compressed] He implies the actual existence of an infinity of trivial, boring or ridiculous necessary truths. I suspect that he is just confusing a thought with its content. Or we might just treat necessary propositions as hypothetical.
19. Language / D. Propositions / 4. Mental Propositions
Propositions can't just be in brains, because 'there are no human beings' might be true [Plantinga]
     Full Idea: If propositions are brain inscriptions, then if there had been no human beings there would have been no propositions. But then 'there are no human beings' would have been true, so there would have been at least one truth (and thus one proposition).
     From: Alvin Plantinga (Why Propositions cannot be concrete [1993], p.229)
     A reaction: This would make 'there are no x's' true for any value of x apart from actual objects, which implies an infinity of propositions. Does Plantinga really believe that these all exist? He may be confusing propositions with facts.