15 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
18165 | My Basic Law V is a law of pure logic [Frege] |
3425 | Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |