4 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |