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. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |
4784 | Salmon says processes rather than events should be basic in a theory of physical causation [Salmon, by Psillos] |
Full Idea: Salmon argues that processes rather than events should be the basic entities in a theory of physical causation. | |
From: report of Wesley Salmon (Causal Connections [1984]) by Stathis Psillos - Causation and Explanation §4.2 | |
A reaction: It increasingly strikes me that the concept of a 'process' ought to be ontologically basic. Edelman says the mind is a process. An 'event' is too loose, and a 'fact' too vague, and heaven knows what Hume meant by an 'object'. |