20 ideas
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| Full Idea: Our concern in giving a definition is not to say how things are by to say how we wish to speak | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This sounds like an acceptable piece of wisdom which arises out of analytical and linguistic philosophy. It puts a damper on the Socratic dream of using definition of reveal the nature of reality. |
| 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] |
| 13445 | Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD] |
| Full Idea: Descartes founded analytic geometry on the assumption that there is a one-one order-preserving correspondence between the points on a line and the real numbers. | |
| From: report of René Descartes (works [1643]) by William D. Hart - The Evolution of Logic 1 |
| 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. |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| Full Idea: Neo-Fregeans have thought that Hume's Principle, and the like, might be definitive of number and therefore not subject to the usual epistemological worries over its truth. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This seems to be the underlying dream of logicism - that arithmetic is actually brought into existence by definitions, rather than by truths derived from elsewhere. But we must be able to count physical objects, as well as just counting numbers. |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| Full Idea: The fundamental difficulty facing the neo-Fregean is to either adopt the predicative reading of Hume's Principle, defining numbers, but inadequate, or the impredicative reading, which is adequate, but not really a definition. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.312) | |
| A reaction: I'm not sure I understand this, but the general drift is the difficulty of building a system which has been brought into existence just by definition. |
| 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. |
| 16774 | Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau] |
| Full Idea: Descartes thinks it is a pointless relic of scholastic metaphysics to dispute over the boundaries between substances and mere aggregates. | |
| From: report of René Descartes (works [1643]) by Robert Pasnau - Metaphysical Themes 1274-1671 25.6 | |
| A reaction: This is Pasnau's carefully considered conclusion, with which others may not agree. It presumably captures the attitude of modern science generally to such issues. |
| 7400 | Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck] |
| Full Idea: Descartes argued (in 'The World') that just as words refer to objects, but they do not resemble them, in the same way, visual images or other sensory inputs relate to objects without depicting them. | |
| From: report of René Descartes (works [1643]) by Richard Tuck - Hobbes | |
| A reaction: This strikes me as a rather significant and plausible claim, which might contain the germ of the idea of a language of thought. It is also the basis for the recent view that language is the best route to understanding the mind. |
| 4310 | We have inner awareness of our freedom [Descartes] |
| Full Idea: We have inner awareness of our freedom. | |
| From: René Descartes (works [1643]) | |
| A reaction: This begs a few questions. I may be directly aware that I have not been hypnotised, but no one would accept it as proof. |
| 6553 | Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan] |
| Full Idea: Descartes himself was well aware of the interaction problem, and corresponded uncomfortably with Princess Elizabeth on the matter; …he pointed out that gravity is causal despite not being a physical object. | |
| From: report of René Descartes (works [1643]) by William Lycan - Consciousness n1.3 | |
| A reaction: Lycan observes that at least gravity is in space-time, unlike the Cartesian mind. Pierre Gassendi had pointed out the problem to Descartes in the Fifth Objection to the 'Meditations' (see Idea 3400). |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| Full Idea: If an abstraction principle is going to be acceptable, then it should not 'inflate', i.e. it should not result in there being more abstracts than there are objects. By this mark Hume's Principle will be acceptable, but Frege's Law V will not. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.307) | |
| A reaction: I take this to be motivated by my own intuition that abstract concepts had better be rooted in the world, or they are not worth the paper they are written on. The underlying idea this sort of abstraction is that it is 'shared' between objects. |
| 19676 | Nature is devoid of thought [Descartes, by Meillassoux] |
| Full Idea: It is Descartes who ratifies the idea that nature is devoid of thought. | |
| From: report of René Descartes (works [1643]) by Quentin Meillassoux - After Finitude; the necessity of contingency 5 | |
| A reaction: His dualism is crucial, along with his ontological argument, because they make all mentality supernatural. Remember, for Descartes animals are mindless machines. |
| 6518 | Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes] |
| Full Idea: Notoriously, the Cartesian idea that matter is purely geometrical will not do, for it leaves no distinction between matter and empty volumes: a filler for these volumes is required. | |
| From: comment on René Descartes (works [1643]) by Howard Robinson - Perception IX.3 | |
| A reaction: Descartes thinks of matter as 'extension'. Descartes's error seems so obvious that it is a puzzle why he made it. He may have confused epistemology and ontology - all we can know of matter is its extension in space. |