PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'Purifications (frags)', 'Completeness of Axioms of Logic' and '67: Platonic Questions'
expand these ideas
|
start again
| specify just
one area
for these texts
2 ideas
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751
Gödel proved the completeness of first order predicate logic in 1930
[Gödel, by Walicki]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
5960
When the soul is intelligent and harmonious, it is part of god and derives from god
[Plutarch]