Combining Philosophers

All the ideas for Roger Penrose, Engelbretsen,G/Sayward,C and Fred Dretske

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

27 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]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
5806 Belief is the power of metarepresentation [Dretske]
11. Knowledge Aims / A. Knowledge / 4. Belief / f. Animal beliefs
5801 A mouse hearing a piano played does not believe it, because it lacks concepts and understanding [Dretske]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
6445 You have knowledge if you can rule out all the relevant alternatives to what you believe [Dretske, by DeRose]
19544 Closure says if you know P, and also know P implies Q, then you must know Q [Dretske]
19545 We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske]
19546 Knowing by visual perception is not the same as knowing by implication [Dretske]
19547 Reasons for believing P may not transmit to its implication, Q [Dretske]
19548 The only way to preserve our homely truths is to abandon closure [Dretske]
19549 P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske]
19550 We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske]
15. Nature of Minds / A. Nature of Mind / 1. Mind / d. Location of mind
5802 Representations are in the head, but their content is not, as stories don't exist in their books [Dretske]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / d. Purpose of consciousness
5809 Some activities are performed better without consciousness of them [Dretske]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
4921 Quantum states in microtubules could bind brain activity to produce consciousness [Penrose]
15. Nature of Minds / B. Features of Minds / 5. Qualia / a. Nature of qualia
5808 Qualia are just the properties objects are represented as having [Dretske]
16. Persons / C. Self-Awareness / 1. Introspection
5807 Introspection is the same as the experience one is introspecting [Dretske]
5803 In a representational theory of mind, introspection is displaced perception [Dretske]
5805 Introspection does not involve looking inwards [Dretske]
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
5804 A representational theory of the mind is an externalist theory of the mind [Dretske]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
5800 All mental facts are representation, which consists of informational functions [Dretske]