Combining Texts

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

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]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
If quantification is all substitutional, there is no ontology [Quine]
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]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Absolute ontological questions are meaningless, because the answers are circular definitions [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Ontology is relative to both a background theory and a translation manual [Quine]
9. Objects / F. Identity among Objects / 1. Concept of Identity
We know what things are by distinguishing them, so identity is part of ontology [Quine]
13. Knowledge Criteria / E. Relativism / 5. Language Relativism
Two things are relative - the background theory, and translating the object theory into the background theory [Quine]
19. Language / B. Reference / 1. Reference theories
Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]