12 ideas
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 2.4 | |
| A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions. |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations | |
| A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject. |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4 |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10 |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl) | |
| A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass. |
| 9052 | Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith] |
| Full Idea: In a slogan, Unger's thesis is that all vague predicates lack application ('nihilism', says Williamson). Classical logic can be retained in its entirety. There are no borderline cases: for vague F, everything is not F; nothing is either F or borderline F. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
| A reaction: Vague F could be translated as 'I'm quite tempted to apply F', in which case Unger is right. This would go with Russell's view. Logic and reason need precise concepts. The only strategy with vagueness is to reason hypothetically. |
| 16070 | There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman] |
| Full Idea: Eliminativism is often associated with Unger, who defends 'mereological nihilism', that there are no composite objects (objects with proper parts); there are only mereological simples (with no proper parts). The nihilist denies statues and ships. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by Ryan Wasserman - Material Constitution 4 | |
| A reaction: The puzzle here is that he has a very clear notion of identity for the simples, but somehow bars combinations from having identity. So identity is simplicity? 'Complex identity' doesn't sound like an oxymoron. We're stuck if there are no simples. |
| 3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
| Full Idea: Freud thinks that our unconscious mental states exist as occurrent intrinsic intentional states even when unconscious. Their ontology is that of the mental, even when they are unconscious. | |
| From: report of Sigmund Freud (works [1900]) by John Searle - The Rediscovery of the Mind Ch. 7.V | |
| A reaction: Searle states this view in order to attack it. Whether such states are labelled as 'mental' seems uninteresting. Whether unconscious states can be intentional is crucial, and modern scientific understanding of the brain strongly suggest they can. |
| 5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
| Full Idea: Freud persuaded many that beliefs, wishes and feelings are sometimes unconscious, and even sceptics about Freud acknowledge that there is self-deception about motive and attitudes. | |
| From: report of Sigmund Freud (works [1900]) by Sydney Shoemaker - Introspection p.396 | |
| A reaction: This seems to me obviously correct. The traditional notion is that the consciousness is the mind, but now it seems obvious that consciousness is only one part of the mind, and maybe even a peripheral (epiphenomenal) part of it. |
| 23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
| Full Idea: Freud argued that the passions in general …were the pressures of a yet unknown 'quantity' (which he simply designated 'Q'). He first thought this flowed through neurones, …and always couched the idea in the language of hydraulics. | |
| From: report of Sigmund Freud (works [1900]) by Robert C. Solomon - The Passions 3.4 | |
| A reaction: This is the main target of Solomon's criticism, because its imagery has become so widespread. It leads to talk of suppressing emotions, or sublimating them. However, it is not too different from Nietzsche's 'drives' or 'will to power'. |
| 22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
| Full Idea: Freud takes a thoroughly pessimistic view of human nature. ...Introspection reveals only the deep tissue of ambivalent motive, and fantasy is a stronger force than reason. Objectivity and unselfishness are not natural to human beings. | |
| From: report of Sigmund Freud (works [1900], II) by Iris Murdoch - The Sovereignty of Good II | |
| A reaction: Interesting. His view seems to have coloured the whole of modern culture, reinforced by the hideous irrationality of the Nazis. Adorno and Horkheimer attacking the Enlightenment was the last step in that process. |