Combining Texts

All the ideas for 'Definitiones cogitationesque metaphysicae', 'Reliabilism' and 'Completeness of Axioms of Logic'

expand these ideas     |    start again     |     specify just one area for these texts

---

6 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]

9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined

12712

Substance is that which can act [Leibniz]

13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge

19727

Reliabilist knowledge is evidence based belief, with high conditional probability [Comesaña]

13. Knowledge Criteria / C. External Justification / 3. Reliabilism / b. Anti-reliabilism

19725

In a sceptical scenario belief formation is unreliable, so no beliefs at all are justified? [Comesaña]

19726

How do we decide which exact process is the one that needs to be reliable? [Comesaña]

14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation

12737

Nature can be fully explained by final causes alone, or by efficient causes alone [Leibniz]