Combining Philosophers

All the ideas for Engelbretsen,G/Sayward,C, John von Neumann and Henry Laycock

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

28 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 / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
3340 Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
15943 Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
3355 Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA]
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 / E. Structures of Logic / 4. Variables in Logic
12797 If plural variables have 'some values', then non-count variables have 'some value' [Laycock]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
12794 Plurals are semantical but not ontological [Laycock]
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]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
13489 Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
12336 A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou]
22716 Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17694 Some non-count nouns can be used for counting, as in 'several wines' or 'fewer cheeses' [Laycock]
17695 Some apparent non-count words can take plural forms, such as 'snows' or 'waters' [Laycock]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / g. Von Neumann numbers
18180 Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann]
15925 Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine]
18179 For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13672 All the axioms for mathematics presuppose set theory [Neumann]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
12792 The category of stuff does not suit reference [Laycock]
12799 Descriptions of stuff are neither singular aggregates nor plural collections [Laycock]
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
12818 We shouldn't think some water retains its identity when it is mixed with air [Laycock]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
12795 Parts must be of the same very general type as the wholes [Laycock]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
17696 'Humility is a virtue' has an abstract noun, but 'water is a liquid' has a generic concrete noun [Laycock]
19. Language / B. Reference / 1. Reference theories
12791 It is said that proper reference is our intellectual link with the world [Laycock]