10 ideas
| 19323 | '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. |
| 19137 | 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. |
| 14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
| Full Idea: The Representational account of validity says an argument is valid if there is no situation where the premises are true and the conclusion false. The Interpretation account says the premises are true and conclusion false under no interpretations. | |
| From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
| A reaction: My immediate instinct is to want logic to be about situations, rather than interpretations. Situations are more about thought, where interpretations are more about language. I think our account of logic should have some applicability to animals. |
| 14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
| Full Idea: In Etchemendy's Interpretational Semantics (perhaps better called 'Substitutional') we keep the situation fixed and vary the interpretation; in Representational Semantics ('Modal'?) we keep interpretations fixed but consider varying situations. | |
| From: report of John Etchemendy (The Concept of Logical Consequence [1999]) by Stephen Read - Formal and Material Consequence 'Inval' | |
| A reaction: [compressed] These are semantic strategies for interpreting logic, so they are two ways you might go about assessing an argument. |
| 18935 | Semantic theory should specify when an act of naming is successful [Sawyer] |
| Full Idea: A semantic theory of names should deliver a specification of the conditions under which a name names an individual, and hence a specification of the conditions under which a name is empty. | |
| From: Sarah Sawyer (Empty Names [2012], 1) | |
| A reaction: Naming can be private, like naming my car 'Bertrand', but never tell anyone. I like Plato's remark that names are 'tools'. Do we specify conditions for successful spanner-usage? The first step must be individuation, preparatory to naming. |
| 18945 | Millians say a name just means its object [Sawyer] |
| Full Idea: The Millian view of direct reference says that the meaning of a name is the object named. | |
| From: Sarah Sawyer (Empty Names [2012], 4) | |
| A reaction: Any theory that says meaning somehow is features of the physical world strikes me as totally misguided. Napoleon is a man, so he can't be part of a sentence. He delegates that job to words (such as 'Napoleon'). |
| 18934 | Sentences with empty names can be understood, be co-referential, and even be true [Sawyer] |
| Full Idea: Some empty names sentences can be understood, so appear to be meaningful ('Pegasus was sired by Poseidon'), ...some appear to be co-referential ('Santa Claus'/'Father Christmas'), and some appear to be straightforwardly true ('Pegasus doesn't exist'). | |
| From: Sarah Sawyer (Empty Names [2012], 1) | |
| A reaction: Hang on to this, when the logicians arrive and start telling you that your talk of empty names is vacuous, because there is no object in the 'domain' to which a predicate can be attached. Meaning, reference and truth are the issues around empty names. |
| 18938 | Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer] |
| Full Idea: In Frege's account sentences such as 'Pegasus does not exist' will be neither true nor false, since the truth-value of a sentence is its referent, and the referent of a complex expression is determined by the referent of its parts. | |
| From: Sarah Sawyer (Empty Names [2012], 2) | |
| A reaction: We can keep the idea of 'sense', which is very useful for dealing with empty names, but tweak his account of truth-values to evade this problem. I'm thinking that meaning is compositional, but truth-value isn't. |
| 18947 | Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer] |
| Full Idea: If it were possible for a definite description to be empty - not in the sense of there being no object that satisfies it, but of there being no set of properties it refers to - the problem of empty names would not have been solved. | |
| From: Sarah Sawyer (Empty Names [2012], 5) | |
| A reaction: Swoyer is thinking of properties like 'is a unicorn', which are clearly just as vulnerable to being empty as 'the unicorn' was. It seems unlikely that 'horse', 'white' and 'horn' would be empty. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |