Combining Philosophers

All the ideas for Engelbretsen,G/Sayward,C, Michael Tye and Tyler Burge

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

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 / 3. Value of Logic
13479 Given that thinking aims at truth, logic gives universal rules for how to do it [Burge]
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 / E. Structures of Logic / 1. Logical Form
8132 We now have a much more sophisticated understanding of logical form in language [Burge]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17622 We come to believe mathematical propositions via their grounding in the structure [Burge]
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]
9159 You can't simply convert geometry into algebra, as some spatial content is lost [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]
12. Knowledge Sources / B. Perception / 4. Sense Data / b. Nature of sense-data
2713 Are sense-data independent, with identity, substance and location? [Tye]
13. Knowledge Criteria / C. External Justification / 1. External Justification
9382 Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge]
15. Nature of Minds / A. Nature of Mind / 6. Anti-Individualism
8126 Anti-individualism says the environment is involved in the individuation of some mental states [Burge]
8127 Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge]
16. Persons / C. Self-Awareness / 2. Knowing the Self
8129 Anti-individualism may be incompatible with some sorts of self-knowledge [Burge]
17. Mind and Body / C. Functionalism / 1. Functionalism
8131 Some qualities of experience, like blurred vision, have no function at all [Burge]
18. Thought / C. Content / 1. Content
3115 Are meaning and expressed concept the same thing? [Burge, by Segal]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
14349 If there are no finks or antidotes at the fundamental level, the laws can't be ceteris paribus [Burge, by Corry]