Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'First-Order Logic' and 'fragments/reports'

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


15 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction
Contradiction is impossible [Antisthenes (I), by Aristotle]
2. Reason / D. Definition / 13. Against Definition
Some fools think you cannot define anything, but only say what it is like [Antisthenes (I), by Aristotle]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
There are three different standard presentations of semantics [Hodges,W]
I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
A 'set' is a mathematically well-behaved class [Hodges,W]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]
Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]
22. Metaethics / C. The Good / 3. Pleasure / f. Dangers of pleasure
I would rather go mad than experience pleasure [Antisthenes (I)]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
Antisthenes said virtue is teachable and permanent, is life's goal, and is like universal wealth [Antisthenes (I), by Long]
28. God / C. Attitudes to God / 2. Pantheism
Antisthenes says there is only one god, which is nature [Antisthenes (I), by Cicero]