Combining Texts

All the ideas for 'works', 'Philosophical Logic: Intro to Advanced Topics' and 'Naming and Necessity notes and addenda'

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


23 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
9. Objects / A. Existence of Objects / 5. Simples
We might fix identities for small particulars, but it is utopian to hope for such things [Kripke]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
A different piece of wood could have been used for that table; constitution isn't identity [Wiggins on Kripke]
9. Objects / F. Identity among Objects / 5. Self-Identity
A relation can clearly be reflexive, and identity is the smallest reflexive relation [Kripke]
9. Objects / F. Identity among Objects / 9. Sameness
A vague identity may seem intransitive, and we might want to talk of 'counterparts' [Kripke]
10. Modality / A. Necessity / 7. Natural Necessity
What many people consider merely physically necessary I consider completely necessary [Kripke]
What is often held to be mere physical necessity is actually metaphysical necessity [Kripke]
10. Modality / B. Possibility / 1. Possibility
Unicorns are vague, so no actual or possible creature could count as a unicorn [Kripke]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds are useful in set theory, but can be very misleading elsewhere [Kripke]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Kaplan's 'Dthat' is a useful operator for transforming a description into a rigid designation [Kripke]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
The best known objection to counterparts is Kripke's, that Humphrey doesn't care if his counterpart wins [Kripke, by Sider]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
The a priori analytic truths involving fixing of reference are contingent [Kripke]
15. Nature of Minds / A. Nature of Mind / 1. Mind / a. Mind
I regard the mind-body problem as wide open, and extremely confusing [Kripke]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
Do new ideas increase the weight of the brain? [Dance]
19. Language / B. Reference / 3. Direct Reference / c. Social reference
A description may fix a reference even when it is not true of its object [Kripke]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Even if Gödel didn't produce his theorems, he's still called 'Gödel' [Kripke]