Combining Texts

All the ideas for 'Sweet Dreams', 'Disputationes metaphysicae' and 'Introduction to the Theory of Logic'

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


39 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo]
A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Determinacy: an object is either in a set, or it isn't [Zalabardo]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / l. Axiom of Specification
Specification: Determinate totals of objects always make a set [Zalabardo]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
A first-order 'sentence' is a formula with no free variables [Zalabardo]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo]
Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo]
We can do semantics by looking at given propositions, or by building new ones [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
'Logically true' (|= φ) is true for every truth-assignment [Zalabardo]
Logically true sentences are true in all structures [Zalabardo]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo]
Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
If a set is defined by induction, then proof by induction can be applied to it [Zalabardo]
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 / 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]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
I don't deny consciousness; it just isn't what people think it is [Dennett]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett]
29. Religion / B. Monotheistic Religion / 4. Christianity / c. Angels
Other things could occupy the same location as an angel [Suárez]