Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'An Introduction to Modal Logic' and 'Semantic Necessity'

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

11 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
9540 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
9541 The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
9543 The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
14620 Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]
5. Theory of Logic / K. Features of Logics / 4. Completeness
9544 A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
14530 The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A]
19. Language / C. Assigning Meanings / 2. Semantics
14618 Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
14621 Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
19. Language / C. Assigning Meanings / 7. Extensional Semantics
14622 Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
14619 The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
7903 The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]