Combining Texts

All the ideas for 'fragments/reports', 'An Introduction to Modal Logic' and 'Logicism in the 21st Century'

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

10 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 / 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]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
8784 Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
8787 The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
8788 Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
8783 Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
1556 By nature people are close to one another, but culture drives them apart [Hippias]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
8786 One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright]