Combining Texts

All the ideas for 'The Metaontology of Abstraction', 'Some Remarks on Essentialism' and 'Intro to Non-Classical Logic (1st ed)'

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


41 ideas

2. Reason / F. Fallacies / 1. Fallacy
It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic is one of the few first-order non-classical logics [Priest,G]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / a. Symbols of ST
X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G]
<a,b&62; is a set whose members occur in the order shown [Priest,G]
a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G]
{x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G]
{a1, a2, ...an} indicates that a set comprising just those objects [Priest,G]
Φ indicates the empty set, which has no members [Priest,G]
{a} is the 'singleton' set of a (not the object a itself) [Priest,G]
X⊂Y means set X is a 'proper subset' of set Y [Priest,G]
X⊆Y means set X is a 'subset' of set Y [Priest,G]
X = Y means the set X equals the set Y [Priest,G]
X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G]
X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G]
Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
The 'relative complement' is things in the second set not in the first [Priest,G]
The 'intersection' of two sets is a set of the things that are in both sets [Priest,G]
The 'union' of two sets is a set containing all the things in either of the sets [Priest,G]
The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G]
A 'singleton' is a set with only one member [Priest,G]
A 'member' of a set is one of the objects in the set [Priest,G]
An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G]
A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G]
A 'set' is a collection of objects [Priest,G]
The 'empty set' or 'null set' has no members [Priest,G]
A set is a 'subset' of another set if all of its members are in that set [Priest,G]
A 'proper subset' is smaller than the containing set [Priest,G]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / c. Basic theorems of ST
The empty set Φ is a subset of every set (including itself) [Priest,G]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer if they make certain atomic statements true [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
8. Modes of Existence / B. Properties / 3. Types of Properties
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essentialism says some of a thing's properties are necessary, and could not be absent [Cartwright,R]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
The difficulty in essentialism is deciding the grounds for rating an attribute as essential [Cartwright,R]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essentialism is said to be unintelligible, because relative, if necessary truths are all analytic [Cartwright,R]
9. Objects / F. Identity among Objects / 3. Relative Identity
An act of ostension doesn't seem to need a 'sort' of thing, even of a very broad kind [Cartwright,R]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Reference needs truth as well as sense [Hale/Wright]