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. |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
16627 | If you remove the accidents from a horse and a lion, the intellect can't tell them apart [Francis of Marchia] |
Full Idea: Let all accidents be removed from a lion and a horse. Nothing remains in the intellect to distinguish them. We distinguish a lion and a horse only by analogy to the accidents proper to each. The intellect does not have an essential concept of either one. | |
From: Francis of Marchia (Commentary on Sentences [1330], I.3.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 07.3 | |
A reaction: What a very nice thought experiment, and very convincing about how the mind perceives such things. But we don't believe horse and lion just consists of the surface properties of them which we experience. |