Combining Texts

All the ideas for 'fragments/reports', 'Sophistical Refutations' and 'Philosophical Logic: Intro to Advanced Topics'

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

17 ideas

2. Reason / A. Nature of Reason / 1. On Reason
2676 Didactic argument starts from the principles of the subject, not from the opinions of the learner [Aristotle]
2. Reason / A. Nature of Reason / 4. Aims of Reason
2675 Reasoning is a way of making statements which makes them lead on to other statements [Aristotle]
2. Reason / C. Styles of Reason / 1. Dialectic
2677 Dialectic aims to start from generally accepted opinions, and lead to a contradiction [Aristotle]
2. Reason / C. Styles of Reason / 3. Eristic
2674 Competitive argument aims at refutation, fallacy, paradox, solecism or repetition [Aristotle]
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 / E. Structures of Logic / 2. Logical Connectives / d. and
16967 'Are Coriscus and Callias at home?' sounds like a single question, but it isn't [Aristotle]
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]
9. Objects / D. Essence of Objects / 10. Essence as Species
16149 Generic terms like 'man' are not substances, but qualities, relations, modes or some such thing [Aristotle]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
11840 Only if two things are identical do they have the same attributes [Aristotle]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
1748 Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
5989 Archelaus said life began in a primeval slime [Archelaus, by Schofield]