8 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. |
18779 | 'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague] |
Full Idea: The expression 'The' turns out to play the role of a quantifier, in complete analogy with 'every' and 'a', and does not generate (in common with common noun phrases) denoting expressions | |
From: Richard Montague (English as a Formal Language [1970], p.216), quoted by Bernard Linsky - Quantification and Descriptions 4 | |
A reaction: Linsky says that it is now standard to interpret definite descriptions as quantifiers |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
Full Idea: The 'undetected' or 'veiled' paradox of Eubulides says: if you know your father, and don't know the veiled person before you, but that person is your father, you both know and don't know the same person. | |
From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
A reaction: Essentially an uninteresting equivocation on two senses of "know", but this paradox comes into its own when we try to give an account of how linguistic reference works. Frege's distinction of sense and reference tried to sort it out (Idea 4976). |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
Full Idea: The liar paradox of Eubulides says 'if you state that you are lying, and state the truth, then you are lying'. | |
From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
A reaction: (also Cic. Acad. 2.95) Don't say it, then. These kind of paradoxes of self-reference eventually lead to Russell's 'barber' paradox and his Theory of Types. |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
Full Idea: The 'sorites' paradox of Eubulides says: if you take one grain of sand from a heap (soros), what is left is still a heap; so no matter how many grains of sand you take one by one, the result is always a heap. | |
From: report of Eubulides (fragments/reports [c.390 BCE]) by R.M. Dancy - Megarian School | |
A reaction: (also Cic. Acad. 2.49) This is a very nice paradox, which goes to the heart of our bewilderment when we try to fully understand reality. It homes in on problems of identity, as best exemplified in the Ship of Theseus (Ideas 1212 + 1213). |