Combining Texts

All the ideas for 'Disputationes metaphysicae', 'A Realist Theory of Science' and 'Intellectual Autobiography'

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


26 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Truthmakers are facts 'of' a domain, not something 'in' the domain [Sommers]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Predicate logic has to spell out that its identity relation '=' is an equivalent relation [Sommers]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Translating into quantificational idiom offers no clues as to how ordinary thinkers reason [Sommers]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Sommers promotes the old idea that negation basically refers to terms [Sommers, by Engelbretsen]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]
7. Existence / D. Theories of Reality / 2. Realism
Unfortunately for realists, modern logic cannot say that some fact exists [Sommers]
8. Modes of Existence / B. Properties / 8. Properties as Modes
There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez]
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
Substances are incomplete unless they have modes [Suárez, by Pasnau]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
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
Partial forms of leaf and fruit are united in the whole form of the tree [Suárez]
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
We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez]
9. Objects / D. Essence of Objects / 5. Essence as Kind
Kind essences are the categorical bases of a thing's causal powers [Bhaskar, by Chakravartty]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
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
Identity does not exclude possible or imagined difference [Suárez, by Boulter]
Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter]
Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter]
Major Real distinction: A and B have independent existences [Suárez, by Boulter]
Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter]
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
Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter]
19. Language / B. Reference / 1. Reference theories
In standard logic, names are the only way to refer [Sommers]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
Other things could occupy the same location as an angel [Suárez]