Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'Frege on Apriority (with ps)' and 'Philosophical Logic: Intro to Advanced Topics'

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

---

13 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic

13913

The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]

13914

Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic

13915

Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic

13916

Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

13850

In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

13849

Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic

13851

Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

13852

Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]

6. Mathematics / A. Nature of Mathematics / 2. Geometry

16901

The equivalent algebra model of geometry loses some essential spatial meaning [Burge]

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic

16902

Peano arithmetic requires grasping 0 as a primitive number [Burge]

12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori

16892

Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge]

20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act

7861	Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]

6660	Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]