23 ideas
21336 | Crates lived in poverty, and treated his whole life as a joke [Crates of Thebes, by Plutarch] |
1767 | Everyone should study philosophy until they see all people in the same light [Crates of Thebes, by Diog. Laertius] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
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] |
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] |
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] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |