Combining Texts

All the ideas for 'Disputationes metaphysicae', 'The Laws of Thought' and 'Review of Chihara 'Struct. Accnt of Maths''

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

26 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
8083 Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin]
7727 Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
8686 Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
22277 Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10185 Set theory is the standard background for modern mathematics [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
10184 Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess]
10189 There is no one relation for the real number 2, as relations differ in different models [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
10186 If set theory is used to define 'structure', we can't define set theory structurally [Burgess]
10187 Abstract algebra concerns relations between models, not common features of all the models [Burgess]
10188 How can mathematical relations be either internal, or external, or intrinsic? [Burgess]
8. Modes of Existence / B. Properties / 8. Properties as Modes
16665 There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez]
16666 A mode determines the state and character of a quantity, without adding to it [Suárez]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
16667 Substances are incomplete unless they have modes [Suárez, by Pasnau]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
17007 Forms must rule over faculties and accidents, and are the source of action and unity [Suárez]
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
16780 Partial forms of leaf and fruit are united in the whole form of the tree [Suárez]
16758 The best support for substantial forms is the co-ordinated unity of a natural being [Suárez]
9. Objects / C. Structure of Objects / 4. Quantity of an Object
16743 We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
16742 We only know essences through non-essential features, esp. those closest to the essence [Suárez]
9. Objects / F. Identity among Objects / 1. Concept of Identity
22143 Identity does not exclude possible or imagined difference [Suárez, by Boulter]
22144 Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter]
22146 Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter]
22145 Major Real distinction: A and B have independent existences [Suárez, by Boulter]
22147 Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter]
22148 Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
22149 Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
16682 Other things could occupy the same location as an angel [Suárez]