10 ideas
| 21699 | 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. |
| 10153 | In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski] |
| Full Idea: In everyday language it seems impossible to define the notion of truth or even to use this notion in a consistent manner and in agreement with the laws of logic. | |
| From: Alfred Tarski (works [1936]), quoted by Feferman / Feferman - Alfred Tarski: life and logic Int III | |
| A reaction: [1935] See Logic|Theory of Logic|Semantics of Logic for Tarski's approach to truth. |
| 19141 | Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson] |
| Full Idea: Tarski preferred an explicit definition of truth to axioms. He says axioms have a rather accidental character, only a definition can guarantee the continued consistency of the system, and it keeps truth in harmony with physical science and physicalism. | |
| From: report of Alfred Tarski (works [1936]) by Donald Davidson - Truth and Predication 2 n2 | |
| A reaction: Davidson's summary, gleaned from various sources in Tarski. A big challenge for modern axiom systems is to avoid inconsistency, which is extremely hard to do (given that set theory is not sure of having achieved it). |
| 10048 | There is no clear boundary between the logical and the non-logical [Tarski] |
| Full Idea: No objective grounds are known to me which permit us to draw a sharp boundary between the two groups of terms, the logical and the non-logical. | |
| From: Alfred Tarski (works [1936]), quoted by Alan Musgrave - Logicism Revisited §3 | |
| A reaction: Musgrave is pointing out that this is bad news if you want to 'reduce' something like arithmetic to logic. 'Logic' is a vague object. |
| 10694 | Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall] |
| Full Idea: Tarski's 1936 definition of logical consequence is that in any model in which the premises are true, the conclusion is true too (so that no model can make the conclusion false). | |
| From: report of Alfred Tarski (works [1936]) by JC Beall / G Restall - Logical Consequence 3 | |
| A reaction: So the general idea is that a logical consequence is distinguished by being unstoppable. Sounds good. But then we have monotonic and non-monotonic logics, which (I'm guessing) embody different notions of consequence. |
| 10479 | Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W] |
| Full Idea: Tarski's definition of logical consequence (1936) is that in a fully interpreted formal language an argument is valid iff under any allowed interpretation of its nonlogical symbols, if the premises are true then so is the conclusion. | |
| From: report of Alfred Tarski (works [1936]) by Wilfrid Hodges - Model Theory 3 | |
| A reaction: The idea that you can only make these claims 'under an interpretation' seems to have had a huge influence on later philosophical thinking. |
| 10157 | Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman] |
| Full Idea: Tarski found an elegant new axiom system for Euclidean geometry that improved Hilbert's earlier version - and he formulated it without the use of set-theoretical notions. | |
| From: report of Alfred Tarski (works [1936]) by Feferman / Feferman - Alfred Tarski: life and logic Ch.9 |
| 21700 | 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). |
| 21701 | 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). |
| 468 | 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? |