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] |
| 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] |
| 16295 | Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach] |
| 15342 | Tarski proved that any reasonably expressive language suffers from the liar paradox [Tarski, by Horsten] |
| 19069 | 'True sentence' has no use consistent with logic and ordinary language, so definition seems hopeless [Tarski] |
| 16296 | Tarski's Theorem renders any precise version of correspondence impossible [Tarski, by Halbach] |
| 10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence [Tarski, by Hossack] |
| 15339 | Tarski gave up on the essence of truth, and asked how truth is used, or how it functions [Tarski, by Horsten] |
| 16302 | Tarski did not just aim at a definition; he also offered an adequacy criterion for any truth definition [Tarski, by Halbach] |
| 19135 | Tarski enumerates cases of truth, so it can't be applied to new words or languages [Davidson on Tarski] |
| 19138 | Tarski define truths by giving the extension of the predicate, rather than the meaning [Davidson on Tarski] |
| 4699 | Tarski made truth relative, by only defining truth within some given artificial language [Tarski, by O'Grady] |
| 19324 | Tarski has to avoid stating how truths relate to states of affairs [Kirkham on Tarski] |
| 15410 | Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski] |
| 18811 | Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt] |
| 15365 | We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten] |
| 19314 | For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham] |
| 19316 | Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham] |
| 19175 | Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson] |
| 16303 | Tarski made truth respectable, by proving that it could be defined [Tarski, by Halbach] |
| 19134 | Tarski defined truth for particular languages, but didn't define it across languages [Davidson on Tarski] |
| 16304 | Tarski didn't capture the notion of an adequate truth definition, as Convention T won't prove non-contradiction [Halbach on Tarski] |
| 2571 | Tarski says that his semantic theory of truth is completely neutral about all metaphysics [Tarski, by Haack] |
| 10821 | Physicalists should explain reference nonsemantically, rather than getting rid of it [Tarski, by Field,H] |
| 10822 | A physicalist account must add primitive reference to Tarski's theory [Field,H on Tarski] |
| 10969 | Tarski had a theory of truth, and a theory of theories of truth [Tarski, by Read] |
| 17746 | Tarski's 'truth' is a precise relation between the language and its semantics [Tarski, by Walicki] |
| 10904 | Tarskian truth neglects the atomic sentences [Mulligan/Simons/Smith on Tarski] |
| 15322 | Tarski's had the first axiomatic theory of truth that was minimally adequate [Tarski, by Horsten] |
| 16306 | Tarski defined truth, but an axiomatisation can be extracted from his inductive clauses [Tarski, by Halbach] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 18759 | Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee] |
| 10823 | A name denotes an object if the object satisfies a particular sentential function [Tarski] |
| 18756 | Tarski built a compositional semantics for predicate logic, from dependent satisfactions [Tarski, by McGee] |
| 19313 | Tarksi invented the first semantics for predicate logic, using this conception of truth [Tarski, by Kirkham] |
| 16323 | The object language/ metalanguage distinction is the basis of model theory [Tarski, by Halbach] |
| 8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language [Tarski, by Fisher] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 10154 | Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics [Feferman/Feferman on Tarski] |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| 20407 | Taste is the capacity to judge an object or representation which is thought to be beautiful [Tarski, by Schellekens] |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |