16 ideas
2661 | Dialectic is speech cast in the form of logical argument [Cicero] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
2673 | There cannot be more than one truth [Cicero] |
2669 | Dialectic assumes that all statements are either true or false, but self-referential paradoxes are a big problem [Cicero] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
5062 | First: there must be reasons; Second: why anything at all?; Third: why this? [Leibniz] |
19377 | A monad and its body are living, so life is everywhere, and comes in infinite degrees [Leibniz] |
2664 | If we have complete healthy senses, what more could the gods give us? [Cicero] |
19353 | 'Perception' is basic internal representation, and 'apperception' is reflective knowledge of perception [Leibniz] |
2665 | How can there be a memory of what is false? [Cicero] |
20800 | Every true presentation can have a false one of the same quality [Cicero] |
5061 | Animals are semi-rational because they connect facts, but they don't see causes [Leibniz] |
5063 | Music charms, although its beauty is the harmony of numbers [Leibniz] |
2672 | Virtues must be very detached, to avoid being motivated by pleasure [Cicero] |