Combining Texts

Ideas for 'works', 'Gdel's Proof' and 'Modes of Extension: comment on Fine'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


4 ideas

18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]
     Full Idea: The resources of the human intellect have not been, and cannot be, fully formalized.
     From: E Nagel / JR Newman (Gödel's Proof [1958], VIII)
     A reaction: This conclusion derives from Gödel's Theorem. Some people (e.g. Penrose) get over-excited by this discovery, and conclude that the human mind is supernatural. Imagination is the key - it is a feature of rationality that escapes mechanization.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji]
     Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals.
     From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial'
     A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Any equivalence relation among similar things allows the creation of an abstractum [Simons]
     Full Idea: Whenever we have an equivalence relation among things - such as similarity in a certain respect - we can abstract under the equivalence and consider the abstractum.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.19)
     A reaction: This strikes me as dressing up old-fashioned psychological abstractionism in the respectable clothing of Fregean equivalences (such as 'directions'). We can actually do what Simons wants without the precision of partitioned equivalence classes.
Abstraction is usually seen as producing universals and numbers, but it can do more [Simons]
     Full Idea: Abstraction as a cognitive tool has been associated predominantly with the metaphysics of universals and of mathematical objects such as numbers. But it is more widely applicable beyond this standard range. I commend its judicious use.
     From: Peter Simons (Modes of Extension: comment on Fine [2008], p.21)
     A reaction: Personally I think our view of the world is founded on three psychological principles: abstraction, idealisation and generalisation. You can try to give them rigour, as 'equivalence classes', or 'universal quantifications', if it makes you feel better.