165 ideas
| 11461 | 323 (roughly): Euclid wrote 'Elements', summarising all of geometry [PG] |
| 11390 | 1000 (roughly): Upanishads written (in Sanskrit); religious and philosophical texts [PG] |
| 11391 | 750 (roughly): the Book of Genesis written by Hebrew writers [PG] |
| 11392 | 586: eclipse of the sun on the coast of modern Turkey was predicted by Thales of Miletus [PG] |
| 11395 | 570: Anaximander flourished in Miletus [PG] |
| 11396 | 563: the Buddha born in northern India [PG] |
| 11398 | 540: Lao Tzu wrote 'Tao Te Ching', the basis of Taoism [PG] |
| 11400 | 529: Pythagoras created his secretive community at Croton in Sicily [PG] |
| 11403 | 500: Heraclitus flourishes at Ephesus, in modern Turkey [PG] |
| 11404 | 496: Confucius travels widely, persuading rulers to be more moral [PG] |
| 11408 | 472: Empedocles persuades his city (Acragas in Sicily) to become a democracy [PG] |
| 11412 | 450 (roughly): Parmenides and Zeno visit Athens from Italy [PG] |
| 11414 | 445: Protagoras helps write laws for the new colony of Thurii [PG] |
| 11417 | 436 (roughly): Anaxagoras is tried for impiety, and expelled from Athens [PG] |
| 11535 | 170 (roughly): Marcus Aurelius wrote his private stoic meditations [PG] |
| 11537 | -200 (roughly): Sextus Empiricus wrote a series of books on scepticism [PG] |
| 11541 | 263: Porphyry began to study with Plotinus in Rome [PG] |
| 11545 | 310: Christianity became the official religion of the Roman empire [PG] |
| 11549 | 387: Ambrose converts Augustine to Christianity [PG] |
| 11555 | 523: Boethius imprisoned at Pavia, and begins to write [PG] |
| 11557 | 529: the emperor Justinian closes all the philosophy schools in Athens [PG] |
| 11421 | 427: Gorgias visited Athens as ambassador for Leontini [PG] |
| 11425 | 399: Socrates executed (with Plato absent through ill health) [PG] |
| 11432 | 387 (roughly): Plato returned to Athens, and founded the Academy [PG] |
| 11433 | 387 (roughly): Aristippus the Elder founder a hedonist school at Cyrene [PG] |
| 11440 | 367: the teenaged Aristotle came to study at the Academy [PG] |
| 11443 | 360 (roughly): Diogenes of Sinope lives in a barrel in central Athens [PG] |
| 11445 | 347: death of Plato [PG] |
| 11454 | 343: Aristotle becomes tutor to 13 year old Alexander (the Great) [PG] |
| 11456 | 335: Arisotle founded his school at the Lyceum in Athens [PG] |
| 11459 | 330 (roughly): Chuang Tzu wrote his Taoist book [PG] |
| 11465 | 322: Aristotle retired to Chalcis, and died there [PG] |
| 11468 | 307 (roughly): Epicurus founded his school at the Garden in Athens [PG] |
| 11470 | 301 (roughly): Zeno of Citium founded Stoicism at the Stoa Poikile in Athens [PG] |
| 11483 | 261: Cleanthes replaced Zeno as head of the Stoa [PG] |
| 11486 | 229 (roughly): Chrysippus replaced Cleanthes has head of the Stoa [PG] |
| 11492 | 157 (roughly): Carneades became head of the Academy [PG] |
| 11509 | 85: most philosophical activity moves to Alexandria [PG] |
| 11513 | 78: Cicero visited the stoic school on Rhodes [PG] |
| 11516 | 60 (roughly): Lucretius wrote his Latin poem on epicureanism [PG] |
| 11528 | 65: Seneca forced to commit suicide by Nero [PG] |
| 11531 | 80: the discourses of the stoic Epictetus are written down [PG] |
| 11564 | 1090: Anselm publishes his proof of the existence of God [PG] |
| 11558 | 622 (roughly): Mohammed writes the Koran [PG] |
| 11559 | 642: Arabs close the philosophy schools in Alexandria [PG] |
| 11560 | 910 (roughly): Al-Farabi wrote Arabic commentaries on Aristotle [PG] |
| 11562 | 1015 (roughly): Ibn Sina (Avicenna) writes a book on Aristotle [PG] |
| 11566 | 1115: Abelard is the chief logic teacher in Paris [PG] |
| 11573 | 1166: Ibn Rushd (Averroes) wrote extensive commentaries on Aristotle [PG] |
| 11581 | 1266: Aquinas began writing 'Summa Theologica' [PG] |
| 11586 | 1280: after his death, the teaching of Aquinas becomes official Dominican doctrine [PG] |
| 11591 | 1328: William of Ockham decides the Pope is a heretic, and moves to Munich [PG] |
| 17916 | 1347: the Church persecutes philosophical heresies [PG] |
| 11593 | 1470: Marsilio Ficino founds a Platonic Academy in Florence [PG] |
| 11596 | 1513: Machiavelli wrote 'The Prince' [PG] |
| 11599 | 1543: Copernicus publishes his heliocentric view of the solar system [PG] |
| 11601 | 1580: Montaigne publishes his essays [PG] |
| 11607 | 1600: Giordano Bruno was burned at the stake in Rome [PG] |
| 11613 | 1619: Descartes's famous day of meditation inside a stove [PG] |
| 11614 | 1620: Bacon publishes 'Novum Organum' [PG] |
| 11619 | 1633: Galileo convicted of heresy by the Inquisition [PG] |
| 11623 | 1641: Descartes publishes his 'Meditations' [PG] |
| 11626 | 1650: death of Descartes, in Stockholm [PG] |
| 11627 | 1651: Hobbes publishes 'Leviathan' [PG] |
| 11633 | 1662: the Port Royal Logic is published [PG] |
| 11634 | 1665: Spinoza writes his 'Ethics' [PG] |
| 11643 | 1676: Leibniz settled as librarian to the Duke of Brunswick [PG] |
| 11649 | 1687: Newton publishes his 'Principia Mathematica' [PG] |
| 11652 | 1690: Locke publishes his 'Essay' [PG] |
| 11654 | 1697: Bayle publishes his 'Dictionary' [PG] |
| 11659 | 1713: Berkeley publishes his 'Three Dialogues' [PG] |
| 11666 | 1734: Voltaire publishes his 'Philosophical Letters' [PG] |
| 11667 | 1739: Hume publishes his 'Treatise' [PG] |
| 11675 | 1762: Rousseau publishes his 'Social Contract' [PG] |
| 11682 | 1781: Kant publishes his 'Critique of Pure Reason' [PG] |
| 11683 | 1785: Reid publishes his essays defending common sense [PG] |
| 11687 | 1798: the French Revolution [PG] |
| 11694 | 1807: Hegel publishes his 'Phenomenology of Spirit' [PG] |
| 11701 | 1818: Schopenhauer publishes his 'World as Will and Idea' [PG] |
| 11710 | 1840: Kierkegaard is writing extensively in Copenhagen [PG] |
| 11713 | 1843: Mill publishes his 'System of Logic' [PG] |
| 11715 | 1848: Marx and Engels publis the Communist Manifesto [PG] |
| 11717 | 1859: Darwin publishes his 'Origin of the Species' [PG] |
| 11721 | 1861: Mill publishes 'Utilitarianism' [PG] |
| 11724 | 1867: Marx begins publishing 'Das Kapital' [PG] |
| 13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
| 11733 | 1879: Peirce taught for five years at Johns Hopkins University [PG] |
| 17907 | 1879: Frege invents predicate logic [PG] |
| 17909 | 1892: Frege's essay 'Sense and Reference' [PG] |
| 17908 | 1884: Frege publishes his 'Foundations of Arithmetic' [PG] |
| 11735 | 1885: Nietzsche completed 'Thus Spake Zarathustra' [PG] |
| 17911 | 1888: Dedekind publishes axioms for arithmetic [PG] |
| 11740 | 1890: James published 'Principles of Psychology' [PG] |
| 11742 | 1895 (roughly): Freud developed theories of the unconscious [PG] |
| 11745 | 1900: Husserl began developing Phenomenology [PG] |
| 17917 | 1953: Wittgenstein's 'Philosophical Investigations' [PG] |
| 17919 | 1956: Place proposed mind-brain identity [PG] |
| 11804 | 1962: Kuhn's 'Structure of Scientific Revolutions' [PG] |
| 17921 | 1967: Putnam proposed functionalism of the mind [PG] |
| 11808 | 1971: Rawls's 'A Theory of Justice' [PG] |
| 11810 | 1972: Kripke publishes 'Naming and Necessity' [PG] |
| 11813 | 1975: Singer publishes 'Animal Rights' [PG] |
| 17920 | 1975: Putnam published his Twin Earth example [PG] |
| 11820 | 1986: David Lewis publishes 'On the Plurality of Worlds' [PG] |
| 11746 | 1903: Moore published 'Principia Ethica' [PG] |
| 11747 | 1904: Dewey became professor at Columbia University [PG] |
| 17910 | 1908: Zermelo publishes axioms for set theory [PG] |
| 11752 | 1910: Russell and Whitehead begin publishing 'Principia Mathematica' [PG] |
| 11756 | 1912: Russell meets Wittgenstein in Cambridge [PG] |
| 11762 | 1921: Wittgenstein's 'Tractatus' published [PG] |
| 11765 | 1927: Heidegger's 'Being and Time' published [PG] |
| 11768 | 1930: Frank Ramsey dies at 27 [PG] |
| 11770 | 1931: Gödel's Incompleteness Theorems [PG] |
| 11773 | 1933: Tarski's theory of truth [PG] |
| 11783 | 1942: Camus published 'The Myth of Sisyphus' [PG] |
| 11784 | 1943: Sartre's 'Being and Nothingness' [PG] |
| 11787 | 1945: Merleau-Ponty's 'Phenomenology of Perception' [PG] |
| 17918 | 1947: Carnap published 'Meaning and Necessity' [PG] |
| 11794 | 1950: Quine's essay 'Two Dogmas of Empiricism' [PG] |
| 13477 | The problems are the monuments of philosophy [Hart,WD] |
| 13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
| 22094 | Subjective truth can only be sustained by repetition [Kierkegaard, by Carlisle] |
| 13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
| 13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
| 13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
| 13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
| 13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
| 13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
| 13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
| 13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
| 13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
| 13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
| 13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
| 13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
| 13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
| 13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
| 13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
| 13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
| 13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
| 13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
| 13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
| 13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
| 13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
| 13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
| 13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
| 13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
| 13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
| 13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
| 13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
| 13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
| 13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
| 13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
| 13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
| 13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
| 13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
| 13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
| 13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
| 13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
| 13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
| 13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
| 13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
| 13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
| 13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
| 13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
| 22093 | Life is a repetition when what has been now becomes [Kierkegaard] |