164 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] |
| 10073 | There cannot be a set theory which is complete [Smith,P] |
| 10616 | Second-order arithmetic can prove new sentences of first-order [Smith,P] |
| 10075 | A 'partial function' maps only some elements to another set [Smith,P] |
| 10074 | A 'total function' maps every element to one element in another set [Smith,P] |
| 10612 | An argument is a 'fixed point' for a function if it is mapped back to itself [Smith,P] |
| 10076 | The 'range' of a function is the set of elements in the output set created by the function [Smith,P] |
| 10605 | Two functions are the same if they have the same extension [Smith,P] |
| 10615 | The Comprehension Schema says there is a property only had by things satisfying a condition [Smith,P] |
| 10595 | A 'theorem' of a theory is a sentence derived from the axioms using the proof system [Smith,P] |
| 10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
| 10613 | No nice theory can define truth for its own language [Smith,P] |
| 10078 | An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P] |
| 10077 | A 'surjective' ('onto') function creates every element of the output set [Smith,P] |
| 10079 | A 'bijective' function has one-to-one correspondence in both directions [Smith,P] |
| 10070 | If everything that a theory proves is true, then it is 'sound' [Smith,P] |
| 10086 | Soundness is true axioms and a truth-preserving proof system [Smith,P] |
| 10596 | A theory is 'sound' iff every theorem is true (usually from true axioms and truth-preservation) [Smith,P] |
| 10598 | A theory is 'negation complete' if it proves all sentences or their negation [Smith,P] |
| 10597 | 'Complete' applies both to whole logics, and to theories within them [Smith,P] |
| 10069 | A theory is 'negation complete' if one of its sentences or its negation can always be proved [Smith,P] |
| 10609 | Two routes to Incompleteness: semantics of sound/expressible, or syntax of consistency/proof [Smith,P] |
| 10080 | 'Effective' means simple, unintuitive, independent, controlled, dumb, and terminating [Smith,P] |
| 10087 | A theory is 'decidable' if all of its sentences could be mechanically proved [Smith,P] |
| 10088 | Any consistent, axiomatized, negation-complete formal theory is decidable [Smith,P] |
| 10081 | A set is 'enumerable' is all of its elements can result from a natural number function [Smith,P] |
| 10083 | A set is 'effectively enumerable' if a computer could eventually list every member [Smith,P] |
| 10084 | A finite set of finitely specifiable objects is always effectively enumerable (e.g. primes) [Smith,P] |
| 10085 | The set of ordered pairs of natural numbers <i,j> is effectively enumerable [Smith,P] |
| 10601 | The thorems of a nice arithmetic can be enumerated, but not the truths (so they're diffferent) [Smith,P] |
| 10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
| 10599 | For primes we write (x not= 1 ∧ ∀u∀v(u x v = x → (u = 1 ∨ v = 1))) [Smith,P] |
| 10610 | The reals contain the naturals, but the theory of reals doesn't contain the theory of naturals [Smith,P] |
| 10619 | The truths of arithmetic are just true equations and their universally quantified versions [Smith,P] |
| 10618 | All numbers are related to zero by the ancestral of the successor relation [Smith,P] |
| 10608 | The number of Fs is the 'successor' of the Gs if there is a single F that isn't G [Smith,P] |
| 10849 | Baby arithmetic covers addition and multiplication, but no general facts about numbers [Smith,P] |
| 10850 | Baby Arithmetic is complete, but not very expressive [Smith,P] |
| 10852 | Robinson Arithmetic (Q) is not negation complete [Smith,P] |
| 10851 | Robinson Arithmetic 'Q' has basic axioms, quantifiers and first-order logic [Smith,P] |
| 10068 | Natural numbers have zero, unique successors, unending, no circling back, and no strays [Smith,P] |
| 10603 | The logic of arithmetic must quantify over properties of numbers to handle induction [Smith,P] |
| 10848 | Multiplication only generates incompleteness if combined with addition and successor [Smith,P] |
| 10604 | Incompleteness results in arithmetic from combining addition and successor with multiplication [Smith,P] |
| 10617 | The 'ancestral' of a relation is a new relation which creates a long chain of the original relation [Smith,P] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |