Combining Texts

All the ideas for 'Philosophical Logic: Intro to Advanced Topics', 'Mechanisms' and 'An Analysis of Knowledge and Valuation'

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

20 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]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
21500 We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI]
21501 If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
6556 If anything is to be probable, then something must be certain [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
21498 Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI]
14. Science / B. Scientific Theories / 2. Aim of Science
17488 Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
17493 Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
17487 Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
17489 Mechanisms are either systems of parts or sequences of activities [Glennan]
17490 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
17491 Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
18. Thought / C. Content / 8. Intension
5828 Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI]
26. Natural Theory / C. Causation / 4. Naturalised causation
17494 Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]