Combining Texts

All the ideas for 'fragments/reports', 'Russell's Ontological Development' and 'On the General Idea of Proof Theory'

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


6 ideas

2. Reason / D. Definition / 12. Paraphrase
Russell offered a paraphrase of definite description, to avoid the commitment to objects [Quine]
     Full Idea: Russell's theory involved defining a term not by presenting a direct equivalent of it, but by 'paraphrasis', providing equivalents of the sentences. In this way, reference to fictitious objects can be simulated without our being committed to the objects.
     From: Willard Quine (Russell's Ontological Development [1966], p.75)
     A reaction: I hadn't quite grasped that the modern strategy of paraphrase tracks back to Russell - though it now looks obvious, thanks to Quine. Paraphrase is a beautiful way of sidestepping ontological problems. See Frege on the moons of Jupiter.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
     Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
     Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1)
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Taking sentences as the unit of meaning makes useful paraphrasing possible [Quine]
     Full Idea: The new freedom that Russell confers by paraphrasis (of definite descriptions) is our reward for recognising that the unit of communication is the sentence and not the word.
     From: Willard Quine (Russell's Ontological Development [1966], p.75)
     A reaction: Since many people hardly ever speak a properly formed sentence, I take propositions to be better candidates for this. However, I don't see how we can reject the compositional view (the meanings are assembled).
Knowing a word is knowing the meanings of sentences which contain it [Quine]
     Full Idea: We can say that knowing words is knowing how to work out the meanings of sentences containing them. Dictionary definitions are mere clauses in a recursive definition of the meanings of sentences.
     From: Willard Quine (Russell's Ontological Development [1966], p.76)
     A reaction: Do you have to recursively define all the sentences that might contain the word, before you can fully know the meaning of the word? He seems to credit Russell with the holistic view of sentences (though I think that starts with Frege).
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?