PhilosophyIdeas
.com Database |
Current Total Ideas:
22,126
|
home
|
back
Combining Texts
All the ideas for 'Completeness of Axioms of Logic', 'Barcan Formulae' and 'poems'
expand these ideas
|
start again
| specify just
one area
for these texts
3 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]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15380
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging
[Vervloesem]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017
Nomos is king
[Pindar]