Combining Texts

All the ideas for 'Philosophical Logic: Intro to Advanced Topics', 'The Mystery of Consciousness' and 'Introduction to 'Evidentialism''

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

23 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]
7. Existence / C. Structure of Existence / 2. Reduction
5791 Reduction is either by elimination, or by explanation [Searle]
5799 Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle]
8. Modes of Existence / B. Properties / 3. Types of Properties
5790 A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle]
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / b. Evidentialism
19518 Evidentialism says justifications supervene on the available evidence [Conee/Feldman]
15. Nature of Minds / A. Nature of Mind / 5. Unity of Mind
5792 Explanation of how we unify our mental stimuli into a single experience is the 'binding problem' [Searle]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
5786 A system is either conscious or it isn't, though the intensity varies a lot [Searle]
5794 Consciousness has a first-person ontology, which only exists from a subjective viewpoint [Searle]
5795 There isn't one consciousness (information-processing) which can be investigated, and another (phenomenal) which can't [Searle]
15. Nature of Minds / B. Features of Minds / 5. Qualia / a. Nature of qualia
5788 The use of 'qualia' seems to imply that consciousness and qualia are separate [Searle]
17. Mind and Body / C. Functionalism / 7. Chinese Room
5789 I now think syntax is not in the physics, but in the eye of the beholder [Searle]
17. Mind and Body / D. Property Dualism / 1. Reductionism critique
5798 Consciousness has a first-person ontology, so it cannot be reduced without omitting something [Searle]
17. Mind and Body / D. Property Dualism / 4. Emergentism
5787 There is non-event causation between mind and brain, as between a table and its solidity [Searle]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
5797 The pattern of molecules in the sea is much more complex than the complexity of brain neurons [Searle]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
5796 If tree rings contain information about age, then age contains information about rings [Searle]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
19519 Rational decisions are either taken to be based on evidence, or to be explained causally [Conee/Feldman]