Combining Texts

All the ideas for 'fragments/reports', 'Db (lexicon)' and 'Constructibility and Mathematical Existence'

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


83 ideas

1. Philosophy / B. History of Ideas / 3. Greek-English Lexicon
Agathon: good [PG]
     Full Idea: Agathon: good, the highest good
     From: PG (Db (lexicon) [c.1001 BCE], 01)
Aisthesis: perception, sensation, consciousness [PG]
     Full Idea: Aisthesis: perception, sensation, consciousness
     From: PG (Db (lexicon) [c.1001 BCE], 02)
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.
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.
Aletheia: truth [PG]
     Full Idea: Aletheia: truth
     From: PG (Db (lexicon) [c.1001 BCE], 05)
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.
Ananke: necessity [PG]
     Full Idea: Ananke: necessity
     From: PG (Db (lexicon) [c.1001 BCE], 07)
Antikeimenon: object [PG]
     Full Idea: Antikeimenon: object
     From: PG (Db (lexicon) [c.1001 BCE], 08)
Apatheia: unemotional [PG]
     Full Idea: Apatheia: lack of involvement, unemotional
     From: PG (Db (lexicon) [c.1001 BCE], 09)
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.
Aphairesis: taking away, abstraction [PG]
     Full Idea: Aphairesis: taking away, abstraction
     From: PG (Db (lexicon) [c.1001 BCE], 11)
Apodeixis: demonstration [PG]
     Full Idea: Apodeixis: demonstration, proof
     From: PG (Db (lexicon) [c.1001 BCE], 12)
Aporia: puzzle, question, anomaly [PG]
     Full Idea: Aporia: puzzle, question, anomaly
     From: PG (Db (lexicon) [c.1001 BCE], 13)
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.
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'.
Chronismos: separation [PG]
     Full Idea: Chronismos: separation
     From: PG (Db (lexicon) [c.1001 BCE], 16)
Diairesis: division [PG]
     Full Idea: Diairesis: division, distinction
     From: PG (Db (lexicon) [c.1001 BCE], 17)
Dialectic: dialectic, discussion [PG]
     Full Idea: Dialectic: dialectic, discussion
     From: PG (Db (lexicon) [c.1001 BCE], 18)
Dianoia: intellection [cf. Noesis] [PG]
     Full Idea: Dianoia: intellection, understanding [cf. Noesis]
     From: PG (Db (lexicon) [c.1001 BCE], 21)
Diaphora: difference [PG]
     Full Idea: Diaphora: difference
     From: PG (Db (lexicon) [c.1001 BCE], 22)
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.
Doxa: opinion, belief [PG]
     Full Idea: Doxa: opinion, belief, judgement
     From: PG (Db (lexicon) [c.1001 BCE], 24)
Dunamis: faculty, potentiality, capacity [PG]
     Full Idea: Dunamis: faculty, potentiality, capacity
     From: PG (Db (lexicon) [c.1001 BCE], 25)
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]
Elenchos: elenchus, interrogation [PG]
     Full Idea: Elenchos: elenchus, interrogation
     From: PG (Db (lexicon) [c.1001 BCE], 27)
Empeiron: experience [PG]
     Full Idea: Empeiron: experience
     From: PG (Db (lexicon) [c.1001 BCE], 28)
Energeia: employment, actuality, power? [PG]
     Full Idea: Energeia: employment, actuality, power?
     From: PG (Db (lexicon) [c.1001 BCE], 31)
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.
Entelecheia: entelechy, having an end [PG]
     Full Idea: Entelecheia: entelechy, having an end
     From: PG (Db (lexicon) [c.1001 BCE], 33)
Epagoge: induction, explanation [PG]
     Full Idea: Epagoge: induction, explanation, leading on
     From: PG (Db (lexicon) [c.1001 BCE], 34)
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'.
Epithumia: appetite [PG]
     Full Idea: Epithumia: appetite
     From: PG (Db (lexicon) [c.1001 BCE], 36)
Ergon: function [PG]
     Full Idea: Ergon: function, work
     From: PG (Db (lexicon) [c.1001 BCE], 37)
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?
Eros: love [PG]
     Full Idea: Eros: love, desire
     From: PG (Db (lexicon) [c.1001 BCE], 41)
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.
Genos: type, genus [PG]
     Full Idea: Genos: type, genus, kind
     From: PG (Db (lexicon) [c.1001 BCE], 43)
Hexis: state, habit [PG]
     Full Idea: Hexis: state, habit
     From: PG (Db (lexicon) [c.1001 BCE], 44)
Horismos: definition [PG]
     Full Idea: Horismos: definition
     From: PG (Db (lexicon) [c.1001 BCE], 45)
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'!
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'.
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.
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)
Kinesis: movement, process [PG]
     Full Idea: Kinesis: movement, process, change
     From: PG (Db (lexicon) [c.1001 BCE], 52)
Kosmos: order, universe [PG]
     Full Idea: Kosmos: order, universe
     From: PG (Db (lexicon) [c.1001 BCE], 53)
Logos: reason, account, word [PG]
     Full Idea: Logos: reason, account, word
     From: PG (Db (lexicon) [c.1001 BCE], 54)
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.
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.
Mimesis: imitation, fine art [PG]
     Full Idea: Mimesis: imitation, fine art
     From: PG (Db (lexicon) [c.1001 BCE], 57)
Morphe: form [PG]
     Full Idea: Morphe: form
     From: PG (Db (lexicon) [c.1001 BCE], 58)
Noesis: intellection, rational thought [cf. Dianoia] [PG]
     Full Idea: Noesis: intellection, rational thought [cf. Dianoia]
     From: PG (Db (lexicon) [c.1001 BCE], 59)
Nomos: convention, law, custom [PG]
     Full Idea: Nomos: convention, law, custom
     From: PG (Db (lexicon) [c.1001 BCE], 61)
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
Orexis: desire [PG]
     Full Idea: Orexis: desire
     From: PG (Db (lexicon) [c.1001 BCE], 63)
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.
Pathos: emotion, affection, property [PG]
     Full Idea: Pathos: emotion, affection, property
     From: PG (Db (lexicon) [c.1001 BCE], 65)
Phantasia: imagination [PG]
     Full Idea: Phantasia: imagination
     From: PG (Db (lexicon) [c.1001 BCE], 66)
Philia: friendship [PG]
     Full Idea: Philia: friendship
     From: PG (Db (lexicon) [c.1001 BCE], 67)
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.
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.
Physis: nature [PG]
     Full Idea: Physis: nature
     From: PG (Db (lexicon) [c.1001 BCE], 72)
Praxis: action, activity [PG]
     Full Idea: Praxis: action, activity
     From: PG (Db (lexicon) [c.1001 BCE], 73)
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.
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.
Sophia: wisdom [PG]
     Full Idea: Sophia: wisdom
     From: PG (Db (lexicon) [c.1001 BCE], 76)
Sophrosune: moderation, self-control [PG]
     Full Idea: Sophrosune: moderation, self-control
     From: PG (Db (lexicon) [c.1001 BCE], 77)
Stoicheia: elements [PG]
     Full Idea: Stoicheia: elements
     From: PG (Db (lexicon) [c.1001 BCE], 78)
Sullogismos: deduction, syllogism [PG]
     Full Idea: Sullogismos: deduction, syllogism
     From: PG (Db (lexicon) [c.1001 BCE], 81)
Techne: skill, practical knowledge [PG]
     Full Idea: Techne: skill, practical knowledge
     From: PG (Db (lexicon) [c.1001 BCE], 82)
Telos: purpose, end [PG]
     Full Idea: Telos: purpose, end
     From: PG (Db (lexicon) [c.1001 BCE], 83)
Theoria: contemplation [PG]
     Full Idea: Theoria: contemplation
     From: PG (Db (lexicon) [c.1001 BCE], 84)
Theos: god [PG]
     Full Idea: Theos: god
     From: PG (Db (lexicon) [c.1001 BCE], 85)
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)
Timoria: vengeance, punishment [PG]
     Full Idea: Timoria: vengeance, punishment
     From: PG (Db (lexicon) [c.1001 BCE], 87)
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.
To ti estin: essence [PG]
     Full Idea: To ti estin: essence
     From: PG (Db (lexicon) [c.1001 BCE], 91)
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)
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
     Full Idea: Chihara's programme is to replace talk of sets with talk of open sentences. Instead of speaking of the set of all cats, we talk about the open sentence 'x is a cat'.
     From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2
     A reaction: As Shapiro points out, this is following up Russell's view that sets should be replaced with talk of properties. Chihara is expressing it more linguistically. I'm in favour of any attempt to get rid of sets.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
     Full Idea: Chihara's system is a version of type theory. Translate thus: replace variables of sets of type n with level n variables over open sentences, replace membership/predication with satisfaction, and high quantifiers with constructability quantifiers.
     From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
     Full Idea: Chihara's system is similar to simple type theory; he replaces each type with variables over open sentences, replaces membership (or predication) with satisfaction, and replaces quantifiers over level 1+ variables with constructability quantifiers.
     From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Thinking About Mathematics 9.2
     A reaction: This is interesting for showing that type theory may not be dead. The revival of supposedly dead theories is the bread-and-butter of modern philosophy.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
     Full Idea: Chihara has proposal a modal primitive, a 'constructability quantifier'. Syntactically it behaves like an ordinary quantifier: Φ is a formula, and x a variable. Then (Cx)Φ is a formula, read as 'it is possible to construct an x such that Φ'.
     From: report of Charles Chihara (Constructibility and Mathematical Existence [1990]) by Stewart Shapiro - Philosophy of Mathematics 7.4
     A reaction: We only think natural numbers are infinite because we see no barrier to continuing to count, i.e. to construct new numbers. We accept reals when we know how to construct them. Etc. Sounds promising to me (though not to Shapiro).
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
     Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes.
     From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078
     A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]
     Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness.
     From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42
     A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them.