11 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
| A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem') | |
| A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism? |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| Full Idea: To say that mathematics is logic is merely to replace one undefined term by another. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics') |
| 7783 | Bodies, properties, relations, events, numbers, sets and propositions are 'things' if they exist [Lowe] |
| Full Idea: Not only material bodies but also properties, relations, events, numbers, sets, and propositions are—if they are acknowledged as existing—to be accounted ‘things’. | |
| From: E.J. Lowe (Things [1995]) | |
| A reaction: There might be lots of borderline cases here. Is the sky a thing? Is air a thing? How is transparency a thing? Is minus-one a thing? Is an incomplete proposition a thing? Etc. |
| 21833 | Research suggest that we overrate conscious experience [Flanagan] |
| Full Idea: The emerging consensus is that we probably overrate the power of conscious experience in our lives. Freud, of course, said the same thing for different reasons. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
| A reaction: [He cites Pockett, Banks and Gallagher 2006]. Freud was concerned with big deep secrets, but the modern view concerns ordinary decisions and perceptions. An important idea, which should incline us all to become Nietzscheans. |
| 21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
| Full Idea: There is still some hope for something like identity theory for sensations. But almost no one believes that strict identity theory will work for more complex mental states. Strict identity is stronger than type neurophysicalism. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Ontology') | |
| A reaction: It is so hard to express the problem. What needs to be explained? How can one bunch of neurons represent many different things? It's not like computing. That just transfers the data to brains, where the puzzling stuff happens. |
| 21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
| Full Idea: Morality is 'normative' in the sense that it consists of the extraction of ''good' or 'excellent' practices from common practices. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 4 'Naturalism') |
| 21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
| Full Idea: Two explanations came forward in the neo-Darwinian synthesis. Altruism is either 1) person-based reciprocal altruism, or 2) gene-based kin altruism. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 2 'Darwin') | |
| A reaction: Flanagan obviously thinks there is also 'genuine psychological atruism'. Presumably we don't explain mathematics or music or the desire to travel as either contracts or genetics, so we have other explanations available. |
| 21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
| Full Idea: It would be nice if I could advance the case for Eudaimonics - empirical enquiry into the nature, causes, and constituents of flourishing, …and the case for some ways of living and being as better than others. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 4 'Normative') | |
| A reaction: Things seem to be moving in that direction. Lots of statistics about happiness have been appearing. |
| 21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
| Full Idea: What Marx called 'alienation' is the widespread condition of not being able to discover what one wants, or not being remotely positioned to achieve. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 2 'Expanding') | |
| A reaction: I took alienation to concern people's relationship to the means of production in their trade. On Flanagan's definition I would expect almost everyone aged under 20 to count as alienated. |
| 21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |
| Full Idea: Buddhism rejected the idea of a creator God, and the unchanging self [atman]. They accept the appearance-reality distinction, reward for virtue [karma], suffering defining our predicament, and that liberation [nirvana] is possible through wisdom. | |
| From: Owen Flanagan (The Really Hard Problem [2007], 3 'Buddhism') | |
| A reaction: [Compressed] Flanagan is an analytic philosopher and a practising Buddhist. Looking at a happiness map today which shows Europeans largely happy, and Africans largely miserable, I can see why they thought suffering was basic. |