18 ideas
| 13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
| Full Idea: Statements of the form '"it is snowing" is true if and only if it is snowing' and '"the world war will begin in 1963" is true if and only if the world war will being in 1963' can be regarded as partial definitions of the concept of truth. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.404) | |
| A reaction: The key word here is 'partial'. Truth is defined, presumably, when every such translation from the object language has been articulated, which is presumably impossible, given the infinity of concatenated phrases possible in a sentence. |
| 13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
| Full Idea: For a language, we must enumerate the primitive terms, and the rules of definition for new terms. Then we must distinguish the sentences, and separate out the axioms from amng them, and finally add rules of inference. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.402) | |
| A reaction: [compressed] This lays down the standard modern procedure for defining a logical language. Once all of this is in place, we then add a semantics and we are in business. Natural deduction tries to do without the axioms. |
| 14650 | Maybe proper names involve essentialism [Plantinga] |
| Full Idea: Perhaps the notion of a proper name itself involves essentialism. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.43) | |
| A reaction: This is just before Kripke's announcement of 'rigid designation', which seems to have relaunched modern essentialism. The thought is that you can't name something, if you don't have a stable notion of what is (and isn't) being named. |
| 13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
| Full Idea: Semantics is the totality of considerations concerning concepts which express connections between expressions of a language and objects and states of affairs referred to by these expressions. Examples are denotation, satisfaction, definition and truth. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.401) | |
| A reaction: Interestingly, he notes that it 'is not commonly recognised' that truth is part of semantics. Nowadays truth seems to be the central concept in most semantics. |
| 13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
| Full Idea: People have not been aware that the language about which we speak need by no means coincide with the language in which we speak. ..But the language which contains its own semantics must inevitably be inconsistent. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.402) | |
| A reaction: It seems that Tarski was driven to propose the metalanguage approach mainly by the Liar Paradox. |
| 13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
| Full Idea: Here is a partial definition of the concept of satisfaction: John and Peter satisfy the sentential function 'X and Y are brothers' if and only if John and Peter are brothers. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.405) | |
| A reaction: Satisfaction applies to open sentences and truth to closed sentences (with named objects). He uses the notion of total satisfaction to define truth. The example is a partial definition, not just an illustration. |
| 13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
| Full Idea: It has been found useful in defining semantical concepts to deal first with the concept of satisfaction; both because the definition of this concept presents relatively few difficulties, and because the other semantical concepts are easily reduced to it. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.406) | |
| A reaction: See Idea 13339 for his explanation of satisfaction. We just say that a open sentence is 'acceptable' or 'assertible' (or even 'true') when particular values are assigned to the variables. Then sentence is then 'satisfied'. |
| 13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
| Full Idea: Using the definition of truth we are in a position to carry out the proof of consistency for deductive theories in which only (materially) true sentences are (formally) provable. | |
| From: Alfred Tarski (The Establishment of Scientific Semantics [1936], p.407) | |
| A reaction: This is evidently what Tarski saw as the most important first fruit of his new semantic theory of truth. |
| 14648 | Could I name all of the real numbers in one fell swoop? Call them all 'Charley'? [Plantinga] |
| Full Idea: Can't I name all the real numbers in the interval (0,1) at once? Couldn't I name them all 'Charley', for example? | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.40) | |
| A reaction: Plantinga is nervous about such a sweeping move, but can't think of an objection. This addresses a big problem, I think - that you are supposed to accept the real numbers when we cannot possibly name them all. |
| 14647 | Surely self-identity is essential to Socrates? [Plantinga] |
| Full Idea: If anything is essential to Socrates, surely self-identity is. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.37) | |
| A reaction: This is the modern move of Plantinga and Adams, to make 'is identical with Socrates' the one property which assures the identity of Socrates (his 'haecceity'). My view is that self-identity is not a property. Plantinga wonders about that on p.44. |
| 14646 | An object has a property essentially if it couldn't conceivably have lacked it [Plantinga] |
| Full Idea: An object has a property essentially just in case it couldn't conceivably have lacked that property. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.35) | |
| A reaction: Making it depend on what we can conceive seems a bit dubious, for someone committed to real essences. The key issue is how narrowly or broadly you interpret the word 'property'. The word 'object' needs a bit of thought, too! |
| 14649 | Can we find an appropriate 'de dicto' paraphrase for any 'de re' proposition? [Plantinga] |
| Full Idea: To explain the 'de re' via the 'de dicto' is to provide a rule enabling us to find, for each de re proposition, an equivalent de dicto proposition. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.41) | |
| A reaction: Many 'de dicto' paraphrases will change the modality of a 'de re' statement, so the challenge is to find the right equivalent version. Plantinga takes up this challenge. The 'de dicto' statement says the object has the property, and must have it. |
| 14642 | Expressing modality about a statement is 'de dicto'; expressing it of property-possession is 'de re' [Plantinga] |
| Full Idea: Some statements predicate modality of another statement (modality 'de dicto'); but others predicate of an object the necessary or essential possession of a property; these latter express modality 'de re'. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.26) | |
| A reaction: The distinction seems to originate in Aquinas, concerning whether God knows the future (or, how he knows the future). 'De dicto' is straightforward, but possibly the result of convention. 'De re' is controversial, and implies deep metaphysics. |
| 14643 | 'De dicto' true and 'de re' false is possible, and so is 'de dicto' false and 'de re' true [Plantinga] |
| Full Idea: Aquinas says if a 'de dicto' statement is true, the 'de re' version may be false. The opposite also applies: 'What I am thinking of [17] is essentially prime' is true, but 'The proposition "what I am thinking of is prime" is necessarily true' is false. | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.27) | |
| A reaction: In his examples the first is 'de re' (about the number), and the second is 'de dicto' (about that proposition). |
| 14651 | What Socrates could have been, and could have become, are different? [Plantinga] |
| Full Idea: Is there a difference between what Socrates could have been, and what he could have become? | |
| From: Alvin Plantinga (De Re and De Dicto [1969], p.44) | |
| A reaction: That is, I take it, 1) how different might he have been in the past, given how he is now?, and 2) how different might he have been in the past, and now, if he had permanently diverged from how he is now? 1) has tight constraints on it. |
| 20949 | Study the use of words, not their origins [Herder] |
| Full Idea: Not how an expression can be etymologically derived and determined analytically, but how it is used is the question. Origin and use are often very different. | |
| From: Johann Gottfried Herder (works [1784], p.153), quoted by Andrew Bowie - Introduction to German Philosophy 2 'Herder' | |
| A reaction: This doesn't quite say that meaning is use, and is basically an attack on the Etymological Fallacy (that origin gives meaning), but it is a strikingly modern view of language. |
| 7669 | We cannot attain all the ideals of every culture, so there cannot be a perfect life [Herder, by Berlin] |
| Full Idea: For Herder, we cannot attain to the highest ideals of all the centuries and all the places at once, and since we cannot do that, the whole notion of the perfect life collapses. | |
| From: report of Johann Gottfried Herder (works [1784]) by Isaiah Berlin - The Roots of Romanticism Ch.3 | |
| A reaction: Herder seems to be the father of modern cultural relativism. The idea is hard to challenge, but the ideals of some cultures should be ignored, if they diminish rather than enhance the good life for all. |
| 7668 | Herder invented the idea of being rooted in (or cut off from) a home or a group [Herder, by Berlin] |
| Full Idea: The whole notion of being at home, or being cut off from one's natural roots, the whole idea of roots, the whole idea of belonging to a group, a sect, a movement, was largely invented by Herder. | |
| From: report of Johann Gottfried Herder (works [1784], Ch.3) by Isaiah Berlin - The Roots of Romanticism | |
| A reaction: Hm. Broad generalisations are an awful temptation in the history of ideas. As a corrective to this, trying reading the two Anglo-Saxon poems 'The Wanderer' and 'The Seafarer'. Very Germanic, I suppose. Interesting, though. Leads to Hegel's politics. |