3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
7765 | The use of a sentence is its commitments and entitlements [Brandom, by Lycan] |