11 ideas
| 18812 | Split out the logical vocabulary, make an assignment to the rest. It's logical if premises and conclusion match [Tarski, by Rumfitt] |
| Full Idea: Tarski made a division of logical and non-logical vocabulary. He then defined a model as a non-logical assignment satisfying the corresponding sentential function. Then a conclusion follows logically if every model of the premises models the conclusion. | |
| From: report of Alfred Tarski (The Concept of Logical Consequence [1936]) by Ian Rumfitt - The Boundary Stones of Thought 3.2 | |
| A reaction: [compressed] This is Tarski's account of logical consequence, which follows on from his account of truth. 'Logical validity' is then 'true in every model'. Rumfitt doubts whether Tarski has given the meaning of 'logical consequence'. |
| 13344 | X follows from sentences K iff every model of K also models X [Tarski] |
| Full Idea: The sentence X follows logically from the sentences of the class K if and only if every model of the class K is also a model of the sentence X. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
| A reaction: [see Idea 13343 for his account of a 'model'] He is offering to define logical consequence in general, but this definition fits what we now call 'semantic consequence', written |=. This it is standard practice to read |= as 'models'. |
| 13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
| Full Idea: An arbitrary sequence of objects which satisfies every sentential function of the sentences L' will be called a 'model' or realization of the class L of sentences. There can also be a model of a single sentence is this way. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.417) | |
| A reaction: [L' is L with the constants replaced by variables] Tarski is the originator of model theory, which is central to modern logic. The word 'realization' is a helpful indicator of what he has in mind. A model begins to look like a possible world. |
| 13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
| Full Idea: A class of sentences can be called 'analytical' if every sequence of objects is a model of it. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.418) | |
| A reaction: See Idea 13344 and Idea 13343 for the context of this assertion. |
| 20180 | A happy and joyous life must largely be a quiet life [Russell] |
| Full Idea: A happy life must to a great extent be a quiet life, for it is only in an atmosphere of quiet that true joy can live. | |
| From: Bertrand Russell (The Conquest of Happiness [1930], 4) | |
| A reaction: Most people's image of happiness is absorption in an interesting task, or relaxing in good company. The idea that happiness is wild excitement exists, but is a minority view. |
| 20177 | Boredom always involves not being fully occupied [Russell] |
| Full Idea: It is one of the essentials of boredom that one's faculties must not be fully occupied. | |
| From: Bertrand Russell (The Conquest of Happiness [1930], 4) | |
| A reaction: He gives running for your life as an example of non-boredom. I suspect that this is only the sort of boredom that troubled Russell, and not the sort of profound boredom that led the actor George Sanders to suicide (according to his last note). |
| 20179 | Happiness involves enduring boredom, and the young should be taught this [Russell] |
| Full Idea: A certain power of enduring boredom is essential to a happy life, and is one of the things that ought to be taught to the young. | |
| From: Bertrand Russell (The Conquest of Happiness [1930], 4) | |
| A reaction: As an example he suggests that Wordsworth would never have written 'The Prelude' is he had never been bored when young. Which suggests that Russell doesn't really get boredom, seeing it merely as a stimulus to work. |
| 20176 | Boredom is an increasingly strong motivating power [Russell] |
| Full Idea: Boredom has been, I believe, one of the great motive powers throughout the historical epoch, and is so at the present day more than ever. | |
| From: Bertrand Russell (The Conquest of Happiness [1930], 4) | |
| A reaction: Most of his essay tells us how to avoid boredom, rather than how it motivates. |
| 20178 | Life is now more interesting, but boredom is more frightening [Russell] |
| Full Idea: We are less bored than our ancestors were, but we are more afraid of boredom | |
| From: Bertrand Russell (The Conquest of Happiness [1930], 4) | |
| A reaction: I get the impression that the invention of the powerful mobile phone has largely banished boredom from human life, except when you are obliged to switch it off. The fear of boredom may hence be even greater now. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |