Combining Texts

All the ideas for 'Db (lexicon)', 'On Formally Undecidable Propositions' and 'works'

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


103 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]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy attains its goal if one person feels perfect accord between their system and experience [Fichte]
2. Reason / A. Nature of Reason / 7. Status of Reason
For Fichte there is no God outside the ego, and 'our religion is reason' [Fichte, by Feuerbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Prior to Gödel we thought truth in mathematics consisted in provability [Gödel, by Quine]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Gödel show that the incompleteness of set theory was a necessity [Gödel, by Hallett,M]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The limitations of axiomatisation were revealed by the incompleteness theorems [Gödel, by Koellner]
5. Theory of Logic / K. Features of Logics / 2. Consistency
Second Incompleteness: nice theories can't prove their own consistency [Gödel, by Smith,P]
5. Theory of Logic / K. Features of Logics / 3. Soundness
If soundness can't be proved internally, 'reflection principles' can be added to assert soundness [Gödel, by Halbach/Leigh]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Gödel's First Theorem sabotages logicism, and the Second sabotages Hilbert's Programme [Smith,P on Gödel]
The undecidable sentence can be decided at a 'higher' level in the system [Gödel]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Gödel showed that arithmetic is either incomplete or inconsistent [Gödel, by Rey]
First Incompleteness: arithmetic must always be incomplete [Gödel, by Smith,P]
Arithmetical truth cannot be fully and formally derived from axioms and inference rules [Gödel, by Nagel/Newman]
Gödel's Second says that semantic consequence outruns provability [Gödel, by Hanna]
First Incompleteness: a decent consistent system is syntactically incomplete [Gödel, by George/Velleman]
Second Incompleteness: a decent consistent system can't prove its own consistency [Gödel, by George/Velleman]
There is a sentence which a theory can show is true iff it is unprovable [Gödel, by Smith,P]
'This system can't prove this statement' makes it unprovable either way [Gödel, by Clegg]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Fichte believed in things-in-themselves [Fichte, by Moore,AW]
We can deduce experience from self-consciousness, without the thing-in-itself [Fichte]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
The absolute I divides into consciousness, and a world which is not-I [Fichte, by Bowie]
Reason arises from freedom, so philosophy starts from the self, and not from the laws of nature [Fichte]
Abandon the thing-in-itself; things only exist in relation to our thinking [Fichte]
16. Persons / F. Free Will / 4. For Free Will
Spinoza could not actually believe his determinism, because living requires free will [Fichte]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
Basic logic can be done by syntax, with no semantics [Gödel, by Rey]