Combining Philosophers

All the ideas for Engelbretsen,G/Sayward,C, Hilbert,D/Ackermann,W and David Kaplan

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

22 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 / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
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 / C. Ontology of Logic / 1. Ontology of Logic
11970 Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
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 / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
11989 For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan]
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]
9. Objects / C. Structure of Objects / 7. Substratum
11969 Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
11971 The simplest solution to transworld identification is to adopt bare particulars [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
11972 Essence is a transworld heir line, rather than a collection of properties [Kaplan]
11973 Unusual people may have no counterparts, or several [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
11990 'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
9668 'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
11991 If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]
19. Language / A. Nature of Meaning / 8. Synonymy
11967 Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
14080 Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
14894 Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro]
14700 'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter]