168 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] |
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] |
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] |
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] |
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] |
18097 | The Peano Axioms describe a unique structure [Bostock] |
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] |
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] |
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] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
18121 | In logic a proposition means the same when it is and when it is not asserted [Bostock] |