Combining Texts

All the ideas for 'works', 'Db (chronology)' and 'What Required for Foundation for Maths?'

unexpand these ideas     |    start again     |     specify just one area for these texts


179 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
For Plato true wisdom is supernatural [Plato, by Weil]
     Full Idea: It is evident that Plato regards true wisdom as something supernatural.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.61
     A reaction: Taken literally, I assume this is wrong, but we can empathise with the thought. Wisdom has the feeling of rising above the level of mere knowledge, to achieve the overview I associate with philosophy.
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / a. Ancient chronology
323 (roughly): Euclid wrote 'Elements', summarising all of geometry [PG]
     Full Idea: Euclid: In around 323 BCE Euclid wrote his 'Elements', summarising all of known geometry.
     From: PG (Db (chronology) [2030])
1000 (roughly): Upanishads written (in Sanskrit); religious and philosophical texts [PG]
     Full Idea: In around 1000 BCE the Upanishads were written, the most philosophical of ancient Hindu texts
     From: PG (Db (chronology) [2030], 0001)
750 (roughly): the Book of Genesis written by Hebrew writers [PG]
     Full Idea: In around 750 BCE the Book of Genesis was written by an anonymous jewish writer
     From: PG (Db (chronology) [2030], 0250)
586: eclipse of the sun on the coast of modern Turkey was predicted by Thales of Miletus [PG]
     Full Idea: In 585 BCE there was an eclipse of the sun, which Thales of Miletus is said to have predicted
     From: PG (Db (chronology) [2030], 0415)
570: Anaximander flourished in Miletus [PG]
     Full Idea: Anaximander: In around 570 BCE the philosopher and astronomer Anaximander flourished in Miletus
     From: PG (Db (chronology) [2030], 0430)
563: the Buddha born in northern India [PG]
     Full Idea: In around 563 BCE Siddhartha Gautama, the Buddha, was born in northern India
     From: PG (Db (chronology) [2030], 0437)
540: Lao Tzu wrote 'Tao Te Ching', the basis of Taoism [PG]
     Full Idea: In around 540 BCE Lao Tzu wrote the 'Tao Te Ching', the basis of Taoism
     From: PG (Db (chronology) [2030], 0460)
529: Pythagoras created his secretive community at Croton in Sicily [PG]
     Full Idea: In around 529 BCE Pythagoras set up a community in Croton, with strict and secret rules and teachings
     From: PG (Db (chronology) [2030], 0471)
500: Heraclitus flourishes at Ephesus, in modern Turkey [PG]
     Full Idea: In around 500 BCE Heraclitus flourished in the city of Ephesus in Ionia
     From: PG (Db (chronology) [2030], 0500)
496: Confucius travels widely, persuading rulers to be more moral [PG]
     Full Idea: In 496 BCE Confucius began a period of wandering, to persuade rulers to be more moral
     From: PG (Db (chronology) [2030], 0504)
472: Empedocles persuades his city (Acragas in Sicily) to become a democracy [PG]
     Full Idea: In 472 BCE Empedocles helped his city of Acragas change to democracy
     From: PG (Db (chronology) [2030], 0528)
450 (roughly): Parmenides and Zeno visit Athens from Italy [PG]
     Full Idea: In around 450 BCE Parmenides and Zeno visited the festival in Athens
     From: PG (Db (chronology) [2030], 0550)
445: Protagoras helps write laws for the new colony of Thurii [PG]
     Full Idea: In 443 BCE Protagoras helped write the laws for the new colony of Thurii
     From: PG (Db (chronology) [2030], 0557)
436 (roughly): Anaxagoras is tried for impiety, and expelled from Athens [PG]
     Full Idea: In about 436 BCE Anaxagoras was tried on a charge of impiety and expelled from Athens
     From: PG (Db (chronology) [2030], 0564)
427: Gorgias visited Athens as ambassador for Leontini [PG]
     Full Idea: In 427 BCE Gorgias of Leontini visited Athens as an ambassador for his city
     From: PG (Db (chronology) [2030], 0573)
399: Socrates executed (with Plato absent through ill health) [PG]
     Full Idea: In 399 BCE Plato was unwell, and was not present at the death of Socrates
     From: PG (Db (chronology) [2030], 0601)
387 (roughly): Plato returned to Athens, and founded the Academy [PG]
     Full Idea: In about 387 BCE Plato returned to Athens and founded his new school at the Academy
     From: PG (Db (chronology) [2030], 0613)
387 (roughly): Aristippus the Elder founder a hedonist school at Cyrene [PG]
     Full Idea: In around 387 BCE a new school was founded at Cyrene by Aristippus the elder
     From: PG (Db (chronology) [2030], 0613)
367: the teenaged Aristotle came to study at the Academy [PG]
     Full Idea: In 367 BCE the seventeen-year-old Aristotle came south to study at the Academy
     From: PG (Db (chronology) [2030], 0633)
360 (roughly): Diogenes of Sinope lives in a barrel in central Athens [PG]
     Full Idea: In around 360 BCE Diogenes of Sinope was living in a barrel in the Agora in Athens
     From: PG (Db (chronology) [2030], 0640)
347: death of Plato [PG]
     Full Idea: In 347 BCE Plato died
     From: PG (Db (chronology) [2030], 0653)
343: Aristotle becomes tutor to 13 year old Alexander (the Great) [PG]
     Full Idea: In 343 BCE at Stagira Aristotle became personal tutor to the thirteen-year-old Alexander (the Great)
     From: PG (Db (chronology) [2030], 0657)
335: Arisotle founded his school at the Lyceum in Athens [PG]
     Full Idea: In 335 BCE Aristotle founded the Lyceum in Athens
     From: PG (Db (chronology) [2030], 0665)
330 (roughly): Chuang Tzu wrote his Taoist book [PG]
     Full Idea: In around 330 BCE Chuang Tzu wrote a key work in the Taoist tradition
     From: PG (Db (chronology) [2030], 0670)
322: Aristotle retired to Chalcis, and died there [PG]
     Full Idea: In 322 BCE Aristotle retired to Chalcis in Euboea, where he died
     From: PG (Db (chronology) [2030], 0678)
307 (roughly): Epicurus founded his school at the Garden in Athens [PG]
     Full Idea: In about 307 BCE Epicurus founded his school at the Garden in Athens
     From: PG (Db (chronology) [2030], 0693)
301 (roughly): Zeno of Citium founded Stoicism at the Stoa Poikile in Athens [PG]
     Full Idea: In about 301 BCE the Stoic school was founded by Zeno of Citium in the Stoa Poikile in Athens
     From: PG (Db (chronology) [2030], 0699)
261: Cleanthes replaced Zeno as head of the Stoa [PG]
     Full Idea: In 261 BCE Cleanthes took over from Zeno as head of the Stoa.
     From: PG (Db (chronology) [2030], 0739)
229 (roughly): Chrysippus replaced Cleanthes has head of the Stoa [PG]
     Full Idea: In about 229 BCE Chrysippus took over from Cleanthes as the head of the Stoic school
     From: PG (Db (chronology) [2030], 0771)
157 (roughly): Carneades became head of the Academy [PG]
     Full Idea: In around 157 BCE Carneades took over as head of the Academy from Hegesinus
     From: PG (Db (chronology) [2030], 0843)
85: most philosophical activity moves to Alexandria [PG]
     Full Idea: In around 85 BCE Athens went into philosophical decline, and leadership moved to Alexandria
     From: PG (Db (chronology) [2030], 0915)
78: Cicero visited the stoic school on Rhodes [PG]
     Full Idea: In around 78 BCE Cicero visited the school of Posidonius in Rhodes.
     From: PG (Db (chronology) [2030], 0922)
60 (roughly): Lucretius wrote his Latin poem on epicureanism [PG]
     Full Idea: In around 60 BCE Lucretius wrote his Latin poem on Epicureanism
     From: PG (Db (chronology) [2030], 0940)
65: Seneca forced to commit suicide by Nero [PG]
     Full Idea: In 65 CE Seneca was forced to commit suicide by the Emperor Nero.
     From: PG (Db (chronology) [2030], 1065)
80: the discourses of the stoic Epictetus are written down [PG]
     Full Idea: In around 80 CE the 'Discourses' of the freed slave Epictetus were written down in Rome.
     From: PG (Db (chronology) [2030], 1080)
170 (roughly): Marcus Aurelius wrote his private stoic meditations [PG]
     Full Idea: In around 170 CE the Emperor Marcus Aurelius wrote his 'Meditations' for private reading.
     From: PG (Db (chronology) [2030], 1170)
-200 (roughly): Sextus Empiricus wrote a series of books on scepticism [PG]
     Full Idea: In around 200 CE Sextus Empiricus wrote a series of books (which survive) defending scepticism
     From: PG (Db (chronology) [2030], 1200)
263: Porphyry began to study with Plotinus in Rome [PG]
     Full Idea: In 263 CE Porphyry joined Plotinus' classes in Rome
     From: PG (Db (chronology) [2030], 1263)
310: Christianity became the official religion of the Roman empire [PG]
     Full Idea: In 310 CE Christianity became the official religion of the Roman Empire
     From: PG (Db (chronology) [2030], 1310)
387: Ambrose converts Augustine to Christianity [PG]
     Full Idea: In 387 CE Augustine converted to Christianity in Milan, guided by St Ambrose
     From: PG (Db (chronology) [2030], 1387)
523: Boethius imprisoned at Pavia, and begins to write [PG]
     Full Idea: In 523 CE Boethius was imprisoned in exile at Pavia, and wrote 'Consolations of Philosophy'
     From: PG (Db (chronology) [2030], 1523)
529: the emperor Justinian closes all the philosophy schools in Athens [PG]
     Full Idea: In 529 CE the Emperor Justinian closed all the philosophy schools in Athens
     From: PG (Db (chronology) [2030], 1529)
1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
Plato never mentions Democritus, and wished to burn his books [Plato, by Diog. Laertius]
     Full Idea: Plato, who mentions nearly all the ancient philosophers, nowhere speaks of Democritus; he wished to burn all of his books, but was persuaded that it was futile.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.7.8
1. Philosophy / C. History of Philosophy / 3. Earlier European Philosophy / a. Earlier European chronology
622 (roughly): Mohammed writes the Koran [PG]
     Full Idea: Mohammed: In about 622 CE Muhammed wrote the basic text of Islam, the Koran.
     From: PG (Db (chronology) [2030], 1622)
642: Arabs close the philosophy schools in Alexandria [PG]
     Full Idea: In 642 CE Alexandria was captured by the Arabs, and the philosophy schools were closed
     From: PG (Db (chronology) [2030], 1642)
910 (roughly): Al-Farabi wrote Arabic commentaries on Aristotle [PG]
     Full Idea: Alfarabi: In around 910 CE Al-Farabi explained and expanded Aristotle for the Islamic world.
     From: PG (Db (chronology) [2030], 1910)
1015 (roughly): Ibn Sina (Avicenna) writes a book on Aristotle [PG]
     Full Idea: In around 1015 Avicenna produced his Platonised version of Aristotle in 'The Healing'
     From: PG (Db (chronology) [2030], 2015)
1090: Anselm publishes his proof of the existence of God [PG]
     Full Idea: Anselm: In about 1090 St Anselm of Canterbury publishes his Ontological Proof of God's existence
     From: PG (Db (chronology) [2030], 2090)
1115: Abelard is the chief logic teacher in Paris [PG]
     Full Idea: In around 1115 Abelard became established as the chief logic teacher in Paris
     From: PG (Db (chronology) [2030], 2115)
1166: Ibn Rushd (Averroes) wrote extensive commentaries on Aristotle [PG]
     Full Idea: In around 1166 Averroes (Ibn Rushd), in Seville, wrote extensive commentaries on Aristotle
     From: PG (Db (chronology) [2030], 2166)
1266: Aquinas began writing 'Summa Theologica' [PG]
     Full Idea: In 1266 Aquinas began writing his great theological work, the 'Summa Theologica'
     From: PG (Db (chronology) [2030], 2266)
1280: after his death, the teaching of Aquinas becomes official Dominican doctrine [PG]
     Full Idea: In around 1280 Aquinas's teaching became the official theology of the Dominican order
     From: PG (Db (chronology) [2030], 2280)
1328: William of Ockham decides the Pope is a heretic, and moves to Munich [PG]
     Full Idea: In 1328 William of Ockham decided the Pope was a heretic, and moved to Munich
     From: PG (Db (chronology) [2030], 2328)
1347: the Church persecutes philosophical heresies [PG]
     Full Idea: In 1347 the Church began extensive persecution of unorthodox philosophical thought
     From: PG (Db (chronology) [2030], 2347)
1470: Marsilio Ficino founds a Platonic Academy in Florence [PG]
     Full Idea: In around 1470 Marsilio Ficino founded a Platonic Academy in Florence
     From: PG (Db (chronology) [2030], 2470)
1513: Machiavelli wrote 'The Prince' [PG]
     Full Idea: In 1513 Machiavelli wrote 'The Prince', a tough view of political theory.
     From: PG (Db (chronology) [2030], 2513)
1543: Copernicus publishes his heliocentric view of the solar system [PG]
     Full Idea: In 1543 Nicholas Copernicus, a Polish monk, publishes his new theory of the solar system.
     From: PG (Db (chronology) [2030], 2543)
1580: Montaigne publishes his essays [PG]
     Full Idea: In 1580 Montaigne published a volume of his 'Essays'
     From: PG (Db (chronology) [2030], 2580)
1600: Giordano Bruno was burned at the stake in Rome [PG]
     Full Idea: In 1600 Giordano Bruno was burnt at the stake in Rome, largely for endorsing Copernicus
     From: PG (Db (chronology) [2030], 2600)
1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / a. Later European chronology
1619: Descartes's famous day of meditation inside a stove [PG]
     Full Idea: In 1619 Descartes had a famous day of meditation in a heated stove at Ulm
     From: PG (Db (chronology) [2030], 2619)
1620: Bacon publishes 'Novum Organum' [PG]
     Full Idea: Francis Bacon: In 1620 Bacon published his 'Novum Organon', urging the rise of experimental science
     From: PG (Db (chronology) [2030], 2620)
1633: Galileo convicted of heresy by the Inquisition [PG]
     Full Idea: In 1633 Galileo was condemned to life emprisonment for contradicting church teachings.
     From: PG (Db (chronology) [2030], 2633)
1641: Descartes publishes his 'Meditations' [PG]
     Full Idea: In 1641 Descartes published his well-known 'Meditations', complete with Objections and Replies
     From: PG (Db (chronology) [2030], 2641)
1650: death of Descartes, in Stockholm [PG]
     Full Idea: In 1650 Descartes died in Stockholm, after stressful work for Queen Christina
     From: PG (Db (chronology) [2030], 2650)
1651: Hobbes publishes 'Leviathan' [PG]
     Full Idea: In 1651 Hobbes published his great work on politics and contract morality, 'Leviathan'
     From: PG (Db (chronology) [2030], 2651)
1662: the Port Royal Logic is published [PG]
     Full Idea: Antoine Arnauld: In 1662 Arnauld and Nicole published their famous text, the 'Port-Royal Logic'
     From: PG (Db (chronology) [2030], 2662)
1665: Spinoza writes his 'Ethics' [PG]
     Full Idea: In 1665 the first draft of Spinoza's 'Ethics', his major work, was finished, and published posthumously
     From: PG (Db (chronology) [2030], 2665)
1676: Leibniz settled as librarian to the Duke of Brunswick [PG]
     Full Idea: In 1676 Leibniz became librarian to the Duke of Brunswick, staying for the rest of his life
     From: PG (Db (chronology) [2030], 2676)
1687: Newton publishes his 'Principia Mathematica' [PG]
     Full Idea: In 1687 Newton published his 'Principia', containing his theory of gravity.
     From: PG (Db (chronology) [2030], 2687)
1690: Locke publishes his 'Essay' [PG]
     Full Idea: In 1690 Locke published his 'Essay', his major work on empiricism
     From: PG (Db (chronology) [2030], 2690)
1697: Bayle publishes his 'Dictionary' [PG]
     Full Idea: Pierre Bayle: In about 1697 Pierre Bayle published his 'Historical and Critical Dictionary'
     From: PG (Db (chronology) [2030], 2697)
1713: Berkeley publishes his 'Three Dialogues' [PG]
     Full Idea: In 1713 Berkeley published a popular account of his empiricist idealism in 'Three Dialogues'
     From: PG (Db (chronology) [2030], 2713)
1734: Voltaire publishes his 'Philosophical Letters' [PG]
     Full Idea: Francois-Marie Voltaire: In 1734 Voltaire's 'Lettres Philosophiques' praised liberalism and empiricism
     From: PG (Db (chronology) [2030], 2734)
1739: Hume publishes his 'Treatise' [PG]
     Full Idea: In 1739 Hume returned to Edinburgh and published his 'Treatise', but it sold very few copies
     From: PG (Db (chronology) [2030], 2739)
1762: Rousseau publishes his 'Social Contract' [PG]
     Full Idea: In 1762 Rousseau published his 'Social Contract', basing politics on the popular will
     From: PG (Db (chronology) [2030], 2762)
1781: Kant publishes his 'Critique of Pure Reason' [PG]
     Full Idea: In 1781 Kant published his first great work, the 'Critique of Pure Reason'
     From: PG (Db (chronology) [2030], 2781)
1785: Reid publishes his essays defending common sense [PG]
     Full Idea: In 1785 Thomas Reid, based in Glasgow, published essays defending common sense.
     From: PG (Db (chronology) [2030], 2785)
1798: the French Revolution [PG]
     Full Idea: In 1789 the French Revolution gave strong impetus to the anti-rational 'Romantic' movement
     From: PG (Db (chronology) [2030], 2789)
1807: Hegel publishes his 'Phenomenology of Spirit' [PG]
     Full Idea: In 1807 Hegel published his first major work, the 'Phenomenology of Spirit'
     From: PG (Db (chronology) [2030], 2807)
1818: Schopenhauer publishes his 'World as Will and Idea' [PG]
     Full Idea: In 1818 Schopenhauer published 'The World as Will and Idea', his major work
     From: PG (Db (chronology) [2030], 2818)
1840: Kierkegaard is writing extensively in Copenhagen [PG]
     Full Idea: In around 1840 Kierkegaard lived a quiet life as a writer in Copenhagen
     From: PG (Db (chronology) [2030], 2840)
1843: Mill publishes his 'System of Logic' [PG]
     Full Idea: In 1843 Mill published his 'System of Logic'
     From: PG (Db (chronology) [2030], 2843)
1848: Marx and Engels publis the Communist Manifesto [PG]
     Full Idea: Karl Marx: In 1848 Marx and Engels published their 'Communist Manifesto'
     From: PG (Db (chronology) [2030], 2848)
1859: Darwin publishes his 'Origin of the Species' [PG]
     Full Idea: Charles Darwin: In 1859 Charles Darwin published his theory of natural selection in 'Origin of the Species'.
     From: PG (Db (chronology) [2030], 2859)
1861: Mill publishes 'Utilitarianism' [PG]
     Full Idea: In 1861 Mill published his book 'Utilitarianism'
     From: PG (Db (chronology) [2030], 2861)
1867: Marx begins publishing 'Das Kapital' [PG]
     Full Idea: Karl Marx: In 1867 Karl Marx began publishing his political work 'Das Kapital'
     From: PG (Db (chronology) [2030], 2867)
1. Philosophy / C. History of Philosophy / 5. Modern Philosophy / a. Modern philosophy chronology
1879: Peirce taught for five years at Johns Hopkins University [PG]
     Full Idea: In 1879 Peirce began five years of teaching at Johns Hopkins University
     From: PG (Db (chronology) [2030], 2879)
1879: Frege invents predicate logic [PG]
     Full Idea: In 1879 Frege published his 'Concept Script', which created predicate logic
     From: PG (Db (chronology) [2030], 2879)
1892: Frege's essay 'Sense and Reference' [PG]
     Full Idea: In 1892 Frege published his famous essay 'Sense and Reference' (Sinn und Bedeutung)
     From: PG (Db (chronology) [2030], 2882)
1884: Frege publishes his 'Foundations of Arithmetic' [PG]
     Full Idea: In 1884 Frege published his 'Foundations of Arithmetic', the beginning of logicism
     From: PG (Db (chronology) [2030], 2884)
1885: Nietzsche completed 'Thus Spake Zarathustra' [PG]
     Full Idea: In about 1885 Nietzsche completed his book 'Also Sprach Zarathustra'
     From: PG (Db (chronology) [2030], 2885)
1888: Dedekind publishes axioms for arithmetic [PG]
     Full Idea: In 1888 Dedekind created simple axioms for arithmetic (the Peano Axioms)
     From: PG (Db (chronology) [2030], 2888)
1890: James published 'Principles of Psychology' [PG]
     Full Idea: In 1890 James published his 'Principles of Psychology'
     From: PG (Db (chronology) [2030], 2890)
1895 (roughly): Freud developed theories of the unconscious [PG]
     Full Idea: In around 1895 Sigmund Freud developed his theories of the unconscious mind
     From: PG (Db (chronology) [2030], 2895)
1900: Husserl began developing Phenomenology [PG]
     Full Idea: In 1900 Edmund Husserl began presenting his new philosophy of Phenomenology
     From: PG (Db (chronology) [2030], 2900)
1903: Moore published 'Principia Ethica' [PG]
     Full Idea: In 1903 G.E. Moore published his 'Principia Ethica', attacking naturalistic ethics.
     From: PG (Db (chronology) [2030], 2903)
1904: Dewey became professor at Columbia University [PG]
     Full Idea: In 1904 Dewey moved to Columbia University in New York.
     From: PG (Db (chronology) [2030], 2904)
1908: Zermelo publishes axioms for set theory [PG]
     Full Idea: In 1908 Zermelo published an axiomatisation of the new set theory
     From: PG (Db (chronology) [2030], 2908)
1910: Russell and Whitehead begin publishing 'Principia Mathematica' [PG]
     Full Idea: In 1910 Russell began publication of 'Principia Mathematica', with Whitehead
     From: PG (Db (chronology) [2030], 2910)
1912: Russell meets Wittgenstein in Cambridge [PG]
     Full Idea: In 1912 Russell met Wittgenstein at Cambridge
     From: PG (Db (chronology) [2030], 2912)
1921: Wittgenstein's 'Tractatus' published [PG]
     Full Idea: In 1921 Wittgenstein's 'Tractatus' was published
     From: PG (Db (chronology) [2030], 2921)
1927: Heidegger's 'Being and Time' published [PG]
     Full Idea: In 1927 Heidegger's major work, 'Being and Time', was published
     From: PG (Db (chronology) [2030], 2927)
1930: Frank Ramsey dies at 27 [PG]
     Full Idea: In 1930 Frank Ramsey died at the age of 27.
     From: PG (Db (chronology) [2030], 2930)
1931: Gödel's Incompleteness Theorems [PG]
     Full Idea: Kurt Gödel: In 1931 the mathematician Kurt Gödel publishes his Incompleteness Theorems.
     From: PG (Db (chronology) [2030], 2931)
1933: Tarski's theory of truth [PG]
     Full Idea: Alfred Tarski: In 1933 Alfred Tarski wrote a famous paper presenting a semantic theory of truth.
     From: PG (Db (chronology) [2030], 2933)
1942: Camus published 'The Myth of Sisyphus' [PG]
     Full Idea: In 1942 Camus published 'The Myth of Sisyphus', exploring suicide and the absurd
     From: PG (Db (chronology) [2030], 2942)
1943: Sartre's 'Being and Nothingness' [PG]
     Full Idea: In 1943 Jean-Paul Sartre published his major work, 'Being and Nothingness'
     From: PG (Db (chronology) [2030], 2943)
1945: Merleau-Ponty's 'Phenomenology of Perception' [PG]
     Full Idea: Maurice Merleau-Ponty: In 1945 Maurice Merleau-Pont published 'The Phenomenology of Perception'
     From: PG (Db (chronology) [2030], 2945)
1947: Carnap published 'Meaning and Necessity' [PG]
     Full Idea: In 1947 Carnap published 'Meaning and Necessity'
     From: PG (Db (chronology) [2030], 2947)
1950: Quine's essay 'Two Dogmas of Empiricism' [PG]
     Full Idea: In 1950 Willard Quine published 'Two Dogmas of Empiricism', attacking analytic truth
     From: PG (Db (chronology) [2030], 2950)
1953: Wittgenstein's 'Philosophical Investigations' [PG]
     Full Idea: In 1953 Wittgenstein's posthumous work 'Philosophical Investigations' is published
     From: PG (Db (chronology) [2030], 2953)
1956: Place proposed mind-brain identity [PG]
     Full Idea: In 1956 U.T. Place proposed that the mind is identical to the brain
     From: PG (Db (chronology) [2030], 2956)
1962: Kuhn's 'Structure of Scientific Revolutions' [PG]
     Full Idea: In 1962 Thomas Kuhn's 'Structure of Scientific Revolutions' questioned the authority of science
     From: PG (Db (chronology) [2030], 2962)
1967: Putnam proposed functionalism of the mind [PG]
     Full Idea: In 1967 Putname proposed the functionalist view of the mind
     From: PG (Db (chronology) [2030], 2967)
1971: Rawls's 'A Theory of Justice' [PG]
     Full Idea: In 1971 John Rawls published his famous defence of liberalism in 'A Theory of Justice'
     From: PG (Db (chronology) [2030], 2971)
1972: Kripke publishes 'Naming and Necessity' [PG]
     Full Idea: In 1972 Saul Kripke's 'Naming and Necessity' revised theories about language and reality
     From: PG (Db (chronology) [2030], 2972)
1975: Singer publishes 'Animal Rights' [PG]
     Full Idea: Peter Singer: In 1975 Peter Singer's 'Animal Rights' turned the attention of philosophers to applied ethics.
     From: PG (Db (chronology) [2030], 2975)
1975: Putnam published his Twin Earth example [PG]
     Full Idea: In 1975 Putnam published 'The Meaning of 'Meaning'', containing his Twin Earth example
     From: PG (Db (chronology) [2030], 2975)
1986: David Lewis publishes 'On the Plurality of Worlds' [PG]
     Full Idea: In 1986 David Lewis published 'On the Plurality of Worlds', about possible worlds.
     From: PG (Db (chronology) [2030], 2986)
2. Reason / C. Styles of Reason / 1. Dialectic
Two contradictories force us to find a relation which will correlate them [Plato, by Weil]
     Full Idea: Where contradictions appear there is a correlation of contraries, which is relation. If a contradiction is imposed on the intelligence, it is forced to think of a relation to transform the contradiction into a correlation, which draws the soul higher.
     From: report of Plato (works [c.375 BCE]) by Simone Weil - God in Plato p.70
     A reaction: A much better account of the dialectic than anything I have yet seen in Hegel. For the first time I see some sense in it. A contradiction is not a falsehood, and it must be addressed rather than side-stepped. A kink in the system, that needs ironing.
2. Reason / D. Definition / 2. Aims of Definition
Definitions make our intuitions mathematically useful [Mayberry]
     Full Idea: Definition provides us with the means for converting our intuitions into mathematically usable concepts.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1)
2. Reason / E. Argument / 6. Conclusive Proof
Proof shows that it is true, but also why it must be true [Mayberry]
     Full Idea: When you have proved something you know not only that it is true, but why it must be true.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-2)
     A reaction: Note the word 'must'. Presumably both the grounding and the necessitation of the truth are revealed.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry]
     Full Idea: Set theory cannot be an axiomatic theory, because the very notion of an axiomatic theory makes no sense without it.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.413-2)
     A reaction: This will come as a surprise to Penelope Maddy, who battles with ways to accept the set theory axioms as the foundation of mathematics. Mayberry says that the basic set theory required is much more simple and intuitive.
There is a semi-categorical axiomatisation of set-theory [Mayberry]
     Full Idea: We can give a semi-categorical axiomatisation of set-theory (all that remains undetermined is the size of the set of urelements and the length of the sequence of ordinals). The system is second-order in formalisation.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.413-2)
     A reaction: I gather this means the models may not be isomorphic to one another (because they differ in size), but can be shown to isomorphic to some third ingredient. I think. Mayberry says this shows there is no such thing as non-Cantorian set theory.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry]
     Full Idea: The (misnamed!) Axiom of Infinity expresses Cantor's fundamental assumption that the species of natural numbers is finite in size.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2)
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry]
     Full Idea: The idea of 'generating' sets is only a metaphor - the existence of the hierarchy is established without appealing to such dubious notions.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2)
     A reaction: Presumably there can be a 'dependence' or 'determination' relation which does not involve actual generation.
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
Limitation of size is part of the very conception of a set [Mayberry]
     Full Idea: Our very notion of a set is that of an extensional plurality limited in size.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-2)
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
The mainstream of modern logic sees it as a branch of mathematics [Mayberry]
     Full Idea: In the mainstream tradition of modern logic, beginning with Boole, Peirce and Schröder, descending through Löwenheim and Skolem to reach maturity with Tarski and his school ...saw logic as a branch of mathematics.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.410-1)
     A reaction: [The lesser tradition, of Frege and Russell, says mathematics is a branch of logic]. Mayberry says the Fregean tradition 'has almost died out'.
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic only has its main theorems because it is so weak [Mayberry]
     Full Idea: First-order logic is very weak, but therein lies its strength. Its principle tools (Compactness, Completeness, Löwenheim-Skolem Theorems) can be established only because it is too weak to axiomatize either arithmetic or analysis.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.411-2)
     A reaction: He adds the proviso that this is 'unless we are dealing with structures on whose size we have placed an explicit, finite bound' (p.412-1).
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Only second-order logic can capture mathematical structure up to isomorphism [Mayberry]
     Full Idea: Second-order logic is a powerful tool of definition: by means of it alone we can capture mathematical structure up to isomorphism using simple axiom systems.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry]
     Full Idea: The 'logica magna' [of the Fregean tradition] has quantifiers ranging over a fixed domain, namely everything there is. In the Boolean tradition the domains differ from interpretation to interpretation.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.410-2)
     A reaction: Modal logic displays both approaches, with different systems for global and local domains.
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry]
     Full Idea: No logic which can axiomatize real analysis can have the Löwenheim-Skolem property.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry]
     Full Idea: The purpose of a 'classificatory' axiomatic theory is to single out an otherwise disparate species of structures by fixing certain features of morphology. ...The aim is to single out common features.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.406-2)
Axiomatiation relies on isomorphic structures being essentially the same [Mayberry]
     Full Idea: The central dogma of the axiomatic method is this: isomorphic structures are mathematically indistinguishable in their essential properties.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.406-2)
     A reaction: Hence it is not that we have to settle for the success of a system 'up to isomorphism', since that was the original aim. The structures must differ in their non-essential properties, or they would be the same system.
'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry]
     Full Idea: The purpose of what I am calling 'eliminatory' axiomatic theories is precisely to eliminate from mathematics those peculiar ideal and abstract objects that, on the traditional view, constitute its subject matter.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-1)
     A reaction: A very interesting idea. I have a natural antipathy to 'abstract objects', because they really mess up what could otherwise be a very tidy ontology. What he describes might be better called 'ignoring' axioms. The objects may 'exist', but who cares?
5. Theory of Logic / K. Features of Logics / 6. Compactness
No logic which can axiomatise arithmetic can be compact or complete [Mayberry]
     Full Idea: No logic which can axiomatise arithmetic can be compact or complete.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)
     A reaction: I take this to be because there are new truths in the transfinite level (as well as the problem of incompleteness).
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry]
     Full Idea: We eliminate the real numbers by giving an axiomatic definition of the species of complete ordered fields. These axioms are categorical (mutually isomorphic), and thus are mathematically indistinguishable.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.408-2)
     A reaction: Hence my clever mathematical friend says that it is a terrible misunderstanding to think that mathematics is about numbers. Mayberry says the reals are one ordered field, but mathematics now studies all ordered fields together.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / b. Quantity
Greek quantities were concrete, and ratio and proportion were their science [Mayberry]
     Full Idea: Quantities for Greeks were concrete things - lines, surfaces, solids, times, weights. At the centre of their science of quantity was the beautiful theory of ratio and proportion (...in which the notion of number does not appear!).
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-2)
     A reaction: [He credits Eudoxus, and cites Book V of Euclid]
Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry]
     Full Idea: The abstract objects of modern mathematics, the real numbers, were invented by the mathematicians of the seventeenth century in order to simplify and to generalize the Greek science of quantity.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.407-2)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry]
     Full Idea: In Cantor's new vision, the infinite, the genuine infinite, does not disappear, but presents itself in the guise of the absolute, as manifested in the species of all sets or the species of all ordinal numbers.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2)
Cantor extended the finite (rather than 'taming the infinite') [Mayberry]
     Full Idea: We may describe Cantor's achievement by saying, not that he tamed the infinite, but that he extended the finite.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.414-2)
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
If proof and definition are central, then mathematics needs and possesses foundations [Mayberry]
     Full Idea: If we grant, as surely we must, the central importance of proof and definition, then we must also grant that mathematics not only needs, but in fact has, foundations.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1)
The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry]
     Full Idea: The ultimate principles upon which mathematics rests are those to which mathematicians appeal without proof; and the primitive concepts of mathematics ...themselves are grasped directly, if grasped at all, without the mediation of definition.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1)
     A reaction: This begs the question of whether the 'grasping' is purely a priori, or whether it derives from experience. I defend the latter, and Jenkins puts the case well.
Foundations need concepts, definition rules, premises, and proof rules [Mayberry]
     Full Idea: An account of the foundations of mathematics must specify four things: the primitive concepts for use in definitions, the rules governing definitions, the ultimate premises of proofs, and rules allowing advance from premises to conclusions.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-2)
Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry]
     Full Idea: No axiomatic theory, formal or informal, of first or of higher order can logically play a foundational role in mathematics. ...It is obvious that you cannot use the axiomatic method to explain what the axiomatic method is.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-2)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry]
     Full Idea: The sole theoretical interest of first-order Peano arithmetic derives from the fact that it is a first-order reduct of a categorical second-order theory. Its axioms can be proved incomplete only because the second-order theory is categorical.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry]
     Full Idea: If we did not know that the second-order axioms characterise the natural numbers up to isomorphism, we should have no reason to suppose, a priori, that first-order Peano Arithmetic should be complete.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry]
     Full Idea: The idea that set theory must simply be identified with first-order Zermelo-Fraenkel is surprisingly widespread. ...The first-order axiomatic theory of sets is clearly inadequate as a foundation of mathematics.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.412-2)
     A reaction: [He is agreeing with a quotation from Skolem].
We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry]
     Full Idea: One does not have to translate 'ordinary' mathematics into the Zermelo-Fraenkel system: ordinary mathematics comes embodied in that system.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.415-1)
     A reaction: Mayberry seems to be a particular fan of set theory as spelling out the underlying facts of mathematics, though it has to be second-order.
Set theory is not just another axiomatised part of mathematics [Mayberry]
     Full Idea: The fons et origo of all confusion is the view that set theory is just another axiomatic theory and the universe of sets just another mathematical structure. ...The universe of sets ...is the world that all mathematical structures inhabit.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.416-1)
8. Modes of Existence / A. Relations / 3. Structural Relations
Plato's idea of 'structure' tends to be mathematically expressed [Plato, by Koslicki]
     Full Idea: 'Structure' tends to be characterized by Plato as something that is mathematically expressed.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects V.3 iv
     A reaction: [Koslicki is drawing on Verity Harte here]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Platonists argue for the indivisible triangle-in-itself [Plato, by Aristotle]
     Full Idea: The Platonists, on the basis of purely logical arguments, posit the existence of an indivisible 'triangle in itself'.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 316a15
     A reaction: A helpful confirmation that geometrical figures really are among the Forms (bearing in mind that numbers are not, because they contain one another). What shape is the Form of the triangle?
When Diogenes said he could only see objects but not their forms, Plato said it was because he had eyes but no intellect [Plato, by Diog. Laertius]
     Full Idea: When Diogenes told Plato he saw tables and cups, but not 'tableness' and 'cupness', Plato replied that this was because Diogenes had eyes but no intellect.
     From: report of Plato (works [c.375 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.2.6
Plato's Forms meant that the sophists only taught the appearance of wisdom and virtue [Plato, by Nehamas]
     Full Idea: Plato's theory of Forms allowed him to claim that the sophists and other opponents were trapped in the world of appearance. What they therefore taught was only apparent wisdom and virtue.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.118
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
If there is one Form for both the Form and its participants, they must have something in common [Aristotle on Plato]
     Full Idea: If there is the same Form for the Forms and for their participants, then they must have something in common.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
8. Modes of Existence / D. Universals / 6. Platonic Forms / c. Self-predication
If gods are like men, they are just eternal men; similarly, Forms must differ from particulars [Aristotle on Plato]
     Full Idea: We say there is the form of man, horse and health, but nothing else, making the same mistake as those who say that there are gods but that they are in the form of men. They just posit eternal men, and here we are not positing forms but eternal sensibles.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 997b
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
A Form is a cause of things only in the way that white mixed with white is a cause [Aristotle on Plato]
     Full Idea: A Form is a cause of things only in the way that white mixed with white is a cause.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 991a
The Forms cannot be changeless if they are in changing things [Aristotle on Plato]
     Full Idea: The Forms could not be changeless if they were in changing things.
     From: comment on Plato (works [c.375 BCE]) by Aristotle - Metaphysics 998a
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
The greatest discovery in human thought is Plato's discovery of abstract objects [Brown,JR on Plato]
     Full Idea: The greatest discovery in the history of human thought is Plato's discovery of abstract objects.
     From: comment on Plato (works [c.375 BCE]) by James Robert Brown - Philosophy of Mathematics Ch. 2
     A reaction: Compare Idea 2860! Given the diametrically opposed views, it is clearly likely that Plato's central view is the most important idea in the history of human thought, even if it is wrong.
Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry]
     Full Idea: The abstractness of the old fashioned real numbers has been replaced by generality in the modern theory of complete ordered fields.
     From: John Mayberry (What Required for Foundation for Maths? [1994], p.408-2)
     A reaction: In philosophy, I'm increasingly thinking that we should talk much more of 'generality', and a great deal less about 'universals'. (By which I don't mean that redness is just the set of red things).
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
We can grasp whole things in science, because they have a mathematics and a teleology [Plato, by Koslicki]
     Full Idea: Due to the mathematical nature of structure and the teleological cause underlying the creation of Platonic wholes, these wholes are intelligible, and are in fact the proper objects of science.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: I like this idea, because it pays attention to the connection between how we conceive objects to be, and how we are able to think about objects. Only examining these two together enables us to grasp metaphysics.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Plato sees an object's structure as expressible in mathematics [Plato, by Koslicki]
     Full Idea: The 'structure' of an object tends to be characterised by Plato as something that is mathematically expressible.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.3
     A reaction: This seems to be pure Pythagoreanism (see Idea 644). Plato is pursuing Pythagoras's research programme, of trying to find mathematics buried in every aspect of reality.
Plato was less concerned than Aristotle with the source of unity in a complex object [Plato, by Koslicki]
     Full Idea: Plato was less concerned than Aristotle with the project of how to account, in completely general terms, for the source of unity within a mereologically complex object.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.5
     A reaction: Plato seems to have simply asserted that some sort of harmony held things together. Aristotles puts the forms [eidos] within objects, rather than external, so he has to give a fuller account of what is going on in an object. He never managed it!
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
Plato's holds that there are three substances: Forms, mathematical entities, and perceptible bodies [Plato, by Aristotle]
     Full Idea: Plato's doctrine was that the Forms and mathematicals are two substances and that the third substance is that of perceptible bodies.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Metaphysics 1028b
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Plato says wholes are either containers, or they're atomic, or they don't exist [Plato, by Koslicki]
     Full Idea: Plato considers a 'container' model for wholes (which are disjoint from their parts) [Parm 144e3-], and a 'nihilist' model, in which only wholes are mereological atoms, and a 'bare pluralities' view, in which wholes are not really one at all.
     From: report of Plato (works [c.375 BCE]) by Kathrin Koslicki - The Structure of Objects 5.2
     A reaction: [She cites Verity Harte for this analysis of Plato] The fourth, and best, seems to be that wholes are parts which fall under some unifying force or structure or principle.
9. Objects / D. Essence of Objects / 2. Types of Essence
Only universals have essence [Plato, by Politis]
     Full Idea: Plato argues that only universals have essence.
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Plato and Aristotle take essence to make a thing what it is [Plato, by Politis]
     Full Idea: Plato and Aristotle have a shared general conception of essence: the essence of a thing is what that thing is simply in virtue of itself and in virtue of being the very thing it is. It answers the question 'What is this very thing?'
     From: report of Plato (works [c.375 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.4
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
A good explanation totally rules out the opposite explanation (so Forms are required) [Plato, by Ruben]
     Full Idea: For Plato, an acceptable explanation is one such that there is no possibility of there being the opposite explanation at all, and he thought that only explanations in terms of the Forms, but never physical explanations, could meet this requirement.
     From: report of Plato (works [c.375 BCE]) by David-Hillel Ruben - Explaining Explanation Ch 2
     A reaction: [Republic 436c is cited]
18. Thought / A. Modes of Thought / 3. Emotions / g. Controlling emotions
Plato wanted to somehow control and purify the passions [Vlastos on Plato]
     Full Idea: Plato put high on his agenda a project which did not figure in Socrates' programme at all: the hygienic conditioning of the passions. This cannot be an intellectual process, as argument cannot touch them.
     From: comment on Plato (works [c.375 BCE]) by Gregory Vlastos - Socrates: Ironist and Moral Philosopher p.88
     A reaction: This is the standard traditional view of any thinker who exaggerates the importance and potential of reason in our lives.
19. Language / F. Communication / 1. Rhetoric
Plato's whole philosophy may be based on being duped by reification - a figure of speech [Benardete,JA on Plato]
     Full Idea: Plato is liable to the charge of having been duped by a figure of speech, albeit the most profound of all, the trope of reification.
     From: comment on Plato (works [c.375 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.12
     A reaction: That might be a plausible account if his view was ridiculous, but given how many powerful friends Plato has, especially in the philosophy of mathematics, we should assume he was cleverer than that.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Plato never refers to examining the conscience [Plato, by Foucault]
     Full Idea: Plato never speaks of the examination of conscience - never!
     From: report of Plato (works [c.375 BCE]) by Michel Foucault - On the Genealogy of Ethics p.276
     A reaction: Plato does imply some sort of self-evident direct knowledge about that nature of a healthy soul. Presumably the full-blown concept of conscience is something given from outside, from God. In 'Euthyphro', Plato asserts the primacy of morality (Idea 337).
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
As religion and convention collapsed, Plato sought morals not just in knowledge, but in the soul [Williams,B on Plato]
     Full Idea: Once gods and fate and social expectation were no longer there, Plato felt it necessary to discover ethics inside human nature, not just as ethical knowledge (Socrates' view), but in the structure of the soul.
     From: comment on Plato (works [c.375 BCE]) by Bernard Williams - Shame and Necessity II - p.43
     A reaction: anti Charles Taylor
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
Plato's legacy to European thought was the Good, the Beautiful and the True [Plato, by Gray]
     Full Idea: Plato's legacy to European thought was a trio of capital letters - the Good, the Beautiful and the True.
     From: report of Plato (works [c.375 BCE]) by John Gray - Straw Dogs 2.8
     A reaction: It seems to have been Baumgarten who turned this into a slogan (Idea 8117). Gray says these ideals are lethal, but I identify with them very strongly, and am quite happy to see the good life as an attempt to find the right balance between them.
22. Metaethics / C. The Good / 1. Goodness / f. Good as pleasure
Pleasure is better with the addition of intelligence, so pleasure is not the good [Plato, by Aristotle]
     Full Idea: Plato says the life of pleasure is more desirable with the addition of intelligence, and if the combination is better, pleasure is not the good.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Nicomachean Ethics 1172b27
     A reaction: It is obvious why we like pleasure, but not why intelligence makes it 'better'. Maybe it is just because we enjoy intelligence?
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
Plato decided that the virtuous and happy life was the philosophical life [Plato, by Nehamas]
     Full Idea: Plato came to the conclusion that virtue and happiness consist in the life of philosophy itself.
     From: report of Plato (works [c.375 BCE]) by Alexander Nehamas - Eristic,Antilogic,Sophistic,Dialectic p.117
     A reaction: This view is obviously ridiculous, because it largely excludes almost the entire human race, which sees philosophy as a cul-de-sac, even if it is good. But virtue and happiness need some serious thought.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Plato, unusually, said that theoretical and practical wisdom are inseparable [Plato, by Kraut]
     Full Idea: Two virtues that are ordinarily kept distinct - theoretical and practical wisdom - are joined by Plato; he thinks that neither one can be fully possessed unless it is combined with the other.
     From: report of Plato (works [c.375 BCE]) by Richard Kraut - Plato
     A reaction: I get the impression that this doctrine comes from Socrates, whose position is widely reported as 'intellectualist'. Aristotle certainly held the opposite view.
23. Ethics / F. Existentialism / 4. Boredom
Plato is boring [Nietzsche on Plato]
     Full Idea: Plato is boring.
     From: comment on Plato (works [c.375 BCE]) by Friedrich Nietzsche - Twilight of the Idols 9.2
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle]
     Full Idea: With a single exception (Plato) everyone agrees about time - that it is not generated. Democritus says time is an obvious example of something not generated.
     From: report of Plato (works [c.375 BCE]) by Aristotle - Physics 251b14