33 ideas
| 4642 | No fact can be real and no proposition true unless there is a Sufficient Reason (even if we can't know it) [Leibniz] |
| 2115 | Everything in the universe is interconnected, so potentially a mind could know everything [Leibniz] |
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| 2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| 8492 | Relations are functions with two arguments [Frege] |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| 7644 | The monad idea incomprehensibly spiritualises matter, instead of materialising soul [La Mettrie on Leibniz] |
| 11857 | He replaced Aristotelian continuants with monads [Leibniz, by Wiggins] |
| 7843 | Is a drop of urine really an infinity of thinking monads? [Voltaire on Leibniz] |
| 12751 | It is unclear in 'Monadology' how extended bodies relate to mind-like monads. [Garber on Leibniz] |
| 19363 | Changes in a monad come from an internal principle, and the diversity within its substance [Leibniz] |
| 19352 | A 'monad' has basic perception and appetite; a 'soul' has distinct perception and memory [Leibniz] |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| 7931 | If a substance is just a thing that has properties, it seems to be a characterless non-entity [Leibniz, by Macdonald,C] |
| 17554 | There must be some internal difference between any two beings in nature [Leibniz] |
| 2112 | Truths of reason are known by analysis, and are necessary; facts are contingent, and their opposites possible [Leibniz] |
| 9344 | Mathematical analysis ends in primitive principles, which cannot be and need not be demonstrated [Leibniz] |
| 2110 | We all expect the sun to rise tomorrow by experience, but astronomers expect it by reason [Leibniz] |
| 2109 | Increase a conscious machine to the size of a mill - you still won't see perceptions in it [Leibniz] |
| 19362 | We know the 'I' and its contents by abstraction from awareness of necessary truths [Leibniz] |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| 12707 | The true elements are atomic monads [Leibniz] |
| 12709 | Motion is not absolute, but consists in relation [Leibniz] |
| 2114 | This is the most perfect possible universe, in its combination of variety with order [Leibniz] |
| 2113 | God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz] |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |