Combining Texts

All the ideas for 'fragments/reports', 'Db (lexicon)' and 'Set Theory'

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


89 ideas

1. Philosophy / B. History of Ideas / 3. Greek-English Lexicon
Agathon: good [PG]
Aisthesis: perception, sensation, consciousness [PG]
Aitia / aition: cause, explanation [PG]
Akrasia: lack of control, weakness of will [PG]
Aletheia: truth [PG]
Anamnesis: recollection, remembrance [PG]
Ananke: necessity [PG]
Antikeimenon: object [PG]
Apatheia: unemotional [PG]
Apeiron: the unlimited, indefinite [PG]
Aphairesis: taking away, abstraction [PG]
Apodeixis: demonstration [PG]
Aporia: puzzle, question, anomaly [PG]
Arche: first principle, the basic [PG]
Arete: virtue, excellence [PG]
Chronismos: separation [PG]
Diairesis: division [PG]
Dialectic: dialectic, discussion [PG]
Dianoia: intellection [cf. Noesis] [PG]
Diaphora: difference [PG]
Dikaiosune: moral goodness, justice [PG]
Doxa: opinion, belief [PG]
Dunamis: faculty, potentiality, capacity [PG]
Eidos: form, idea [PG]
Elenchos: elenchus, interrogation [PG]
Empeiron: experience [PG]
Energeia: employment, actuality, power? [PG]
Enkrateia: control [PG]
Entelecheia: entelechy, having an end [PG]
Epagoge: induction, explanation [PG]
Episteme: knowledge, understanding [PG]
Epithumia: appetite [PG]
Ergon: function [PG]
Eristic: polemic, disputation [PG]
Eros: love [PG]
Eudaimonia: flourishing, happiness, fulfilment [PG]
Genos: type, genus [PG]
Hexis: state, habit [PG]
Horismos: definition [PG]
Hule: matter [PG]
Hupokeimenon: subject, underlying thing [cf. Tode ti] [PG]
Kalos / kalon: beauty, fineness, nobility [PG]
Kath' hauto: in virtue of itself, essentially [PG]
Kinesis: movement, process [PG]
Kosmos: order, universe [PG]
Logos: reason, account, word [PG]
Meson: the mean [PG]
Metechein: partaking, sharing [PG]
Mimesis: imitation, fine art [PG]
Morphe: form [PG]
Noesis: intellection, rational thought [cf. Dianoia] [PG]
Nomos: convention, law, custom [PG]
Nous: intuition, intellect, understanding [PG]
Orexis: desire [PG]
Ousia: substance, (primary) being, [see 'Prote ousia'] [PG]
Pathos: emotion, affection, property [PG]
Phantasia: imagination [PG]
Philia: friendship [PG]
Philosophia: philosophy, love of wisdom [PG]
Phronesis: prudence, practical reason, common sense [PG]
Physis: nature [PG]
Praxis: action, activity [PG]
Prote ousia: primary being [PG]
Psuche: mind, soul, life [PG]
Sophia: wisdom [PG]
Sophrosune: moderation, self-control [PG]
Stoicheia: elements [PG]
Sullogismos: deduction, syllogism [PG]
Techne: skill, practical knowledge [PG]
Telos: purpose, end [PG]
Theoria: contemplation [PG]
Theos: god [PG]
Ti esti: what-something-is, essence [PG]
Timoria: vengeance, punishment [PG]
To ti en einai: essence, what-it-is-to-be [PG]
To ti estin: essence [PG]
Tode ti: this-such, subject of predication [cf. hupokeimenon] [PG]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
Choice: ∀A ∃R (R well-orders A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
Set Existence: ∃x (x = x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
Constructibility: V = L (all sets are constructible) [Kunen]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]