Combining Texts

All the ideas for 'fragments/reports', 'works' and 'An Introduction to Modal Logic'

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


13 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
5. Theory of Logic / K. Features of Logics / 4. Completeness
A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
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
The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
18. Thought / E. Abstraction / 8. Abstractionism Critique
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
Nothing external can truly be predicated of an object [Abelard, by Panaccio]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]