185 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] |
| 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] |
| 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] |
| 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] |
| 11564 | 1090: Anselm publishes his proof of the existence of God [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] |
| 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] |
| 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] |
| 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] |
| 18137 | Impredicative definitions are wrong, because they change the set that is being defined? [Bostock] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
| 18114 | There is no single agreed structure for set theory [Bostock] |
| 18107 | A 'proper class' cannot be a member of anything [Bostock] |
| 18115 | We could add axioms to make sets either as small or as large as possible [Bostock] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 18139 | The Axiom of Choice relies on reference to sets that we are unable to describe [Bostock] |
| 18105 | Replacement enforces a 'limitation of size' test for the existence of sets [Bostock] |
| 18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
| 18109 | The completeness of first-order logic implies its compactness [Bostock] |
| 18123 | Substitutional quantification is just standard if all objects in the domain have a name [Bostock] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 18120 | The Deduction Theorem is what licenses a system of natural deduction [Bostock] |
| 18125 | Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock] |
| 18101 | Each addition changes the ordinality but not the cardinality, prior to aleph-1 [Bostock] |
| 18100 | ω + 1 is a new ordinal, but its cardinality is unchanged [Bostock] |
| 18102 | A cardinal is the earliest ordinal that has that number of predecessors [Bostock] |
| 18106 | Aleph-1 is the first ordinal that exceeds aleph-0 [Bostock] |
| 18095 | Instead of by cuts or series convergence, real numbers could be defined by axioms [Bostock] |
| 18099 | The number of reals is the number of subsets of the natural numbers [Bostock] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 18093 | For Eudoxus cuts in rationals are unique, but not every cut makes a real number [Bostock] |
| 18110 | Infinitesimals are not actually contradictory, because they can be non-standard real numbers [Bostock] |
| 18156 | Modern axioms of geometry do not need the real numbers [Bostock] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 18097 | The Peano Axioms describe a unique structure [Bostock] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 18148 | Hume's Principle is a definition with existential claims, and won't explain numbers [Bostock] |
| 18145 | Many things will satisfy Hume's Principle, so there are many interpretations of it [Bostock] |
| 18149 | There are many criteria for the identity of numbers [Bostock] |
| 18143 | Frege makes numbers sets to solve the Caesar problem, but maybe Caesar is a set! [Bostock] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 18116 | Numbers can't be positions, if nothing decides what position a given number has [Bostock] |
| 18117 | Structuralism falsely assumes relations to other numbers are numbers' only properties [Bostock] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 18141 | Nominalism about mathematics is either reductionist, or fictionalist [Bostock] |
| 18157 | Nominalism as based on application of numbers is no good, because there are too many applications [Bostock] |
| 18150 | Actual measurement could never require the precision of the real numbers [Bostock] |
| 18158 | Ordinals are mainly used adjectively, as in 'the first', 'the second'... [Bostock] |
| 18127 | Simple type theory has 'levels', but ramified type theory has 'orders' [Bostock] |
| 18144 | Neo-logicists agree that HP introduces number, but also claim that it suffices for the job [Bostock] |
| 18147 | Neo-logicists meet the Caesar problem by saying Hume's Principle is unique to number [Bostock] |
| 18146 | If Hume's Principle is the whole story, that implies structuralism [Bostock] |
| 18129 | Many crucial logicist definitions are in fact impredicative [Bostock] |
| 18111 | Treating numbers as objects doesn't seem like logic, since arithmetic fixes their totality [Bostock] |
| 18159 | Higher cardinalities in sets are just fairy stories [Bostock] |
| 18155 | A fairy tale may give predictions, but only a true theory can give explanations [Bostock] |
| 18140 | The best version of conceptualism is predicativism [Bostock] |
| 18138 | Conceptualism fails to grasp mathematical properties, infinity, and objective truth values [Bostock] |
| 18131 | If abstracta only exist if they are expressible, there can only be denumerably many of them [Bostock] |
| 18134 | Predicativism makes theories of huge cardinals impossible [Bostock] |
| 18135 | If mathematics rests on science, predicativism may be the best approach [Bostock] |
| 18136 | If we can only think of what we can describe, predicativism may be implied [Bostock] |
| 18133 | The usual definitions of identity and of natural numbers are impredicative [Bostock] |
| 18132 | The predicativity restriction makes a difference with the real numbers [Bostock] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 18121 | In logic a proposition means the same when it is and when it is not asserted [Bostock] |