21 ideas
| 9307 | Modern Western culture suddenly appeared in Jena in the 1790s [Svendsen] |
| Full Idea: Foucault was right to say that Jena in the 1790s was the arena where the fundamental interests in modern Western culture suddenly had their breakthrough. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.2) | |
| A reaction: [Hölderlin, Novalis, Tieck, Schlegel, based on Kant and Fichte] Romanticism seems to have been born then. Is that the essence of modernism? Foucault and his pals are hoping to destroy the Enlightenment by ignoring it, but that is modern too. |
| 9297 | You can't understand love in terms of 'if and only if...' [Svendsen] |
| Full Idea: I once began reading a philosophical article on love. The following statement soon came up: 'Bob loves Kate if and only if...' At that point I stopped reading. Such a formalized approach was unsuitable, because the actual phenomenon would be lost. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Pref) | |
| A reaction: It is hard to disagree! However, if your best friend comes to you and says, 'I can't decide whether I am really in love with Kate; what do you think?', how are you going to respond. You offer 'if and only if..', but in a warm and sympathetic way! |
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| Full Idea: A logic is a collection of closely related artificial languages, and its older meaning is the study of the rules of sound argument. The languages can be used as a framework for studying rules of argument. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.1) | |
| A reaction: [Hodges then says he will stick to the languages] The suspicion is that one might confine the subject to the artificial languages simply because it is easier, and avoids the tricky philosophical questions. That approximates to computer programming. |
| 10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
| Full Idea: To have a truth-value, a first-order formula needs an 'interpretation' (I) of its constants, and a 'valuation' (ν) of its variables. Something in the world is attached to the constants; objects are attached to variables. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) |
| 10284 | There are three different standard presentations of semantics [Hodges,W] |
| Full Idea: Semantic rules can be presented in 'Tarski style', where the interpretation-plus-valuation is reduced to the same question for simpler formulas, or the 'Henkin-Hintikka style' in terms of games, or the 'Barwise-Etchemendy style' for computers. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.3) | |
| A reaction: I haven't yet got the hang of the latter two, but I note them to map the territory. |
| 10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
| Full Idea: I |= φ means that the formula φ is true in the interpretation I. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.5) | |
| A reaction: [There should be no space between the vertical and the two horizontals!] This contrasts with |-, which means 'is proved in'. That is a syntactic or proof-theoretic symbol, whereas |= is a semantic symbol (involving truth). |
| 10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
| Full Idea: Downward Löwenheim-Skolem (the weakest form): If L is a first-order language with at most countably many formulas, and T is a consistent theory in L. Then T has a model with at most countably many elements. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
| Full Idea: Upward Löwenheim-Skolem: every first-order theory with infinite models has arbitrarily large models. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) |
| 10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
| Full Idea: Compactness Theorem: suppose T is a first-order theory, ψ is a first-order sentence, and T entails ψ. Then there is a finite subset U of T such that U entails ψ. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.10) | |
| A reaction: If entailment is possible, it can be done finitely. |
| 10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
| Full Idea: A 'set' is a mathematically well-behaved class. | |
| From: Wilfrid Hodges (First-Order Logic [2001], 1.6) |
| 9308 | If subjective and objective begin to merge, then so do primary and secondary qualities [Svendsen] |
| Full Idea: It is doubtful whether the traditional dichotomy between the strictly subjective and the strictly objective can still be maintained; if not, we must also revise the distinction between primary and secondary qualities. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.3) | |
| A reaction: Very perceptive. The reason why I am so keen to hang onto the primary/secondary distinction is because I want to preserve objectivity (and realism). I much prefer Locke to Hume, as empiricist spokesmen. |
| 9309 | Emotions have intentional objects, while a mood is objectless [Svendsen] |
| Full Idea: An emotion normally has an intentional object, while a mood is objectless. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.3) | |
| A reaction: It doesn't follow that the object of the emotion is clearly understood, or even that it is conscious. One may experience rising anger while struggling to see what its object is. Artistic symbolism seems to involve objects that create moods. |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |
| 9304 | Death appears to be more frightening the less one has lived [Svendsen] |
| Full Idea: Death appears to be more frightening the less one has lived. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.2) | |
| A reaction: [He credits Adorno with this] A good thought, which should be immediately emailed to Epicurus for comment. Which is worse - to die when you have barely started your great work (Ramsey), or dying in full flow (Schubert)? |
| 9301 | Boredom is so radical that suicide could not overcome it; only never having existed would do it [Svendsen] |
| Full Idea: Boredom is so radical that it cannot even be overcome by suicide, only by something completely impossible - not to have existed at all. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.1) | |
| A reaction: [he cites Fernando Pessoa for this] The actor George Sanders left a suicide note saying that he was just bored. A cloud of boredom is left hanging in the air where he was. |
| 9302 | We are bored because everything comes to us fully encoded, and we want personal meaning [Svendsen] |
| Full Idea: Boredom results from a lack of personal meaning, which is due to the fact that all objects and actions come to us fully encoded, while we (as descendants of Romanticism) insist on a personal meaning. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.2) | |
| A reaction: This idea justifies me categorising Boredom under Existentialism. This is an excellent idea, and perfectly captures the experience of most teenagers, for whom it is impossible to impose a personal meaning on such a vast cultural reality. |
| 9310 | The profoundest boredom is boredom with boredom [Svendsen] |
| Full Idea: In the profound form of boredom, I am bored by boredom itself. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.3) | |
| A reaction: Boredom is boring, which is why I try to avoid it. Third-level boredom is a rather enchanting idea. It sounds remarkably similar to the Buddha experiencing enlightenment. |
| 9298 | We can be unaware that we are bored [Svendsen] |
| Full Idea: It is perfectly possible to be bored without being aware of the fact. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.1) | |
| A reaction: True. Also, I sometimes mistake indecision for boredom. It becomes very hard to say for certain whether you are bored. I am certain that I am bored if I am forced to do something which has no interest for me. The big one is free-but-bored. |
| 9311 | We have achieved a sort of utopia, and it is boring, so that is the end of utopias [Svendsen] |
| Full Idea: There can hardly be any new utopias. To the extent that we can imagine a utopia, it must already have been realised. A utopia cannot, by definition, include boredom, but the 'utopia' we are living in is boring. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.4) | |
| A reaction: Compare Idea 8989. Lots of people (including me) think that we have achieved a kind of liberal, democratic, individualistic 'utopia', but the community needs of people are not being met, so we still have a way to go. |
| 9303 | The concept of 'alienation' seems no longer applicable [Svendsen] |
| Full Idea: I do not believe that the concept of 'alienation' is all that applicable any more. | |
| From: Lars Svendsen (A Philosophy of Boredom [2005], Ch.1) | |
| A reaction: Interesting but puzzling. If alienation is the key existential phenomenon of a capitalist society, why should it fade away if we remain capitalist? He is proposing that it has metamorphosed into boredom, which may be a different sort of alienation. |