3 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. |
| 6981 | Determinism clashes with free will, as the past determines action, and is beyond our control [Inwagen, by Jackson] |
| Full Idea: I find compelling Peter van Ingwagen's argument that because the past is outside our control, and any action fully determined by something outside our control is not free, determinism is inconsistent with free will. | |
| From: report of Peter van Inwagen (An Essay on Free Will [1983]) by Frank Jackson - From Metaphysics to Ethics Ch.2 | |
| A reaction: I am puzzled by anyone who even dreamt that full blown free will (very free indeed) could be compatible with the view that past events impose a necessity on future events. So called 'compatibilists' strike me as being determinists. |
| 9626 | A structure is an abstraction, focussing on relationships, and ignoring other features [Shapiro] |
| Full Idea: A structure is the abstract form of a system, focussing on the interrelationships among the objects, and ignoring any features of them that do not affect how they relate to other objects in the system. | |
| From: Stewart Shapiro (Structure and Ontology [1989], 146), quoted by James Robert Brown - Philosophy of Mathematics Ch.4 | |
| A reaction: I find this account very attractive, even though it appeals to supposedly outmoded psychological abstractionism. It seems pretty close to Aristotle's view of things. Shapiro's account must face up to Frege's worries about these matters. |