display all the ideas for this combination of texts
2 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. |
| 12267 | There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle] |
| Full Idea: The four main types of predicates fall into ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity. | |
| From: Aristotle (Topics [c.331 BCE], 103b20) | |
| A reaction: These are the standard ten categories of Aristotle. He is notable for the divisions not being sharp, and ten being a rough total. He is well aware of the limits of precision in such matters. |