PhilosophyIdeas
.com Database |
Current Total Ideas:
22,104
|
home
|
back
Combining Philosophers
All the ideas for Hilbert,D/Ackermann,W, Agathon and Pierre-Joseph Proudhon
expand these ideas
|
start again
| specify just
one area
for these philosophers
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]
10. Modality / C. Sources of Modality / 2. Necessity as Primitive
74
Even God could not undo what has been done
[Agathon]
25. Social Practice / C. Rights / 4. Property rights
20523
Property is theft!
[Proudhon]