Combining Philosophers

All the ideas for Anaxarchus, Hilbert,D/Ackermann,W and John Wycliff

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


4 ideas

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]
     Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann.
     From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1
9. Objects / E. Objects over Time / 6. Successive Things
In order to speak about time and successive entities, the 'present' must be enlarged [Wycliff]
     Full Idea: It is clear from the way in which one must speak about time and other successive entities that talk about 'the present' must be enlarged. Otherwise it would have to be denied that any successive entity could exist, which is impossible.
     From: John Wycliff (De ente praedicamentali [1375], 20 p.189), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.3
     A reaction: This is a lovely idea, even if it is not quite clear what it means. The mind seems to stretch out the now anyway (as the 'specious present'), so why not embrace that in language and conscious thought?
To be successive a thing needs parts, which must therefore be lodged outside that instant [Wycliff]
     Full Idea: If something is successive, it is successive with respect to its individual parts, which cannot exist at the same instant. Therefore it follows that many of its parts are lodged outside that instant.
     From: John Wycliff (De ente praedicamentali [1375], 20 p.189), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.3
     A reaction: An obvious would be to say that there are therefore no successive entities, but Wycliff is appealing to our universal acceptance of them, and offering a transcendental argument. Nice move.
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius]
     Full Idea: Anaxarchus said that he was not even sure that he knew nothing.
     From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1