3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
Full Idea: Heyting (the intuitionist pupil of Brouwer) said that 'logic is dependent on mathematics', not the other way round. | |
From: report of Arend Heyting (Intuitionism: an Introduction [1956]) by Stewart Shapiro - Thinking About Mathematics 7.3 | |
A reaction: To me, this claim makes logicism sound much more plausible, as I don't see how mathematics could get beyond basic counting without a capacity for logical thought. Logic runs much deeper, psychologically and metaphysically. |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
Full Idea: A whole must possess an attribute peculiar to and characteristic of it as a whole; there must be a characteristic relation of dependence between the parts; and the whole must have some structure which gives it characteristics. | |
From: Rescher,N/Oppenheim,P (Logical Analysis of Gestalt Concepts [1955], p.90), quoted by Peter Simons - Parts 9.2 | |
A reaction: Simons says these are basically sensible conditions, and tries to fill them out. They seem a pretty good start, and I must resist the temptation to rush to borderline cases. |
20919 | How can things without weight compose weight? [Alexander] |
Full Idea: How could weight come about out of things composed of what is without weight? | |
From: Alexander (On Aristotle's Metaphysics Book 2 [c.200], p.36.21-27) | |
A reaction: This is obviously why Epicurus added weight to the features of atoms. Alexander seems unaware of this move. |