8 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
7876 | Even if we identify pain with neural events, we can't explain why those neurons cause that feeling [Levine, by Papineau] |
Full Idea: Materialists identify pain with the firing of nociceptive-specific neurons in the parietal cortex. Even so, Levine argues, we will still lack any explanation of why nociceptive-specific neurons yield pain. | |
From: report of Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: [Proposed by Levine in 1983] I don't think we need to instantly go dualist when faced with this, but we may all eventually have to concede a bit of mysterianism. The explanation may be holistic (and hence hopelessly complex). |
7877 | Only phenomenal states have an explanatory gap; water is fully explained by H2O [Levine, by Papineau] |
Full Idea: Levine says the explanatory gap is peculiar to phenomenal states. Once water has been identified with H2O, or temperature with mean kinetic energy, we do not continue to ask why H2O yields water, or why mean kinetic energy yields temperature. | |
From: report of Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: Everything is mysterious if you think about if for long enough. What about a representational gap? Why do those neurons represent that tree (if the neurons aren't tree-shaped)? To understand qualia, we must understand the whole brain, I suspect. |
7878 | Materialism won't explain phenomenal properties, because the latter aren't seen in causal roles [Papineau on Levine] |
Full Idea: We cannot give materialist explanations of why brain yields phenomenal properties because phenomenal concepts are not associated with descriptions of causal roles in the same way as pre-theoretical terms in other areas of science. | |
From: comment on Joseph Levine (Purple Haze [2001]) by David Papineau - Thinking about Consciousness 5.1 | |
A reaction: I think Papineau has part of the answer, and I certainly like his notion of Conceptual Dualism, but if qualia are physical, there must be a physical account of how they acquire their properties. I think the whole brain needs to be understood first. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |