Combining Texts

All the ideas for 'fragments/reports', 'Nominalism and Substitutional Quantifiers' and 'Truth Rehabilitated'

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


23 ideas

3. Truth / A. Truth Problems / 3. Value of Truth
Without truth, both language and thought are impossible [Davidson]
     Full Idea: Without a grasp of the concept of truth, not only language, but thought itself, is impossible.
     From: Donald Davidson (Truth Rehabilitated [1997], p.16)
     A reaction: Davidson never mentions animals, but I like this idea because it points to importance of truth for animals as well. I say that truth is relevant to any mind that makes judgements - and quite small animals (e.g. ants and spiders) make judgements.
Plato's Forms confused truth with the most eminent truths, so only Truth itself is completely true [Davidson]
     Full Idea: Plato's conflation of abstract universals with entities of supreme value reinforced the confusion of truth with the most eminent truths. …The only perfect exemplar of a Form is the Form itself, …and only truth itself is completely true.
     From: Donald Davidson (Truth Rehabilitated [1997], p.3)
     A reaction: Even non-subscribers to Plato often talk as if there were some grand thing called the Truth with a capital T, quite often used in a religious context. Truth is the hallmark of successful (non-fanciful) thought.
Truth can't be a goal, because we can neither recognise it nor confim it [Davidson]
     Full Idea: Since it is neither visible as a target, nor recognisable when achieved, there is no point in calling truth a goal. We should only aim at increasing confidence in our beliefs, by collecting further evidence or checking our calculations.
     From: Donald Davidson (Truth Rehabilitated [1997], P.6)
     A reaction: This is mainly aimed at pragmatists, but Davidson obviously subscribes (as do I) to their fallibilist view of knowledge.
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence can't be defined, but it shows how truth depends on the world [Davidson]
     Full Idea: Correspondence, while it is empty as a definition, does capture the thought that truth depends on how the world is.
     From: Donald Davidson (Truth Rehabilitated [1997], p.16)
     A reaction: Just don't try to give a precise account of the correspondence between two things (thoughts and facts) which are so utterly different in character.
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
When Tarski defines truth for different languages, how do we know it is a single concept? [Davidson]
     Full Idea: We have to wonder how we know that it is some single concept which Tarski indicates how to define for each of a number of well-behaved languages.
     From: Donald Davidson (Truth Rehabilitated [1997], P.11)
     A reaction: Davidson says that Tarski makes the assumption that it is a single concept, but fails to demonstrate the fact. This resembles Frege's Julius Caesar problem - of how you know whether your number definition has defined a number.
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Disquotation only accounts for truth if the metalanguage contains the object language [Davidson]
     Full Idea: Disquotation cannot pretend to give a complete account of the concept of truth, since it works only in the special case where the metalanguage contains the object language. Neither can contain their own truth predicate.
     From: Donald Davidson (Truth Rehabilitated [1997], p.10)
     A reaction: Presumably more sophisticated and complete accounts would need a further account of translation between languages - which explains Quine's interest in that topic. […see this essay, p.12]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
     Full Idea: The nominalist finds that standard semantics shackles him to first-order languages if, as nominalists are wont, he is to make do without abstract higher order objects.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Aha! Since I am pursuing a generally nominalist strategy in metaphysics, I suddenly see that I must adopt a hostile attitude to higher-order logic! Maybe plural quantification is the way to go, with just first-order objects.
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
     Full Idea: The tendency has been to call any expression a 'name', however distant from the grammatical category of nouns, provided it is seen as referring.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
     Full Idea: For a nominalist with an ontology of empirically distinguishable objects, proper names are seen as a primary vehicle of reference.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
5. Theory of Logic / G. Quantification / 1. Quantification
Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
     Full Idea: For the nominalist, at level zero, where substituends are referring names, the quantifiers may be read existentially. Beyond level zero, the variables and quantifiers are read sustitutionally (though it is unclear whether this program is feasible).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
     Full Idea: An adequate language for referring to infinitely many objects would seem to require variables and quantifiers in addition to names.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.164)
Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
     Full Idea: On a substitutional semantics of a first-order language, a domain of objects is not specified. Variables do not range over objects. They are place markers for substituends (..and sentences are true-for-all-names, or true-for-at-least-one-name).
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.165)
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
     Full Idea: It has been suggested that a substitutional semantics for quantification theory lends itself to nominalistic aims.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.161)
Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
     Full Idea: Translation into a substitutional language does not force the ontology. It remains, literally, and until the case for reference can be made, a façon de parler. That is the way the nominalist would like to keep it.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
     Full Idea: Critics say if there are nondenumerably many objects, then on the substitutional view there might be true universal sentences falsified by an unnamed object, and there must always be some such, for names are denumerable.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
     A reaction: [See Quine 'Reply to Prof. Marcus' p.183] The problem seems to be that there would be names which are theoretically denumerable, but not nameable, and hence not available for substitution. Marcus rejects this, citing compactness.
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Is being just referent of the verb 'to be'? [Marcus (Barcan)]
     Full Idea: Being itself has been viewed as referent of the verb 'to be'.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.162)
7. Existence / D. Theories of Reality / 8. Facts / e. Facts rejected
If we try to identify facts precisely, they all melt into one (as the Slingshot Argument proves) [Davidson]
     Full Idea: If we try to provide a serious semantics for reference to facts, we discover that they melt into one; there is no telling them apart. The relevant argument (the 'Slingshot') was credited to Frege by Alonso Church.
     From: Donald Davidson (Truth Rehabilitated [1997], p.5)
     A reaction: This sounds like good grounds for not attempting to be too precise. 'There are bluebells in my local wood' identifies a fact by words, but even an animal can distinguish this fact. Only a logician dreams of making its content precise.
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
     Full Idea: Nominalists have the major task of explaining how predicates work. They usually construct it as a relation between individuals, or deny the referential function of predicates.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.163)
9. Objects / A. Existence of Objects / 3. Objects in Thought
If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
     Full Idea: If objects are thoughts, aren't we back to psychologism?
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.166)
     A reaction: Personally I don't think that would be the end of the world, but Fregeans go into paroxyms at the mention of 'psychology', because they fear that it destroys objectivity. That may be because they haven't understood thought properly.
9. Objects / F. Identity among Objects / 2. Defining Identity
Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
     Full Idea: Substitutivity 'salve veritate' cannot define identity since two expressions may be everywhere intersubstitutable and not refer at all.
     From: Ruth Barcan Marcus (Nominalism and Substitutional Quantifiers [1978], p.167)
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Knowing the potential truth conditions of a sentence is necessary and sufficient for understanding [Davidson]
     Full Idea: It is clear that someone who knows under what conditions a sentence would be true understands that sentence, …and if someone does not know under what conditions it would be true then they do not understand it.
     From: Donald Davidson (Truth Rehabilitated [1997], p.13)
     A reaction: I've always subscribed to this view. Langauge is meaningless if you can't relate it to reality, and I don't think there could be a language without an intuitive notion of truth.
19. Language / A. Nature of Meaning / 6. Meaning as Use
It could be that the use of a sentence is explained by its truth conditions [Davidson]
     Full Idea: It may be that sentences are used as they are because of their truth conditions, and they have the truth conditions they do because of how they are used.
     From: Donald Davidson (Truth Rehabilitated [1997], p.13)
     A reaction: I've always taken the attempt to explain meaning by use as absurd. It is similar to trying to explain mind in terms of function. In each case, what is the intrinsic nature of the thing, which makes that use or that function possible?
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?