green numbers give full details | back to texts | unexpand this idea
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced |
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. |