281 ideas
| 11300 | Agathon: good [PG] |
| Full Idea: Agathon: good, the highest good | |
| From: PG (Db (lexicon) [c.1001 BCE], 01) |
| 11301 | Aisthesis: perception, sensation, consciousness [PG] |
| Full Idea: Aisthesis: perception, sensation, consciousness | |
| From: PG (Db (lexicon) [c.1001 BCE], 02) |
| 11302 | Aitia / aition: cause, explanation [PG] |
| Full Idea: Aitia / aition: cause, explanation | |
| From: PG (Db (lexicon) [c.1001 BCE], 03) | |
| A reaction: The consensus is that 'explanation' is the better translation, and hence that the famous Four Causes (in 'Physics') must really be understood as the Four Modes of Explanation. They then make far more sense. |
| 11303 | Akrasia: lack of control, weakness of will [PG] |
| Full Idea: Akrasia: lack of control, weakness of will | |
| From: PG (Db (lexicon) [c.1001 BCE], 04) | |
| A reaction: The whole Greek debate (and modern debate, I would say) makes much more sense if we stick to 'lack of control' as the translation, and forget about weakness of will - and certainly give up 'incontinence' as a translation. |
| 11304 | Aletheia: truth [PG] |
| Full Idea: Aletheia: truth | |
| From: PG (Db (lexicon) [c.1001 BCE], 05) |
| 11305 | Anamnesis: recollection, remembrance [PG] |
| Full Idea: Anamnesis: recollection, remembrance | |
| From: PG (Db (lexicon) [c.1001 BCE], 06) | |
| A reaction: This is used for Plato's doctrine that we recollect past lives. |
| 11306 | Ananke: necessity [PG] |
| Full Idea: Ananke: necessity | |
| From: PG (Db (lexicon) [c.1001 BCE], 07) |
| 11307 | Antikeimenon: object [PG] |
| Full Idea: Antikeimenon: object | |
| From: PG (Db (lexicon) [c.1001 BCE], 08) |
| 11375 | Apatheia: unemotional [PG] |
| Full Idea: Apatheia: lack of involvement, unemotional | |
| From: PG (Db (lexicon) [c.1001 BCE], 09) |
| 11308 | Apeiron: the unlimited, indefinite [PG] |
| Full Idea: Apeiron: the unlimited, indefinite | |
| From: PG (Db (lexicon) [c.1001 BCE], 10) | |
| A reaction: Key term in the philosophy of Anaximander, the one unknowable underlying element. |
| 11376 | Aphairesis: taking away, abstraction [PG] |
| Full Idea: Aphairesis: taking away, abstraction | |
| From: PG (Db (lexicon) [c.1001 BCE], 11) |
| 11309 | Apodeixis: demonstration [PG] |
| Full Idea: Apodeixis: demonstration, proof | |
| From: PG (Db (lexicon) [c.1001 BCE], 12) |
| 11310 | Aporia: puzzle, question, anomaly [PG] |
| Full Idea: Aporia: puzzle, question, anomaly | |
| From: PG (Db (lexicon) [c.1001 BCE], 13) |
| 11311 | Arche: first principle, the basic [PG] |
| Full Idea: Arché: first principle, the basic | |
| From: PG (Db (lexicon) [c.1001 BCE], 14) | |
| A reaction: Interchangeable with 'aitia' by Aristotle. The first principle and the cause are almost identical. |
| 11312 | Arete: virtue, excellence [PG] |
| Full Idea: Areté: virtue, excellence | |
| From: PG (Db (lexicon) [c.1001 BCE], 15) | |
| A reaction: The word hovers between moral excellence and being good at what you do. Annas defends the older translation as 'virtue', rather than the modern 'excellence'. |
| 11313 | Chronismos: separation [PG] |
| Full Idea: Chronismos: separation | |
| From: PG (Db (lexicon) [c.1001 BCE], 16) |
| 11314 | Diairesis: division [PG] |
| Full Idea: Diairesis: division, distinction | |
| From: PG (Db (lexicon) [c.1001 BCE], 17) |
| 11315 | Dialectic: dialectic, discussion [PG] |
| Full Idea: Dialectic: dialectic, discussion | |
| From: PG (Db (lexicon) [c.1001 BCE], 18) |
| 11316 | Dianoia: intellection [cf. Noesis] [PG] |
| Full Idea: Dianoia: intellection, understanding [cf. Noesis] | |
| From: PG (Db (lexicon) [c.1001 BCE], 21) |
| 11317 | Diaphora: difference [PG] |
| Full Idea: Diaphora: difference | |
| From: PG (Db (lexicon) [c.1001 BCE], 22) |
| 11318 | Dikaiosune: moral goodness, justice [PG] |
| Full Idea: Dikaiosune: moral goodness, justice | |
| From: PG (Db (lexicon) [c.1001 BCE], 23) | |
| A reaction: Usually translated as 'justice' in 'Republic', but it is a general term of moral approbation, not like the modern political and legal notion of 'justice'. 'Justice' actually seems to be bad translation. |
| 11319 | Doxa: opinion, belief [PG] |
| Full Idea: Doxa: opinion, belief, judgement | |
| From: PG (Db (lexicon) [c.1001 BCE], 24) |
| 11320 | Dunamis: faculty, potentiality, capacity [PG] |
| Full Idea: Dunamis: faculty, potentiality, capacity | |
| From: PG (Db (lexicon) [c.1001 BCE], 25) |
| 11321 | Eidos: form, idea [PG] |
| Full Idea: Eidos: form, idea | |
| From: PG (Db (lexicon) [c.1001 BCE], 26) | |
| A reaction: In Plato it is the word best translated as 'Form' (Theory of...); in Aritotle's 'Categories' it designates the species, and in 'Metaphysics' it ends up naming the structural form of the species (and hence the essence) [Wedin p.120] |
| 11322 | Elenchos: elenchus, interrogation [PG] |
| Full Idea: Elenchos: elenchus, interrogation | |
| From: PG (Db (lexicon) [c.1001 BCE], 27) |
| 11323 | Empeiron: experience [PG] |
| Full Idea: Empeiron: experience | |
| From: PG (Db (lexicon) [c.1001 BCE], 28) |
| 11324 | Energeia: employment, actuality, power? [PG] |
| Full Idea: Energeia: employment, actuality, power? | |
| From: PG (Db (lexicon) [c.1001 BCE], 31) |
| 11325 | Enkrateia: control [PG] |
| Full Idea: Enkrateia: control | |
| From: PG (Db (lexicon) [c.1001 BCE], 32) | |
| A reaction: See 'akrasia', of which this is the opposite. The enkratic person is controlled. |
| 11326 | Entelecheia: entelechy, having an end [PG] |
| Full Idea: Entelecheia: entelechy, having an end | |
| From: PG (Db (lexicon) [c.1001 BCE], 33) |
| 11327 | Epagoge: induction, explanation [PG] |
| Full Idea: Epagoge: induction, explanation, leading on | |
| From: PG (Db (lexicon) [c.1001 BCE], 34) |
| 11328 | Episteme: knowledge, understanding [PG] |
| Full Idea: Episteme: knowledge, understanding | |
| From: PG (Db (lexicon) [c.1001 BCE], 35) | |
| A reaction: Note that 'episteme' can form a plural in Greek, but we can't say 'knowledges', so we have to say 'branches of knowledge', or 'sciences'. |
| 11329 | Epithumia: appetite [PG] |
| Full Idea: Epithumia: appetite | |
| From: PG (Db (lexicon) [c.1001 BCE], 36) |
| 11330 | Ergon: function [PG] |
| Full Idea: Ergon: function, work | |
| From: PG (Db (lexicon) [c.1001 BCE], 37) |
| 11331 | Eristic: polemic, disputation [PG] |
| Full Idea: Eristic: polemic, disputation | |
| From: PG (Db (lexicon) [c.1001 BCE], 38) | |
| A reaction: This is confrontational argument, rather than the subtle co-operative dialogue of dialectic. British law courts and the House of Commons are founded on eristic, rather than on dialectic. Could there be a dialectical elected assembly? |
| 11332 | Eros: love [PG] |
| Full Idea: Eros: love, desire | |
| From: PG (Db (lexicon) [c.1001 BCE], 41) |
| 11333 | Eudaimonia: flourishing, happiness, fulfilment [PG] |
| Full Idea: Eudaimonia: flourishing, happiness, fulfilment | |
| From: PG (Db (lexicon) [c.1001 BCE], 42) | |
| A reaction: Some people defend 'happiness' as the translation, but that seems to me wildly misleading, since eudaimonia is something like life going well, and certainly isn't a psychological state - and definitely not pleasure. |
| 11334 | Genos: type, genus [PG] |
| Full Idea: Genos: type, genus, kind | |
| From: PG (Db (lexicon) [c.1001 BCE], 43) |
| 11335 | Hexis: state, habit [PG] |
| Full Idea: Hexis: state, habit | |
| From: PG (Db (lexicon) [c.1001 BCE], 44) |
| 11336 | Horismos: definition [PG] |
| Full Idea: Horismos: definition | |
| From: PG (Db (lexicon) [c.1001 BCE], 45) |
| 11337 | Hule: matter [PG] |
| Full Idea: Hule: matter | |
| From: PG (Db (lexicon) [c.1001 BCE], 46) | |
| A reaction: The first half of the 'hylomorphism' of Aristotle. See 'morphe'! |
| 11338 | Hupokeimenon: subject, underlying thing [cf. Tode ti] [PG] |
| Full Idea: Hupokeimenon: subject, underlying thing, substratum [cf. Tode ti] | |
| From: PG (Db (lexicon) [c.1001 BCE], 47) | |
| A reaction: Literally 'that which lies under'. Latin version is 'substratum'. In Aristotle it is the problem, of explaining what lies under. It is not the theory that there is some entity called a 'substratum'. |
| 11339 | Kalos / kalon: beauty, fineness, nobility [PG] |
| Full Idea: Kalos / kalon: beauty, fineness, nobility | |
| From: PG (Db (lexicon) [c.1001 BCE], 48) | |
| A reaction: A revealing Greek word, which is not only our rather pure notion of 'beauty', but also seems to mean something like wow!, and (very suggestive, this) applies as much to actions as to objects. |
| 11340 | Kath' hauto: in virtue of itself, essentially [PG] |
| Full Idea: Kath' hauto: in virtue of itself, essentially | |
| From: PG (Db (lexicon) [c.1001 BCE], 51) |
| 11341 | Kinesis: movement, process [PG] |
| Full Idea: Kinesis: movement, process, change | |
| From: PG (Db (lexicon) [c.1001 BCE], 52) |
| 11342 | Kosmos: order, universe [PG] |
| Full Idea: Kosmos: order, universe | |
| From: PG (Db (lexicon) [c.1001 BCE], 53) |
| 11343 | Logos: reason, account, word [PG] |
| Full Idea: Logos: reason, account, word | |
| From: PG (Db (lexicon) [c.1001 BCE], 54) |
| 11344 | Meson: the mean [PG] |
| Full Idea: Meson: the mean | |
| From: PG (Db (lexicon) [c.1001 BCE], 55) | |
| A reaction: This is not the 'average', and hence not some theoretical mid-point. I would call it the 'appropriate compromise', remembering that an extreme may be appropriate in certain circumstances. |
| 11345 | Metechein: partaking, sharing [PG] |
| Full Idea: Metechein: partaking, sharing | |
| From: PG (Db (lexicon) [c.1001 BCE], 56) | |
| A reaction: The key word in Plato for the difficult question of the relationships between the Forms and the particulars. The latter 'partake' of the former. Hm. Compare modern 'instantiation', which strikes me as being equally problematic. |
| 11377 | Mimesis: imitation, fine art [PG] |
| Full Idea: Mimesis: imitation, fine art | |
| From: PG (Db (lexicon) [c.1001 BCE], 57) |
| 11346 | Morphe: form [PG] |
| Full Idea: Morphe: form | |
| From: PG (Db (lexicon) [c.1001 BCE], 58) |
| 11347 | Noesis: intellection, rational thought [cf. Dianoia] [PG] |
| Full Idea: Noesis: intellection, rational thought [cf. Dianoia] | |
| From: PG (Db (lexicon) [c.1001 BCE], 59) |
| 11348 | Nomos: convention, law, custom [PG] |
| Full Idea: Nomos: convention, law, custom | |
| From: PG (Db (lexicon) [c.1001 BCE], 61) |
| 11349 | Nous: intuition, intellect, understanding [PG] |
| Full Idea: Nous: intuition, intellect | |
| From: PG (Db (lexicon) [c.1001 BCE], 62) | |
| A reaction: There is a condensed discussion of 'nous' in Aristotle's Posterior Analytics B.19 |
| 11350 | Orexis: desire [PG] |
| Full Idea: Orexis: desire | |
| From: PG (Db (lexicon) [c.1001 BCE], 63) |
| 11351 | Ousia: substance, (primary) being, [see 'Prote ousia'] [PG] |
| Full Idea: Ousia: substance, (primary) being [see 'Prote ousia'] | |
| From: PG (Db (lexicon) [c.1001 BCE], 64) | |
| A reaction: It is based on the verb 'to be'. Latin therefore translated it as 'essentia' (esse: to be), and we have ended up translating it as 'essence', but this is wrong! 'Being' is the best translation, and 'substance' is OK. It is the problem, not the answer. |
| 11352 | Pathos: emotion, affection, property [PG] |
| Full Idea: Pathos: emotion, affection, property | |
| From: PG (Db (lexicon) [c.1001 BCE], 65) |
| 11353 | Phantasia: imagination [PG] |
| Full Idea: Phantasia: imagination | |
| From: PG (Db (lexicon) [c.1001 BCE], 66) |
| 11354 | Philia: friendship [PG] |
| Full Idea: Philia: friendship | |
| From: PG (Db (lexicon) [c.1001 BCE], 67) |
| 11355 | Philosophia: philosophy, love of wisdom [PG] |
| Full Idea: Philosophia: philosophy, love of wisdom | |
| From: PG (Db (lexicon) [c.1001 BCE], 68) | |
| A reaction: The point of the word is its claim only to love wisdom, and not actually to be wise. |
| 11356 | Phronesis: prudence, practical reason, common sense [PG] |
| Full Idea: Phronesis: prudence, practical reason, common sense | |
| From: PG (Db (lexicon) [c.1001 BCE], 71) | |
| A reaction: None of the experts use my own translation, which is 'common sense', but that seems to me to perfectly fit all of Aristotle's discussions of the word in 'Ethics'. 'Prudence' seems a daft translation in modern English. |
| 11357 | Physis: nature [PG] |
| Full Idea: Physis: nature | |
| From: PG (Db (lexicon) [c.1001 BCE], 72) |
| 11358 | Praxis: action, activity [PG] |
| Full Idea: Praxis: action, activity | |
| From: PG (Db (lexicon) [c.1001 BCE], 73) |
| 11359 | Prote ousia: primary being [PG] |
| Full Idea: Prote ousia: primary being | |
| From: PG (Db (lexicon) [c.1001 BCE], 74) | |
| A reaction: The main topic of investigation in Aristotle's 'Metaphysics'. 'Ousia' is the central problem of the text, NOT the answer to the problem. |
| 11360 | Psuche: mind, soul, life [PG] |
| Full Idea: Psuche: mind, soul, life | |
| From: PG (Db (lexicon) [c.1001 BCE], 75) | |
| A reaction: The interesting thing about this is that we have tended to translate it as 'soul', but Aristotle says plants have it, and not merely conscious beings. It is something like the 'form' of a living thing, but then 'form' is a misleading translation too. |
| 11361 | Sophia: wisdom [PG] |
| Full Idea: Sophia: wisdom | |
| From: PG (Db (lexicon) [c.1001 BCE], 76) |
| 11362 | Sophrosune: moderation, self-control [PG] |
| Full Idea: Sophrosune: moderation, self-control | |
| From: PG (Db (lexicon) [c.1001 BCE], 77) |
| 11363 | Stoicheia: elements [PG] |
| Full Idea: Stoicheia: elements | |
| From: PG (Db (lexicon) [c.1001 BCE], 78) |
| 11364 | Sullogismos: deduction, syllogism [PG] |
| Full Idea: Sullogismos: deduction, syllogism | |
| From: PG (Db (lexicon) [c.1001 BCE], 81) |
| 11365 | Techne: skill, practical knowledge [PG] |
| Full Idea: Techne: skill, practical knowledge | |
| From: PG (Db (lexicon) [c.1001 BCE], 82) |
| 11366 | Telos: purpose, end [PG] |
| Full Idea: Telos: purpose, end | |
| From: PG (Db (lexicon) [c.1001 BCE], 83) |
| 11367 | Theoria: contemplation [PG] |
| Full Idea: Theoria: contemplation | |
| From: PG (Db (lexicon) [c.1001 BCE], 84) |
| 11368 | Theos: god [PG] |
| Full Idea: Theos: god | |
| From: PG (Db (lexicon) [c.1001 BCE], 85) |
| 11369 | Ti esti: what-something-is, essence [PG] |
| Full Idea: Ti esti: the what-something-is, essence, whatness | |
| From: PG (Db (lexicon) [c.1001 BCE], 86) |
| 11370 | Timoria: vengeance, punishment [PG] |
| Full Idea: Timoria: vengeance, punishment | |
| From: PG (Db (lexicon) [c.1001 BCE], 87) |
| 11371 | To ti en einai: essence, what-it-is-to-be [PG] |
| Full Idea: To ti en einai: essence, what-it-is-to-be | |
| From: PG (Db (lexicon) [c.1001 BCE], 88) | |
| A reaction: This is Aristotle's main term for what we would now call the 'essence'. It is still not a theory of essence, merely an identification of the target. 'Form' is the nearest we get to his actual theory. |
| 11372 | To ti estin: essence [PG] |
| Full Idea: To ti estin: essence | |
| From: PG (Db (lexicon) [c.1001 BCE], 91) |
| 11373 | Tode ti: this-such, subject of predication [cf. hupokeimenon] [PG] |
| Full Idea: Tode ti: this-something, subject of predication, thisness [cf. hupokeimenon] | |
| From: PG (Db (lexicon) [c.1001 BCE], 92) |
| 13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
| Full Idea: We can learn from the work of philosophers of other periods only if we are prepared to run the risk of radical and almost inevitable misrepresentation of his thought. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Pref) | |
| A reaction: This sounds about right, and a motto for my own approach to Aristotle and Leibniz, but I see the effort as more collaborative than this suggests. Professional specialists in older philosophers are a vital part of the team. Read them! |
| 11461 | 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]) |
| 11390 | 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) |
| 11391 | 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) |
| 11392 | 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) |
| 11395 | 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) |
| 11396 | 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) |
| 11398 | 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) |
| 11400 | 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) |
| 11403 | 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) |
| 11404 | 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) |
| 11408 | 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) |
| 11412 | 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) |
| 11414 | 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) |
| 11417 | 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) |
| 11535 | 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) |
| 11537 | -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) |
| 11541 | 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) |
| 11545 | 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) |
| 11549 | 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) |
| 11555 | 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) |
| 11557 | 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) |
| 11421 | 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) |
| 11425 | 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) |
| 11432 | 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) |
| 11433 | 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) |
| 11440 | 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) |
| 11443 | 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) |
| 11445 | 347: death of Plato [PG] |
| Full Idea: In 347 BCE Plato died | |
| From: PG (Db (chronology) [2030], 0653) |
| 11454 | 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) |
| 11456 | 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) |
| 11459 | 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) |
| 11465 | 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) |
| 11468 | 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) |
| 11470 | 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) |
| 11483 | 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) |
| 11486 | 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) |
| 11492 | 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) |
| 11509 | 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) |
| 11513 | 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) |
| 11516 | 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) |
| 11528 | 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) |
| 11531 | 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) |
| 11558 | 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) |
| 11559 | 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) |
| 11560 | 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) |
| 11562 | 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) |
| 11564 | 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) |
| 11566 | 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) |
| 11573 | 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) |
| 11581 | 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) |
| 11586 | 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) |
| 11591 | 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) |
| 17916 | 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) |
| 11593 | 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) |
| 11596 | 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) |
| 11599 | 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) |
| 11601 | 1580: Montaigne publishes his essays [PG] |
| Full Idea: In 1580 Montaigne published a volume of his 'Essays' | |
| From: PG (Db (chronology) [2030], 2580) |
| 11607 | 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) |
| 11613 | 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) |
| 11614 | 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) |
| 11619 | 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) |
| 11623 | 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) |
| 11626 | 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) |
| 11627 | 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) |
| 11633 | 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) |
| 11634 | 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) |
| 11643 | 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) |
| 11649 | 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) |
| 11652 | 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) |
| 11654 | 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) |
| 11659 | 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) |
| 11666 | 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) |
| 11667 | 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) |
| 11675 | 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) |
| 11682 | 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) |
| 11683 | 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) |
| 11687 | 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) |
| 11694 | 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) |
| 11701 | 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) |
| 11710 | 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) |
| 11713 | 1843: Mill publishes his 'System of Logic' [PG] |
| Full Idea: In 1843 Mill published his 'System of Logic' | |
| From: PG (Db (chronology) [2030], 2843) |
| 11715 | 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) |
| 11717 | 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) |
| 11721 | 1861: Mill publishes 'Utilitarianism' [PG] |
| Full Idea: In 1861 Mill published his book 'Utilitarianism' | |
| From: PG (Db (chronology) [2030], 2861) |
| 11724 | 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) |
| 11733 | 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) |
| 17907 | 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) |
| 17909 | 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) |
| 17908 | 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) |
| 11735 | 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) |
| 17911 | 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) |
| 11740 | 1890: James published 'Principles of Psychology' [PG] |
| Full Idea: In 1890 James published his 'Principles of Psychology' | |
| From: PG (Db (chronology) [2030], 2890) |
| 11742 | 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) |
| 11745 | 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) |
| 11746 | 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) |
| 11747 | 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) |
| 17910 | 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) |
| 11752 | 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) |
| 11756 | 1912: Russell meets Wittgenstein in Cambridge [PG] |
| Full Idea: In 1912 Russell met Wittgenstein at Cambridge | |
| From: PG (Db (chronology) [2030], 2912) |
| 11762 | 1921: Wittgenstein's 'Tractatus' published [PG] |
| Full Idea: In 1921 Wittgenstein's 'Tractatus' was published | |
| From: PG (Db (chronology) [2030], 2921) |
| 11765 | 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) |
| 11768 | 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) |
| 11770 | 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) |
| 11773 | 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) |
| 11783 | 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) |
| 11784 | 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) |
| 11787 | 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) |
| 17918 | 1947: Carnap published 'Meaning and Necessity' [PG] |
| Full Idea: In 1947 Carnap published 'Meaning and Necessity' | |
| From: PG (Db (chronology) [2030], 2947) |
| 11794 | 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) |
| 17917 | 1953: Wittgenstein's 'Philosophical Investigations' [PG] |
| Full Idea: In 1953 Wittgenstein's posthumous work 'Philosophical Investigations' is published | |
| From: PG (Db (chronology) [2030], 2953) |
| 17919 | 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) |
| 11804 | 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) |
| 17921 | 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) |
| 11808 | 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) |
| 11810 | 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) |
| 11813 | 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) |
| 17920 | 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) |
| 11820 | 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) |
| 4465 | Note that "is" can assert existence, or predication, or identity, or classification [PG] |
| Full Idea: There are four uses of the word "is" in English: as existence ('he is at home'), as predication ('he is tall'), as identity ('he is the man I saw'), and as classification ('he is British'). | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: This seems a nice instance of the sort of point made by analytical philosophy, which can lead to horrible confusion in other breeds of philosophy when it is overlooked. |
| 13883 | The best way to understand a philosophical idea is to defend it [Wright,C] |
| Full Idea: The most productive way in which to attempt an understanding of any philosophical idea is to work on its defence. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.vii) | |
| A reaction: Very nice. The key point is that this brings greater understanding than working on attacking an idea, which presumably has the dangers of caricature, straw men etc. It is the Socratic insight that dialectic is the route to wisdom. |
| 10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
| Full Idea: Frege gave up on the attempt to introduce natural numbers by contextual definition, but the project has been revived by neo-logicists. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Kit Fine - The Limits of Abstraction II |
| 10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
| Full Idea: The Geach-Kaplan sentence 'Some critics admire only one another' provably has no singular first-order paraphrase using only its predicates. | |
| From: Øystein Linnebo (Plural Quantification [2008], 1) | |
| A reaction: There seems to be a choice of either going second-order (picking out a property), or going plural (collectively quantifying), or maybe both. |
| 4686 | Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG] |
| Full Idea: Fallacies are errors in reasoning, labelled as 'formal' if a clear rule has been breached, and 'informal' if some less precise error has been made. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Presumably there can be a grey area between the two. |
| 7415 | Question-begging assumes the proposition which is being challenged [PG] |
| Full Idea: To beg the question is to take for granted in your argument that very proposition which is being challenged | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: An undoubted fallacy, and a simple failure to engage in the rational enterprise. I suppose one might give a reason for something, under the mistaken apprehension that it didn't beg the question; analysis of logical form is then needed. |
| 7414 | What is true of a set is also true of its members [PG] |
| Full Idea: The fallacy of division is the claim that what is true of a set must therefore be true of its members. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Clearly a fallacy, but if you only accept sets which are rational, then there is always a reason why a particular is a member of a set, and you can infer facts about particulars from the nature of the set |
| 6696 | The Ad Hominem Fallacy criticises the speaker rather than the argument [PG] |
| Full Idea: The Ad Hominem Fallacy is to criticise the person proposing an argument rather than the argument itself, as when you say "You would say that", or "Your behaviour contradicts what you just said". | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Nietzsche is very keen on ad hominem arguments, and cheerfully insults great philosophers, but then he doesn't believe there is such a thing as 'pure argument', and he is a relativist. |
| 4687 | Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG] |
| Full Idea: Minimalist theories of truth are those which involve minimum ontological commitment, avoiding references to 'reality' or 'facts' or 'what works', preferring to refer to formal relationships within language. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: Personally I am suspicious of minimal theories, which seem to be designed by and for anti-realists. They seem too focused on language, when animals can obviously formulate correct propositions. I'm quite happy with the 'facts', even if that is vague. |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) | |
| A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates] |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2) | |
| A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble. |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed). | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) |
| 10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
| Full Idea: The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it). | |
| From: Øystein Linnebo (Plural Quantification [2008], 3) | |
| A reaction: [compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'. |
| 9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
| Full Idea: For Wright, an expression refers to an object if it fulfils the 'syntactic role' of a singular term, and if we have fixed the truth-conditions of sentences containing it in such a way that some of them come out true. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Michael Dummett - Frege philosophy of mathematics Ch.15 | |
| A reaction: Much waffle is written about reference, and it is nice to hear of someone actually trying to state the necessary and sufficient conditions for reference to be successful. So is it possible for 'the round square' to ever refer? '...is impossible to draw' |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §4) |
| 10635 | Second-order quantification and plural quantification are different [Linnebo] |
| Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2) |
| 10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
| Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary. | |
| From: Øystein Linnebo (Plural Quantification [2008], 5) |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §0) |
| 10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
| Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise. | |
| From: Øystein Linnebo (Plural Quantification [2008], 4.5) | |
| A reaction: [He cites Hossack and van Ingwagen] |
| 10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
| Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2.4) | |
| A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'. |
| 10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
| Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain. | |
| From: Øystein Linnebo (Plural Quantification [2008], 4.4) | |
| A reaction: [He mentions Hellman's modal structuralism in mathematics] |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1) |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure, | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5) | |
| A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms. |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1) | |
| A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds. |
| 6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |
| Full Idea: The Monty Hall Dilemma: Three boxes, one with a big prize; pick one to open. Monty Hall then opens one of the other two, which is empty. You may, if you wish, switch from your box to the other unopened box. Should you? | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: The other two boxes, as a pair, are more likely contain the prize than your box. Monty Hall has eliminated one of them for you, so you should choose the other one. Your intuition that the two remaining boxes are equal is incorrect! |
| 13861 | Number theory aims at the essence of natural numbers, giving their nature, and the epistemology [Wright,C] |
| Full Idea: In the Fregean view number theory is a science, aimed at those truths furnished by the essential properties of zero and its successors. The two broad question are then the nature of the objects, and the epistemology of those facts. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) | |
| A reaction: [compressed] I pounce on the word 'essence' here (my thing). My first question is about the extent to which the natural numbers all have one generic essence, and the extent to which they are individuals (bless their little cotton socks). |
| 13892 | One could grasp numbers, and name sizes with them, without grasping ordering [Wright,C] |
| Full Idea: Someone could be clear about number identities, and distinguish numbers from other things, without conceiving them as ordered in a progression at all. The point of them would be to make comparisons between sizes of groups. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 3.xv) | |
| A reaction: Hm. Could you grasp size if you couldn't grasp which of two groups was the bigger? What's the point of noting that I have ten pounds and you only have five, if you don't realise that I have more than you? You could have called them Caesar and Brutus. |
| 13867 | Instances of a non-sortal concept can only be counted relative to a sortal concept [Wright,C] |
| Full Idea: The invitation to number the instances of some non-sortal concept is intelligible only if it is relativised to a sortal. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
| A reaction: I take this to be an essentially Fregean idea, as when we count the boots when we have decided whether they fall under the concept 'boot' or the concept 'pair'. I also take this to be the traditional question 'what units are you using'? |
| 17441 | Wright thinks Hume's Principle is more fundamental to cardinals than the Peano Axioms are [Wright,C, by Heck] |
| Full Idea: Wright is claiming that HP is a special sort of truth in some way: it is supposed to be the fundamental truth about cardinality; ...in particular, HP is supposed to be more fundamental, in some sense than the Dedekind-Peano axioms. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 1 | |
| A reaction: Heck notes that although PA can be proved from HP, HP can be proven from PA plus definitions, so direction of proof won't show fundamentality. He adds that Wright thinks HP is 'more illuminating'. |
| 13862 | There are five Peano axioms, which can be expressed informally [Wright,C] |
| Full Idea: Informally, Peano's axioms are: 0 is a number, numbers have a successor, different numbers have different successors, 0 isn't a successor, properties of 0 which carry over to successors are properties of all numbers. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) | |
| A reaction: Each statement of the famous axioms is slightly different from the others, and I have reworded Wright to fit him in. Since the last one (the 'induction axiom') is about properties, it invites formalization in second-order logic. |
| 17853 | Number truths are said to be the consequence of PA - but it needs semantic consequence [Wright,C] |
| Full Idea: The intuitive proposal is the essential number theoretic truths are precisely the logical consequences of the Peano axioms, ...but the notion of consequence is a semantic one...and it is not obvious that we possess a semantic notion of the requisite kind. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) | |
| A reaction: (Not sure I understand this, but it is his starting point for rejecting PA as the essence of arithmetic). |
| 17854 | What facts underpin the truths of the Peano axioms? [Wright,C] |
| Full Idea: We incline to think of the Peano axioms as truths of some sort; so there has to be a philosophical question how we ought to conceive of the nature of the facts which make those statements true. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) | |
| A reaction: [He also asks about how we know the truths] |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
| A reaction: Note that this concerns consistency, not completeness. |
| 13894 | Sameness of number is fundamental, not counting, despite children learning that first [Wright,C] |
| Full Idea: We teach our children to count, sometimes with no attempt to explain what the sounds mean. Doubtless it is this habit which makes it so natural to think of the number series as fundamental. Frege's insight is that sameness of number is fundamental. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 3.xv) | |
| A reaction: 'When do children understand number?' rather than when they can recite numerals. I can't make sense of someone being supposed to understand number without a grasp of which numbers are bigger or smaller. To make 13='15' do I add or subtract? |
| 10140 | We derive Hume's Law from Law V, then discard the latter in deriving arithmetic [Wright,C, by Fine,K] |
| Full Idea: Wright says the Fregean arithmetic can be broken down into two steps: first, Hume's Law may be derived from Law V; and then, arithmetic may be derived from Hume's Law without any help from Law V. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Kit Fine - The Limits of Abstraction I.4 | |
| A reaction: This sounds odd if Law V is false, but presumably Hume's Law ends up as free-standing. It seems doubtful whether the resulting theory would count as logic. |
| 8692 | Frege has a good system if his 'number principle' replaces his basic law V [Wright,C, by Friend] |
| Full Idea: Wright proposed removing Frege's basic law V (which led to paradox), replacing it with Frege's 'number principle' (identity of numbers is one-to-one correspondence). The new system is formally consistent, and the Peano axioms can be derived from it. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Michèle Friend - Introducing the Philosophy of Mathematics 3.7 | |
| A reaction: The 'number principle' is also called 'Hume's principle'. This idea of Wright's resurrected the project of logicism. The jury is ought again... Frege himself questioned whether the number principle was a part of logic, which would be bad for 'logicism'. |
| 17440 | Wright says Hume's Principle is analytic of cardinal numbers, like a definition [Wright,C, by Heck] |
| Full Idea: Wright intends the claim that Hume's Principle (HP) embodies an explanation of the concept of number to imply that it is analytic of the concept of cardinal number - so it is an analytic or conceptual truth, much as a definition would be. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 1 | |
| A reaction: Boolos is quoted as disagreeing. Wright is claiming a fundamental truth. Boolos says something can fix the character of something (as yellow fixes bananas), but that doesn't make it 'fundamental'. I want to defend 'fundamental'. |
| 13893 | It is 1-1 correlation of concepts, and not progression, which distinguishes natural number [Wright,C] |
| Full Idea: What is fundamental to possession of any notion of natural number at all is not the knowledge that the numbers may be arrayed in a progression but the knowledge that they are identified and distinguished by reference to 1-1 correlation among concepts. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 3.xv) | |
| A reaction: My question is 'what is the essence of number?', and my inclination to disagree with Wright on this point suggests that the essence of number is indeed caught in the Dedekind-Peano axioms. But what of infinite numbers? |
| 13888 | If numbers are extensions, Frege must first solve the Caesar problem for extensions [Wright,C] |
| Full Idea: Identifying numbers with extensions will not solve the Caesar problem for numbers unless we have already solved the Caesar problem for extensions. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 3.xiv) |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
| A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
| 14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
| Full Idea: The 'deductivist' version of eliminativist structuralism avoids ontological commitments to mathematical objects, and to modal vocabulary. Mathematics is formulations of various (mostly categorical) theories to describe kinds of concrete structures. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], 1) | |
| A reaction: 'Concrete' is ambiguous here, as mathematicians use it for the actual working maths, as opposed to the metamathematics. Presumably the structures are postulated rather than described. He cites Russell 1903 and Putnam. It is nominalist. |
| 14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
| Full Idea: The 'non-eliminative' version of mathematical structuralism takes it to be a fundamental insight that mathematical objects are really just positions in abstract mathematical structures. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: The point here is that it is non-eliminativist because it is committed to the existence of mathematical structures. I oppose this view, since once you are committed to the structures, you may as well admit a vast implausible menagerie of abstracta. |
| 14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
| Full Idea: The 'modal' version of eliminativist structuralism lifts the deductivist ban on modal notions. It studies what necessarily holds in all concrete models which are possible for various theories. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: [He cites Putnam 1967, and Hellman 1989] If mathematical truths are held to be necessary (which seems to be right), then it seems reasonable to include modal notions, about what is possible, in its study. |
| 14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
| Full Idea: 'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder? |
| 14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
| Full Idea: Structuralism can be distinguished from traditional Platonism in that it denies that mathematical objects from the same structure are ontologically independent of one another | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
| A reaction: My instincts strongly cry out against all versions of this. If you are going to be a platonist (rather as if you are going to be religious) you might as well go for it big time and have independent objects, which will then dictate a structure. |
| 14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
| Full Idea: Against extreme views that all mathematical objects depend on the structures to which they belong, or that none do, I defend a compromise view, that structuralists are right about algebraic objects (roughly), but anti-structuralists are right about sets. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], Intro) |
| 14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
| Full Idea: If objects depend on the other objects, this would mean an 'upward' dependence, in that they depend on the structure to which they belong, where the physical realm has a 'downward' dependence, with structures depending on their constituents. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
| A reaction: This nicely captures an intuition I have that there is something wrong with a commitment primarily to 'structures'. Our only conception of such things is as built up out of components. Not that I am committing to mathematical 'components'! |
| 13869 | Number platonism says that natural number is a sortal concept [Wright,C] |
| Full Idea: Number-theoretic platonism is just the thesis that natural number is a sortal concept. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
| A reaction: See Crispin Wright on sortals to expound this. An odd way to express platonism, but he is presenting the Fregean version of it. |
| 13870 | We can't use empiricism to dismiss numbers, if numbers are our main evidence against empiricism [Wright,C] |
| Full Idea: We may not be able to settle whether some general form of empiricism is correct independently of natural numbers. It might be precisely our grasp of the abstract sortal, natural number, which shows the hypothesis of empiricism to be wrong. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
| A reaction: A nice turning of the tables. In the end only coherence decides these things. You may accept numbers and reject empiricism, and then find you have opened the floodgates for abstracta. Excessive floodgates, or blockages of healthy streams? |
| 13873 | Treating numbers adjectivally is treating them as quantifiers [Wright,C] |
| Full Idea: Treating numbers adjectivally is, in effect, treating the numbers as quantifiers. Frege observes that we can always parse out any apparently adjectival use of a number word in terms of substantival use. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.iii) | |
| A reaction: The immediate response to this is that any substantival use can equally be expressed adjectivally. If you say 'the number of moons of Jupiter is four', I can reply 'oh, you mean Jupiter has four moons'. |
| 13899 | The Peano Axioms, and infinity of cardinal numbers, are logical consequences of how we explain cardinals [Wright,C] |
| Full Idea: The Peano Axioms are logical consequences of a statement constituting the core of an explanation of the notion of cardinal number. The infinity of cardinal numbers emerges as a consequence of the way cardinal number is explained. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xix) | |
| A reaction: This, along with Idea 13896, nicely summarises the neo-logicist project. I tend to favour a strategy which starts from ordering, rather than identities (1-1), but an attraction is that this approach is closer to counting objects in its basics. |
| 13896 | The aim is to follow Frege's strategy to derive the Peano Axioms, but without invoking classes [Wright,C] |
| Full Idea: We shall endeavour to see whether it is possible to follow through the strategy adumbrated in 'Grundlagen' for establishing the Peano Axioms without at any stage invoking classes. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xvi) | |
| A reaction: The key idea of neo-logicism. If you can avoid classes entirely, then set theory paradoxes become irrelevant, and classes aren't logic. Philosophers now try to derive the Peano Axioms from all sorts of things. Wright admits infinity is a problem. |
| 7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
| Full Idea: Crispin Wright has reactivated Frege's logistic program, which for decades just about everybody assumed was a lost cause. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by José A. Benardete - Logic and Ontology 3 | |
| A reaction: [This opens Bernadete's section called "Back to Strong Logicism?"] |
| 13863 | Logicism seemed to fail by Russell's paradox, Gödel's theorems, and non-logical axioms [Wright,C] |
| Full Idea: Most would cite Russell's paradox, the non-logical character of the axioms which Russell and Whitehead's reconstruction of Frege's enterprise was constrained to employ, and the incompleteness theorems of Gödel, as decisive for logicism's failure. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], Intro) |
| 13895 | The standard objections are Russell's Paradox, non-logical axioms, and Gödel's theorems [Wright,C] |
| Full Idea: The general view is that Russell's Paradox put paid to Frege's logicist attempt, and Russell's own attempt is vitiated by the non-logical character of his axioms (esp. Infinity), and by the incompleteness theorems of Gödel. But these are bad reasons. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xvi) | |
| A reaction: Wright's work is the famous modern attempt to reestablish logicism, in the face of these objections. |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 2) | |
| A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that). |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3) | |
| A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter! |
| 13884 | The idea that 'exist' has multiple senses is not coherent [Wright,C] |
| Full Idea: I have the gravest doubts whether any coherent account could be given of any multiplicity of senses of 'exist'. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 2.x) | |
| A reaction: I thoroughly agree with this thought. Do water and wind exist in different senses of 'exist'? |
| 14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
| Full Idea: We can give an exhaustive account of the identity of the empty set and its singleton without mentioning infinite sets, and it might be possible to defend the view that one natural number depends on its predecessor but not vice versa. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], V) | |
| A reaction: Linnebo uses this as one argument against mathematical structuralism, where the small seems to depend on the large. The view of sets rests on the iterative conception, where each level is derived from a lower level. He dismisses structuralism of sets. |
| 10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
| Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'. | |
| From: Øystein Linnebo (Plural Quantification [2008], 5.4) | |
| A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma. |
| 13877 | Singular terms in true sentences must refer to objects; there is no further question about their existence [Wright,C] |
| Full Idea: When a class of terms functions as singular terms, and the sentences are true, then those terms genuinely refer. Being singular terms, their reference is to objects. There is no further question whether they really refer, and there are such objects. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.iii) | |
| A reaction: This seems to be a key sentence, because this whole view is standardly called 'platonic', but it certainly isn't platonism as we know it, Jim. Ontology has become an entirely linguistic matter, but do we then have 'sakes' and 'whereaboutses'? |
| 10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
| Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2.4) | |
| A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'. |
| 14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
| Full Idea: There are two main ways of spelling out an 'intrinsic' property: if and only if it is shared by every duplicate of an object, ...and if and only if the object would have this property even if the rest of the universe were removed or disregarded. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], II) | |
| A reaction: [He cites B.Weatherson's Stanford Encyclopaedia article] How about an intrinsic property being one which explains its identity, or behaviour, or persistence conditions? |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §2) | |
| A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'. |
| 9878 | Contextually defined abstract terms genuinely refer to objects [Wright,C, by Dummett] |
| Full Idea: Wright says we should accord to contextually defined abstract terms a genuine full-blown reference to objects. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Michael Dummett - Frege philosophy of mathematics Ch.18 | |
| A reaction: This is the punch line of Wright's neo-logicist programme. See Idea 9868 for his view of reference. Dummett regards this strong view of contextual definition as 'exorbitant'. Wright's view strikes me as blatantly false. |
| 13868 | Sortal concepts cannot require that things don't survive their loss, because of phase sortals [Wright,C] |
| Full Idea: The claim that no concept counts as sortal if an instance of it can survive its loss, runs foul of so-called phase sortals like 'embryo' and 'chrysalis'. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
| A reaction: The point being that those items only fall under that sortal for one phase of their career, and of their identity. I've always thought such claims absurd, and this gives a good reason for my view. |
| 12189 | Logical necessity involves a decision about usage, and is non-realist and non-cognitive [Wright,C, by McFetridge] |
| Full Idea: Wright espouses a non-realist, indeed non-cognitive account of logical necessity. Crucial to this is the idea that acceptance of a statement as necessary always involves an element of decision (to use it in a necessary way). | |
| From: report of Crispin Wright (Inventing Logical Necessity [1986]) by Ian McFetridge - Logical Necessity: Some Issues §3 | |
| A reaction: This has little appeal to me, as I take (unfashionably) the view that that logical necessity is rooted in the behaviour of the actual physical world, with which you can't argue. We test simple logic by making up examples. |
| 24054 | Everything has a probability, something will happen, and probabilities add up [PG] |
| Full Idea: The three Kolgorov axioms of probability: the probability of an event is a non-negative real number; it is certain that one of the 'elementary events' will occur; and the unity of probabilities is the sum of probability of parts ('additivity'). | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: [My attempt to verbalise them; they are normally expressed in terms of set theory]. Got this from a talk handout, and Wikipedia. |
| 3875 | If reality is just what we perceive, we would have no need for a sixth sense [PG] |
| Full Idea: Reality must be more than merely what we perceive, because a sixth sense would enhance our current knowledge, and a seventh, and so on. | |
| From: PG (Db (ideas) [2031]) |
| 3876 | If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG] |
| Full Idea: If my football team is losing 3-1, I seem to have synthetic a priori knowledge that they need two goals to achieve a draw | |
| From: PG (Db (ideas) [2031]) |
| 7734 | Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG] |
| Full Idea: To defend type-type identity against the multiple realisability objection, we might say that a molluscs's brain events that register pain ARE of the same type as humans, given that being 'of the same type' is a fairly flexible concept. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: But this reduces 'of the same type' to such vagueness that it may become vacuous. You would be left with token-token identity, where the mental event is just identical to some brain event, with its 'type' being irrelevant. |
| 7735 | Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG] |
| Full Idea: To defend type-type identity against the multiple realisability objection, we might (also) say that while a frog's brain events for fear are functionally identical to a human's (it runs away), that doesn't mean they are phenomenally identical. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: I take this to be the key reply to the multiple realisability problem. If a frog flees from a loud noise, it is 'frightened' in a functional sense, but that still leaves the question 'What's it like to be a frightened frog?', which may differ from humans. |
| 13865 | 'Sortal' concepts show kinds, use indefinite articles, and require grasping identities [Wright,C] |
| Full Idea: A concept is 'sortal' if it exemplifies a kind of object. ..In English predication of a sortal concept needs an indefinite article ('an' elm). ..What really constitutes the distinction is that it involves grasping identity for things which fall under it. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) | |
| A reaction: This is a key notion, which underlies the claims of 'sortal essentialism' (see David Wiggins). |
| 13866 | A concept is only a sortal if it gives genuine identity [Wright,C] |
| Full Idea: Before we can conclude that φ expresses a sortal concept, we need to ensure that 'is the same φ as' generates statements of genuine identity rather than of some other equivalence relation. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.i) |
| 13890 | Entities fall under a sortal concept if they can be used to explain identity statements concerning them [Wright,C] |
| Full Idea: 'Tree' is not a sortal concept under which directions fall since we cannot adequately explain the truth-conditions of any identity statement involving a pair of tree-denoting singular terms by appealing to facts to do with parallelism between lines. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 3.xiv) | |
| A reaction: The idea seems to be that these two fall under 'hedgehog', because that is a respect in which they are identical. I like to notion of explanation as a part of this. |
| 13898 | If we can establish directions from lines and parallelism, we were already committed to directions [Wright,C] |
| Full Idea: The fact that it seems possible to establish a sortal notion of direction by reference to lines and parallelism, discloses tacit commitments to directions in statements about parallelism...There is incoherence in the idea that a line might lack direction. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 4.xviii) | |
| A reaction: This seems like a slippery slope into a very extravagant platonism about concepts. Are concepts like direction as much a part of the natural world as rivers are? What other undiscovered concepts await us? |
| 13882 | A milder claim is that understanding requires some evidence of that understanding [Wright,C] |
| Full Idea: A mild version of the verification principle would say that it makes sense to think of someone as understanding an expression only if he is able, by his use of the expression, to give the best possible evidence that he understands it. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.vii) | |
| A reaction: That doesn't seem to tell us what understanding actually consists of, and may just be the truism that to demonstrate anything whatsoever will necessarily involve some evidence. |
| 7320 | Holism cannot give a coherent account of scientific methodology [Wright,C, by Miller,A] |
| Full Idea: Crispin Wright has argued that Quine's holism is implausible because it is actually incoherent: he claims that Quine's holism cannot provide us with a coherent account of scientific methodology. | |
| From: report of Crispin Wright (Inventing Logical Necessity [1986]) by Alexander Miller - Philosophy of Language 4.5 | |
| A reaction: This sounds promising, given my intuitive aversion to linguistic holism, and almost everything to do with Quine. Scientific methodology is not isolated, but spreads into our ordinary (experimental) interactions with the world (e.g. Idea 2461). |
| 13885 | If apparent reference can mislead, then so can apparent lack of reference [Wright,C] |
| Full Idea: If the appearance of reference can be misleading, why cannot an apparent lack of reference be misleading? | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 2.xi) | |
| A reaction: A nice simple thought. Analytic philosophy has concerned itself a lot with sentences that seem to refer, but the reference can be analysed away. For me, this takes the question of reference out of the linguistic sphere, which wasn't Wright's plan. |
| 17857 | We can accept Frege's idea of object without assuming that predicates have a reference [Wright,C] |
| Full Idea: The heart of the problem is Frege's assumption that predicates have Bedeutungen at all; and no reason is at present evident why someone who espouses Frege's notion of object is contrained to make that assumption. | |
| From: Crispin Wright (Frege's Concept of Numbers as Objects [1983], 1.iv) | |
| A reaction: This seems like a penetrating objection to Frege's view of reference, and presumably supports the Kripke approach. |
| 10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
| Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle. | |
| From: Øystein Linnebo (Plural Quantification [2008], 1.1) | |
| A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic. |
| 3877 | Utilitarianism seems to justify the discreet murder of unhappy people [PG] |
| Full Idea: If I discreetly murdered a gloomy and solitary tramp who was upsetting people in my village, if is hard to see how utilitarianism could demonstrate that I had done something wrong. | |
| From: PG (Db (ideas) [2031]) |
| 6126 | Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG] |
| Full Idea: The biologists' acronym for the necessary conditions of life is MRS NERG: that is, Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth. | |
| From: PG (Db (ideas) [2031]) | |
| A reaction: How strictly necessary are each of these is a point for discussion. A notorious problem case is fire, which (at a stretch) may pass all seven tests. |
| 3873 | An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG] |
| Full Idea: God seems to be in the paradoxical situation that He may be omniscient, but can never know that He is, because that involves knowing that there is nothing outside his scope of knowledge (e.g. another God) | |
| From: PG (Db (ideas) [2031]) |
| 3874 | How could God know there wasn't an unknown force controlling his 'free' will? [PG] |
| Full Idea: How could God be certain that he has free will (if He has), if He couldn't be sure that there wasn't an unknown force controlling his will? | |
| From: PG (Db (ideas) [2031]) |