display all the ideas for this combination of philosophers
19 ideas
| 16918 | Mathematics cannot proceed just by the analysis of concepts [Kant] |
| Full Idea: Mathematics cannot proceed analytically, namely by analysis of concepts, but only synthetically. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 284) | |
| A reaction: I'm with Kant insofar as I take mathematics to be about the world, no matter how rarefied and 'abstract' it may become. |
| 16930 | Geometry is not analytic, because a line's being 'straight' is a quality [Kant] |
| Full Idea: No principle of pure geometry is analytic. That the straight line beween two points is the shortest is a synthetic proposition. For my concept of straight contains nothing of quantity but only of quality. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 269) | |
| A reaction: I'm not sure what his authority is for calling straightness a quality rather than a quantity, given that it can be expressed quantitatively. It is a very nice example for focusing our questions about the nature of geometry. I can't decide. |
| 8739 | Geometry studies the Euclidean space that dictates how we perceive things [Kant, by Shapiro] |
| Full Idea: For Kant, geometry studies the forms of perception in the sense that it describes the infinite space that conditions perceived objects. This Euclidean space provides the forms of perception, or, in Kantian terms, the a priori form of empirical intuition. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781]) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: We shouldn't assume that the discovery of new geometries nullifies this view. We evolved in small areas of space, where it is pretty much Euclidean. We don't perceive the curvature of space. |
| 16919 | Geometry rests on our intuition of space [Kant] |
| Full Idea: Geometry is grounded on the pure intuition of space. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 284) | |
| A reaction: I have the impression that recent thinkers are coming round to this idea, having attempted purely algebraic or logical accounts of geometry. |
| 8740 | Geometry would just be an idle game without its connection to our intuition [Kant] |
| Full Idea: Were it not for the connection to intuition, geometry would have no objective validity whatever, but be mere play by the imagination or the understanding. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B298/A239), quoted by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: If we pursue the idealist reading of Kant (in which the noumenon is hopelessly inapprehensible), then mathematics still has not real application, despite connection to intuition. However, Kant would have been an intuitionist, and not a formalist. |
| 16899 | Geometrical truth comes from a general schema abstracted from a particular object [Kant, by Burge] |
| Full Idea: Kant explains the general validity of geometrical truths by maintaining that the particularity is genuine and ineliminable but is used as a schema. One abstracts from the particular elements of the objects of intuition in forming a general object. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781], B741/A713) by Tyler Burge - Frege on Apriority (with ps) 4 | |
| A reaction: A helpful summary by Burge of a rather wordy but very interesting section of Kant. I like the idea of being 'abstracted', but am not sure why that must be from one particular instance [certainty?]. The essence of triangles emerges from comparisons. |
| 16920 | Numbers are formed by addition of units in time [Kant] |
| Full Idea: Arithmetic forms its own concepts of numbers by successive addition of units in time. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 284) | |
| A reaction: It is hard to imagine any modern philosopher of mathematics embracing this idea. It sounds as if Kant thinks counting is the foundation of arithmetic, which I quite like. |
| 16929 | 7+5 = 12 is not analytic, because no analysis of 7+5 will reveal the concept of 12 [Kant] |
| Full Idea: The concept of twelve is in no way already thought by merely thinking the unification of seven and five, and though I analyse my concept of such a possible sum as long as I please, I shall never find twelve in it. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 269) | |
| A reaction: It might be more plausible to claim that an analysis of 12 would reveal the concept of 7+5. Doesn't the concept of two collections of objects contain the concept of their combined cardinality? |
| 9632 | Kant only accepts potential infinity, not actual infinity [Kant, by Brown,JR] |
| Full Idea: For Kant the only legitimate infinity is the so-called potential infinity, not the actual infinity. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781]) by James Robert Brown - Philosophy of Mathematics Ch.5 | |
| A reaction: This is part of what leads on the the Constructivist view of mathematics. There is a procedure for endlessly continuing, but no procedure for arriving. That seems to make good sense. |
| 3343 | Euclid's could be the only viable geometry, if rejection of the parallel line postulate doesn't lead to a contradiction [Benardete,JA on Kant] |
| Full Idea: The possible denial of the parallel lines postulate does not entail that Kant was wrong in considering Euclid's the only viable geometry. If the denial issued in a contradiction, then the postulate would be analytic, and Kant would be refuted. | |
| From: comment on Immanuel Kant (Critique of Pure Reason [1781]) by José A. Benardete - Metaphysics: the logical approach Ch.18 |
| 8737 | Kant suggested that arithmetic has no axioms [Kant, by Shapiro] |
| Full Idea: Kant suggested that arithmetic has no axioms. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781], B204-6/A164) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: A hundred years later a queue was forming to spell out the axioms of arithmetic. The definitions of 0 and 1 always look to me more like logicians' tricks than profound truths. Some notions of successor and induction do, however, seem needed. |
| 5557 | Axioms ought to be synthetic a priori propositions [Kant] |
| Full Idea: Concerning magnitude ...there are no axioms in the proper sense. ....Axioms ought to be synthetic a priori propositions. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B205/A164) | |
| A reaction: This may be a hopeless dream, but it is (sort of) what all philosophers long for. Post-modern relativism may just be the claim that all axioms are analytic. Could a posteriori propositions every qualify as axioms? |
| 12421 | Kant's intuitions struggle to judge relevance, impossibility and exactness [Kitcher on Kant] |
| Full Idea: Kant's intuitions have the Irrelevance problem (which structures of the mind are just accidental?), the Practical Impossibility problem (how to show impossible-in-principle?), and the Exactness problem (are entities exactly as they seem?). | |
| From: comment on Immanuel Kant (Critique of Pure Reason [1781]) by Philip Kitcher - The Nature of Mathematical Knowledge 03.1 | |
| A reaction: [see Kitcher for an examination of these] Presumably the answer to all three must be that we have meta-intuitions about our intuitions, or else intuitions come with built-in criteria to deal with the three problems. We must intuit something specific. |
| 16910 | Mathematics can only start from an a priori intuition which is not empirical but pure [Kant] |
| Full Idea: We find that all mathematical knowledge has this peculiarity, that it must first exhibit its concept in intuition, and do so a priori, in an intuition that is not empirical but pure. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 281) | |
| A reaction: Later thinkers had grave doubts about this Kantian 'intuition', even if they though maths was known a priori. Personally I am increasing fan of rational intuition, even if I am not sure how to discern whether it is rational on any occasion. |
| 16917 | All necessary mathematical judgements are based on intuitions of space and time [Kant] |
| Full Idea: Space and time are the two intuitions on which pure mathematics grounds all its cognitions and judgements that present themselves as at once apodictic and necessary. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 284) | |
| A reaction: This unlikely proposal seems to be based on the idea that mathematics must arise from the basic categories of our intuition, and these two are the best candidates he can find. I would say that high-level generality is the basis of mathematics. |
| 17617 | Maths is a priori, but without its relation to empirical objects it is meaningless [Kant] |
| Full Idea: Although all these principles .....are generated in the mind completely a priori, they would still not signify anything at all if we could not always exhibit their significance in appearances (empirical objects). | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B299/A240) | |
| A reaction: This is the subtle Kantian move that we all have to take seriously when we try to assert 'realism' about anything. Our drive for meaning creates our world for us? |
| 16928 | Mathematics cannot be empirical because it is necessary, and that has to be a priori [Kant] |
| Full Idea: Mathematical propositions are always judgements a priori, and not empirical, because they carry with them necessity, which cannot be taken from experience. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 268) | |
| A reaction: Presumably there are necessities in the physical world, and we might discern them by generalising about that world, so that mathematics is (by a tortuous abstract route) a posteriori necessary? Just a thought… |
| 12458 | Kant taught that mathematics is independent of logic, and cannot be grounded in it [Kant, by Hilbert] |
| Full Idea: Kant taught - and it is an integral part of his doctrine - that mathematics treats a subject matter which is given independently of logic. Mathematics, therefore, can never be grounded solely in logic. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781]) by David Hilbert - On the Infinite p.192 | |
| A reaction: Presumably Gödel's Incompleteness Theorems endorse the Kantian view, that arithmetic is sui generis, and beyond logic. |
| 2795 | If 7+5=12 is analytic, then an infinity of other ways to reach 12 have to be analytic [Kant, by Dancy,J] |
| Full Idea: Kant claimed that 7+5=12 is synthetic a priori. If the concept of 12 analytically involves knowing 7+5, it also involves an infinity of other arithmetical ways to reach 12, which is inadmissible. | |
| From: report of Immanuel Kant (Critique of Pure Reason [1781], B205/A164) by Jonathan Dancy - Intro to Contemporary Epistemology 14.3 |