15 ideas
| 23367 | Even pointing a finger should only be done for a reason [Epictetus] |
| Full Idea: Philosophy says it is not right even to stretch out a finger without some reason. | |
| From: Epictetus (fragments/reports [c.57], 15) | |
| A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!). |
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| Full Idea: Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], n 13) |
| 21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
| Full Idea: In the superior realist and simple theory of types, the place of the axiom of reducibility is not taken by the axiom of classes, Zermelo's Aussonderungsaxiom. | |
| From: report of Kurt Gödel (Russell's Mathematical Logic [1944], p.140-1) by Bernard Linsky - Russell's Metaphysical Logic 6.1 n3 | |
| A reaction: This is Zermelo's Axiom of Separation, but that too is not an axiom of standard ZFC. |
| 10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
| Full Idea: 'Mathematical Logic' is a precise and complete formulation of formal logic, and is both a section of mathematics covering classes, relations, symbols etc, and also a science prior to all others, with ideas and principles underlying all sciences. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.447) | |
| A reaction: He cites Leibniz as the ancestor. In this database it is referred to as 'theory of logic', as 'mathematical' seems to be simply misleading. The principles of the subject are standardly applied to mathematical themes. |
| 10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
| Full Idea: One may, on good grounds, deny that reference to a totality necessarily implies reference to all single elements of it or, in other words, that 'all' means the same as an infinite logical conjunction. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.455) |
| 10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
| Full Idea: In order to be sure that new expression can be translated into expressions not containing them, it is necessary to have a survey of all possible expressions, and this can be furnished only by syntactical considerations. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.448) | |
| A reaction: [compressed] |
| 10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
| Full Idea: The generalized Continuum Hypothesis says that there exists no cardinal number between the power of any arbitrary set and the power of the set of its subsets. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) |
| 10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
| Full Idea: It has turned out that the solution of certain arithmetical problems requires the use of assumptions essentially transcending arithmetic. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.449) | |
| A reaction: A nice statement of the famous result, from the great man himself, in the plainest possible English. |
| 10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
| Full Idea: Classes and concepts may be conceived of as real objects, ..and are as necessary to obtain a satisfactory system of mathematics as physical bodies are necessary for a satisfactory theory of our sense perceptions, with neither case being about 'data'. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.456) | |
| A reaction: Note that while he thinks real objects are essential for mathematics, be may not be claiming the same thing for our knowledge of logic. If logic contains no objects, then how could mathematics be reduced to it, as in logicism? |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| Full Idea: Impredicative definitions are admitted into ordinary mathematics. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) | |
| A reaction: The issue is at what point in building an account of the foundations of mathematics (if there be such, see Putnam) these impure definitions should be ruled out. |
| 12163 | Literary meaning emerges in comparisons, and tradition shows which comparisons are relevant [Scruton] |
| Full Idea: We must discover the meanings that emerge when works of literature are experience in relation to each other. ...The importance of tradition is that it denotes - ideally, at least - the class of relevant comparisons. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.27) | |
| A reaction: This is a nice attempt to explain why we all agree that a thorough education in an art is an essential prerequisite for good taste. Some people (e.g. among the young) seem to have natural good taste. How does that happen? |
| 12162 | In literature, word replacement changes literary meaning [Scruton] |
| Full Idea: In literary contexts semantically equivalent words cannot replace each other without loss of literary meaning. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.25) | |
| A reaction: The notion of 'literary meaning' is not a standard one, and is questionable whether 'meaning' is the right word, given that a shift in word in a poem is as much to do with sound as with connotations. |
| 12159 | Without intentions we can't perceive sculpture, but that is not the whole story [Scruton] |
| Full Idea: A person for whom it made no difference whether a sculpture was carved by wind and rain or by human hand would be unable to interpret or perceive sculptures - even though the interpretation of sculpture is not the reading of an intention. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.15) | |
| A reaction: Scruton compares it to the role of intention in language, where there is objective meaning, even though intention is basic to speech. |
| 12160 | In aesthetic interest, even what is true is treated as though it were not [Scruton] |
| Full Idea: In aesthetic interest, even what is true is treated as though it were not. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.18) | |
| A reaction: A nice aphorism. I always feel uncomfortable reading novels about real people, although the historical Macbeth doesn't bother me much. Novels are too close to reality. Macbeth didn't speak blank verse. |
| 12161 | We can be objective about conventions, but love of art is needed to understand its traditions [Scruton] |
| Full Idea: An historian can elucidate convention while having no feeling for the art that exploits it; whereas an understanding of tradition is reserved for those with the critical insight which comes from the love of art, both past and present. | |
| From: Roger Scruton (Public Text and Common Reader [1982], p.24) | |
| A reaction: This aesthetic observation is obviously close to Scruton's well-known conservatism in politics. I am doubtful whether the notion of 'tradition' can stand up to close examination, though we all know roughly what he means. |