3 ideas
| 21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
| Full Idea: Given all true atomic propositions, together with the fact that they are all, every other true proposition can theoretically be deduced by logical methods. | |
| From: Bertrand Russell (Intro to 2nd ed of Principia Mathematica [1925], p.xv) | |
| A reaction: This is evidently his strongest statement of the ideal underlying logical atomism. The atoms were initially sense-date, but then became atomic propositions saying an object has a property. |
| 15308 | Science is the reduction of diverse forces and powers to a smaller number that explain them [Kant] |
| Full Idea: All natural philosophy consists in the reduction of given forces apparently diverse to a smaller number of forces and powers sufficient for the explication of the actions of the former. | |
| From: Immanuel Kant (Metaphysical Foundations of Natural Science [1786], 534) | |
| A reaction: I'm beginning to think science is just tracking of complex forces and powers back to fundamental forces and powers. In which case, that is the analysis Kant is talking of. The standard model of physics would thrill him to bits. |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |