5 ideas
| 17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
| Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker. | |
| From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1) | |
| A reaction: Note that it is not 'necessary', because something else might make p true instead. |
| 18086 | Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher] |
| Full Idea: Weierstrass effectively eliminated the infinitesimalist language of his predecessors. | |
| From: report of Karl Weierstrass (works [1855]) by Philip Kitcher - The Nature of Mathematical Knowledge 10.6 |
| 18092 | Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock] |
| Full Idea: After Weierstrass had stressed the importance of limits, one now needed to be able to prove the existence of such limits. | |
| From: report of Karl Weierstrass (works [1855]) by David Bostock - Philosophy of Mathematics 4.4 | |
| A reaction: The solution to this is found in work on series (going back to Cauchy), and on Dedekind's cuts. |
| 15432 | Structural universals might serve as possible worlds [Forrest, by Lewis] |
| Full Idea: Forrest proposed that structural universals should serve as ersatz possible worlds. | |
| From: report of Peter Forrest (Ways Worlds Could Be [1986]) by David Lewis - Against Structural Universals 'Intro' | |
| A reaction: I prefer powers to property universals. Perhaps a possible world is a maximal set of co-existing dispositions? |
| 4688 | We imagine small and large objects scaled to the same size, suggesting a fixed capacity for imagination [Lavers] |
| Full Idea: If we think of a pea, and then of the Eiffel Tower, they seem to occupy the same space in our consciousness, suggesting that we scale our images to fit the available hardware, just as computer imagery is limited by the screen and memory available. | |
| From: Michael Lavers (talk [2003]), quoted by PG - Db (ideas) | |
| A reaction: Nice point. It is especially good because it reinforces a physicalist view of the mind from introspection, where most other evidence is external observation of brains (as Nietzsche reinforces determinism by introspection). |