109 ideas
11300 | Agathon: good [PG] |
11301 | Aisthesis: perception, sensation, consciousness [PG] |
11302 | Aitia / aition: cause, explanation [PG] |
11303 | Akrasia: lack of control, weakness of will [PG] |
11304 | Aletheia: truth [PG] |
11305 | Anamnesis: recollection, remembrance [PG] |
11306 | Ananke: necessity [PG] |
11307 | Antikeimenon: object [PG] |
11375 | Apatheia: unemotional [PG] |
11308 | Apeiron: the unlimited, indefinite [PG] |
11376 | Aphairesis: taking away, abstraction [PG] |
11309 | Apodeixis: demonstration [PG] |
11310 | Aporia: puzzle, question, anomaly [PG] |
11311 | Arche: first principle, the basic [PG] |
11312 | Arete: virtue, excellence [PG] |
11313 | Chronismos: separation [PG] |
11314 | Diairesis: division [PG] |
11315 | Dialectic: dialectic, discussion [PG] |
11316 | Dianoia: intellection [cf. Noesis] [PG] |
11317 | Diaphora: difference [PG] |
11318 | Dikaiosune: moral goodness, justice [PG] |
11319 | Doxa: opinion, belief [PG] |
11320 | Dunamis: faculty, potentiality, capacity [PG] |
11321 | Eidos: form, idea [PG] |
11322 | Elenchos: elenchus, interrogation [PG] |
11323 | Empeiron: experience [PG] |
11324 | Energeia: employment, actuality, power? [PG] |
11325 | Enkrateia: control [PG] |
11326 | Entelecheia: entelechy, having an end [PG] |
11327 | Epagoge: induction, explanation [PG] |
11328 | Episteme: knowledge, understanding [PG] |
11329 | Epithumia: appetite [PG] |
11330 | Ergon: function [PG] |
11331 | Eristic: polemic, disputation [PG] |
11332 | Eros: love [PG] |
11333 | Eudaimonia: flourishing, happiness, fulfilment [PG] |
11334 | Genos: type, genus [PG] |
11335 | Hexis: state, habit [PG] |
11336 | Horismos: definition [PG] |
11337 | Hule: matter [PG] |
11338 | Hupokeimenon: subject, underlying thing [cf. Tode ti] [PG] |
11339 | Kalos / kalon: beauty, fineness, nobility [PG] |
11340 | Kath' hauto: in virtue of itself, essentially [PG] |
11341 | Kinesis: movement, process [PG] |
11342 | Kosmos: order, universe [PG] |
11343 | Logos: reason, account, word [PG] |
11344 | Meson: the mean [PG] |
11345 | Metechein: partaking, sharing [PG] |
11377 | Mimesis: imitation, fine art [PG] |
11346 | Morphe: form [PG] |
11347 | Noesis: intellection, rational thought [cf. Dianoia] [PG] |
11348 | Nomos: convention, law, custom [PG] |
11349 | Nous: intuition, intellect, understanding [PG] |
11350 | Orexis: desire [PG] |
11351 | Ousia: substance, (primary) being, [see 'Prote ousia'] [PG] |
11352 | Pathos: emotion, affection, property [PG] |
11353 | Phantasia: imagination [PG] |
11354 | Philia: friendship [PG] |
11355 | Philosophia: philosophy, love of wisdom [PG] |
11356 | Phronesis: prudence, practical reason, common sense [PG] |
11357 | Physis: nature [PG] |
11358 | Praxis: action, activity [PG] |
11359 | Prote ousia: primary being [PG] |
11360 | Psuche: mind, soul, life [PG] |
11361 | Sophia: wisdom [PG] |
11362 | Sophrosune: moderation, self-control [PG] |
11363 | Stoicheia: elements [PG] |
11364 | Sullogismos: deduction, syllogism [PG] |
11365 | Techne: skill, practical knowledge [PG] |
11366 | Telos: purpose, end [PG] |
11367 | Theoria: contemplation [PG] |
11368 | Theos: god [PG] |
11369 | Ti esti: what-something-is, essence [PG] |
11370 | Timoria: vengeance, punishment [PG] |
11371 | To ti en einai: essence, what-it-is-to-be [PG] |
11372 | To ti estin: essence [PG] |
11373 | Tode ti: this-such, subject of predication [cf. hupokeimenon] [PG] |
17774 | Definitions make our intuitions mathematically useful [Mayberry] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |
17795 | Set theory can't be axiomatic, because it is needed to express the very notion of axiomatisation [Mayberry] |
17796 | There is a semi-categorical axiomatisation of set-theory [Mayberry] |
17800 | The misnamed Axiom of Infinity says the natural numbers are finite in size [Mayberry] |
17801 | The set hierarchy doesn't rely on the dubious notion of 'generating' them [Mayberry] |
17803 | Limitation of size is part of the very conception of a set [Mayberry] |
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
17787 | Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry] |
17790 | No Löwenheim-Skolem logic can axiomatise real analysis [Mayberry] |
17779 | 'Classificatory' axioms aim at revealing similarity in morphology of structures [Mayberry] |
17778 | Axiomatiation relies on isomorphic structures being essentially the same [Mayberry] |
17780 | 'Eliminatory' axioms get rid of traditional ideal and abstract objects [Mayberry] |
17789 | No logic which can axiomatise arithmetic can be compact or complete [Mayberry] |
17784 | Real numbers can be eliminated, by axiom systems for complete ordered fields [Mayberry] |
17782 | Greek quantities were concrete, and ratio and proportion were their science [Mayberry] |
17781 | Real numbers were invented, as objects, to simplify and generalise 'quantity' [Mayberry] |
17799 | Cantor's infinite is an absolute, of all the sets or all the ordinal numbers [Mayberry] |
17797 | Cantor extended the finite (rather than 'taming the infinite') [Mayberry] |
17775 | If proof and definition are central, then mathematics needs and possesses foundations [Mayberry] |
17776 | The ultimate principles and concepts of mathematics are presumed, or grasped directly [Mayberry] |
17777 | Foundations need concepts, definition rules, premises, and proof rules [Mayberry] |
17804 | Axiom theories can't give foundations for mathematics - that's using axioms to explain axioms [Mayberry] |
17792 | 1st-order PA is only interesting because of results which use 2nd-order PA [Mayberry] |
17793 | It is only 2nd-order isomorphism which suggested first-order PA completeness [Mayberry] |
17794 | Set theory is not just first-order ZF, because that is inadequate for mathematics [Mayberry] |
17802 | We don't translate mathematics into set theory, because it comes embodied in that way [Mayberry] |
17805 | Set theory is not just another axiomatised part of mathematics [Mayberry] |
4442 | Most thinkers now reject self-predication (whiteness is NOT white) so there is no Third Man problem [Armstrong] |
17785 | Real numbers as abstracted objects are now treated as complete ordered fields [Mayberry] |