36 ideas
| 5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| 1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| 14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
| 17377 | All descriptive language is classificatory [Dupré] |
| 17376 | We should aim for a classification which tells us as much as possible about the object [Dupré] |
| 17390 | Natural kinds don't need essentialism to be explanatory [Dupré] |
| 17389 | A species might have its essential genetic mechanism replaced by a new one [Dupré] |
| 17388 | It seems that species lack essential properties, so they can't be natural kinds [Dupré] |
| 17374 | The possibility of prediction rests on determinism [Dupré] |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| 17378 | Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré] |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| 1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
| 405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
| 13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
| 404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
| 17381 | Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré] |
| 17385 | Kinds don't do anything (including evolve) because they are abstract [Dupré] |
| 17375 | Natural kinds are decided entirely by the intentions of our classification [Dupré] |
| 17379 | Borders between species are much less clear in vegetables than among animals [Dupré] |
| 17384 | Even atoms of an element differ, in the energy levels of their electrons [Dupré] |
| 17387 | Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré] |
| 17382 | Cooks, unlike scientists, distinguish garlic from onions [Dupré] |
| 17380 | Wales may count as fish [Dupré] |
| 1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |
| 17383 | Species are the lowest-level classification in biology [Dupré] |
| 17386 | The theory of evolution is mainly about species [Dupré] |