Combining Texts
Ideas for
'fragments/reports', 'Thinking About Logic' and 'Principia Mathematica'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
9 ideas
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / c. Derivation rules of PL
|
10987
|
Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read]
|
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
|
9542
|
The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell]
|
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
|
11004
|
Necessity is provability in S4, and true in all worlds in S5 [Read]
|
4. Formal Logic / E. Nonclassical Logics / 4. Fuzzy Logic
|
11018
|
There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read]
|
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
|
11011
|
Same say there are positive, negative and neuter free logics [Read]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
|
21720
|
Russell saw Reducibility as legitimate for reducing classes to logic [Linsky,B on Russell/Whitehead]
|
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
|
11020
|
Realisms like the full Comprehension Principle, that all good concepts determine sets [Read]
|
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
|
10044
|
Russell denies extensional sets, because the null can't be a collection, and the singleton is just its element [Russell/Whitehead, by Shapiro]
|
|
18208
|
We regard classes as mere symbolic or linguistic conveniences [Russell/Whitehead]
|