PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'poems', 'Completeness of Axioms of Logic' and 'The Web of Belief'
expand these ideas
|
start again
| specify just
one area
for these texts
3 ideas
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
8460
Philosophers have given precise senses to deduction, probability, computability etc
[Quine/Ullian]
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]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017
Nomos is king
[Pindar]