Combining Texts

All the ideas for 'fragments/reports', 'works' and 'Logical Consequence'

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

17 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
10688 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10397 Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10691 Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10695 Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
10689 A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
10696 A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10693 Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692 Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
10396 If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
10395 Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
15384 Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio]
10. Modality / A. Necessity / 4. De re / De dicto modality
8481 The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
18. Thought / E. Abstraction / 8. Abstractionism Critique
15385 Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard]
19. Language / C. Assigning Meanings / 3. Predicates
15383 Nothing external can truly be predicated of an object [Abelard, by Panaccio]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
10398 Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]