Combining Texts

All the ideas for 'Philosophical Logic: Intro to Advanced Topics', 'Persistence, Change and Explanation' and 'Apriority and Existence'

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

23 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
13913 The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
13914 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
13915 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
13916 Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
8859 The main modal logics disagree over three key formulae [Yablo]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
13850 In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13849 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
13851 Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
13852 Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
5. Theory of Logic / L. Paradox / 2. Aporiai
13931 By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
8865 If 'the number of Democrats is on the rise', does that mean that 50 million is on the rise? [Yablo]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
8863 We must treat numbers as existing in order to express ourselves about the arrangement of planets [Yablo]
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
8862 Platonic objects are really created as existential metaphors [Yablo]
7. Existence / D. Theories of Reality / 1. Ontologies
13925 Ontology disputes rest on more basic explanation disputes [Haslanger]
7. Existence / D. Theories of Reality / 7. Fictionalism
8864 We quantify over events, worlds, etc. in order to make logical possibilities clearer [Yablo]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
8858 Philosophers keep finding unexpected objects, like models, worlds, functions, numbers, events, sets, properties [Yablo]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
13924 The persistence of objects seems to be needed if the past is to explain the present [Haslanger]
13930 Persistence makes change and its products intelligible [Haslanger]
9. Objects / E. Objects over Time / 5. Temporal Parts
13927 We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger]
13928 If the things which exist prior to now are totally distinct, they need not have existed [Haslanger]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
13929 Natural explanations give the causal interconnections [Haslanger]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
13926 Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger]
19. Language / F. Communication / 6. Interpreting Language / d. Metaphor
8861 Hardly a word in the language is devoid of metaphorical potential [Yablo]