PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'poems', 'Principles of Theoretical Logic' and 'comedies (frags)'
expand these ideas
|
start again
| specify just
one area
for these texts
3 ideas
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750
The first clear proof of the consistency of the first order predicate logic was in 1928
[Hilbert/Ackermann, by Walicki]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017
Nomos is king
[Pindar]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
3032
I can form no notion of what the good is
[Amphis]