17 ideas
| 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. |
| 472 | No things would be clear to us as entity or relationships unless there existed Number and its essence [Philolaus] |
| Full Idea: No existing things would be clear to anyone, either in themselves or in their relationship to one another, unless there existed Number and its essence. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B11), quoted by John Stobaeus - Anthology 1.03.8 |
| 19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
| Full Idea: A Gettier case contains a belief which is true and well justified without being knowledge. Its justificatory support is also fallible, ...and there is considerable luck in how the belief combnes being true with being justified. | |
| From: Stephen Hetherington (The Gettier Problem [2011], 5) | |
| A reaction: This makes luck the key factor. 'Luck' is a rather vague concept, and so the sort of luck involved must first be spelled out. Or the varieties of luck that can produce this outcome. |
| 1518 | Everything must involve numbers, or it couldn't be thought about or known [Philolaus] |
| Full Idea: Everything which is known has number, because otherwise it is impossible for anything to be the object of thought or knowledge. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B04), quoted by John Stobaeus - Anthology 1.21.7b |
| 1519 | Harmony must pre-exist the cosmos, to bring the dissimilar sources together [Philolaus] |
| Full Idea: It would have been impossible for the dissimilar and incompatible sources to have been made into an orderly universe unless harmony had been present in some form or other. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B06), quoted by John Stobaeus - Anthology 1.21.7d |
| 473 | There is no falsehood in harmony and number, only in irrational things [Philolaus] |
| Full Idea: The nature of number and harmony admits of no falsehood; for this is unrelated to them. Falsehood and envy belong to the nature of the Unlimited and the Unintelligent and the Irrational. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B11), quoted by (who?) - where? |
| 469 | Existing things, and hence the Cosmos, are a mixture of the Limited and the Unlimited [Philolaus] |
| Full Idea: Since it is plain that existing things are neither wholly from the Limiting, nor wholly from the Unlimited, clearly the cosmos and its contents were fitted together from both the Limiting and the Unlimited. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B02), quoted by John Stobaeus - Anthology 1.21.7a |
| 476 | Self-created numbers make the universe stable [Philolaus] |
| Full Idea: Number is the ruling and self-created bond which maintains the everlasting stability of the contents of the universe. | |
| From: Philolaus (On the Cosmos (lost) [c.435 BCE], B23), quoted by (who?) - where? |
| 1787 | Philolaus was the first person to say the earth moves in a circle [Philolaus, by Diog. Laertius] |
| Full Idea: Philolaus was the first person to affirm that the earth moves in a circle. | |
| From: report of Philolaus (On the Cosmos (lost) [c.435 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 08.Ph.3 |