Combining Philosophers

All the ideas for Archimedes, Catherine Z. Elgin and Hilbert,D/Ackermann,W

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


5 ideas

2. Reason / A. Nature of Reason / 6. Coherence
How can multiple statements, none of which is tenable, conjoin to yield a tenable conclusion? [Elgin]
Statements that are consistent, cotenable and supportive are roughly true [Elgin]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
Coherence is a justification if truth is its best explanation (not skill in creating fiction) [Elgin]