Combining Texts

All the ideas for 'On Second-Order Logic', 'Letter to Frege 29.12.1899' and 'Db (lexicon)'

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


85 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]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
'∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Many concepts can only be expressed by second-order logic [Boolos]