7 ideas
| 19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
| Full Idea: Leibniz invented the concept of 'blind thought' - reasoning by a manipulation of characters without being able to recognise what each character stands for. | |
| From: report of Gottfried Leibniz (Towards a Universal Characteristic [1677]) by Richard T.W. Arthur - Leibniz |
| 19391 | We can assign a characteristic number to every single object [Leibniz] |
| Full Idea: The true principle is that we can assign to every object its determined characteristic number. | |
| From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.18) | |
| A reaction: I add this as a predecessor of Gödel numbering. It is part of Leibniz's huge plan for a Universal Characteristic, to map reality numerically, and then calculate the truths about it. Gödel seems to allow metaphysics to be done mathematically. |
| 19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
| Full Idea: There is nothing which is not subsumable under number; number is therefore a fundamental metaphysical form, and arithmetic a sort of statics of the universe, in which the powers of things are revealed. | |
| From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.17) | |
| A reaction: I take numbers to be a highly generalised and idealised description of an aspect of reality (seen as mainly constituted by countable substances). Seeing reality as processes doesn't lead us to number. So I like this idea. |
| 8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
| Full Idea: With developments in modern mathematics, structuralist ideas have become commonplace. We study 'abstract structures', having relations without regard to the objects. As Hilbert famously said, items of furniture would do. | |
| From: Geoffrey Hellman (Structuralism [2007], §1) | |
| A reaction: Hilbert is known as a Formalist, which suggests that modern Structuralism is a refined and more naturalist version of the rather austere formalist view. Presumably the sofa can't stand for six, so a structural definition of numbers is needed. |
| 8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |
| Full Idea: There is the tantalizing possibility that perhaps mathematical objects 'have no nature' at all, beyond their 'structural role'. | |
| From: Geoffrey Hellman (Structuralism [2007], §1) | |
| A reaction: This would fit with a number being a function rather than an object. We are interested in what cars do, not the bolts that hold them together? But the ontology of mathematics is quite separate from how you do mathematics. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |