6 ideas
| 13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
| Full Idea: Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects. | |
| From: comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414 | |
| A reaction: This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear. |
| 13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
| Full Idea: In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments. | |
| From: Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3 | |
| A reaction: This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view. |
| 9182 | Ancient names like 'Obadiah' depend on tradition, not on where the name originated [Dummett] |
| Full Idea: In the case of 'Obadiah', associated only with one act of writing a prophecy, ..it is the tradition which connects our use of the name with the man; where the actual name itself first came from has little to do with it. | |
| From: Michael Dummett (Frege's Distinction of Sense and Reference [1975], p.256) | |
| A reaction: Excellent. This seems to me a much more accurate account of reference than the notion of a baptism. In the case of 'Homer', whether someone was ever baptised thus is of no importance to us. The tradition is everything. Also Shakespeare. |
| 9181 | The causal theory of reference can't distinguish just hearing a name from knowing its use [Dummett] |
| Full Idea: The causal theory of reference, in a full-blown form, makes it impossible to distinguish between knowing the use of a proper name and simply having heard the name and recognising it as a name. | |
| From: Michael Dummett (Frege's Distinction of Sense and Reference [1975], p.254) | |
| A reaction: None of these things are all-or-nothing. I have an inkling of how to use it once I realise it is a name. Of course you could be causally connected to a name and not even realise that it was a name, so something more is needed. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |