Combining Texts

All the ideas for 'The Evolution of Modern Metaphysics', 'Intro to Non-Classical Logic (1st ed)' and 'Laws of Nature'

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


56 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is the most general attempt to make sense of things [Moore,AW]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
The Square of Opposition has two contradictory pairs, one contrary pair, and one sub-contrary pair [Harré]
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
A 'singleton' is a set with only one member [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]
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]
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]
A 'member' of a set is one of the objects in the 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 / G. Quantification / 1. Quantification
Traditional quantifiers combine ordinary language generality and ontology assumptions [Harré]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Some quantifiers, such as 'any', rule out any notion of order within their range [Harré]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
Scientific properties are not observed qualities, but the dispositions which create them [Harré]
10. Modality / A. Necessity / 7. Natural Necessity
Laws of nature remain the same through any conditions, if the underlying mechanisms are unchanged [Harré]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW]
14. Science / A. Basis of Science / 1. Observation
In physical sciences particular observations are ordered, but in biology only the classes are ordered [Harré]
14. Science / A. Basis of Science / 3. Experiment
Reports of experiments eliminate the experimenter, and present results as the behaviour of nature [Harré]
14. Science / A. Basis of Science / 5. Anomalies
We can save laws from counter-instances by treating the latter as analytic definitions [Harré]
14. Science / B. Scientific Theories / 1. Scientific Theory
Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
The grue problem shows that natural kinds are central to science [Harré]
'Grue' introduces a new causal hypothesis - that emeralds can change colour [Harré]
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
It is because ravens are birds that their species and their colour might be connected [Harré]
Non-black non-ravens just aren't part of the presuppositions of 'all ravens are black' [Harré]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
The necessity of Newton's First Law derives from the nature of material things, not from a mechanism [Harré]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Idealisation idealises all of a thing's properties, but abstraction leaves some of them out [Harré]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Science rests on the principle that nature is a hierarchy of natural kinds [Harré]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Classification is just as important as laws in natural science [Harré]
Newton's First Law cannot be demonstrated experimentally, as that needs absence of external forces [Harré]
26. Natural Theory / D. Laws of Nature / 2. Types of Laws
Laws can come from data, from theory, from imagination and concepts, or from procedures [Harré]
Are laws of nature about events, or types and universals, or dispositions, or all three? [Harré]
Are laws about what has or might happen, or do they also cover all the possibilities? [Harré]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
Maybe laws of nature are just relations between properties? [Harré]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
Must laws of nature be universal, or could they be local? [Harré]
Laws describe abstract idealisations, not the actual mess of nature [Harré]
We take it that only necessary happenings could be laws [Harré]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Laws of nature state necessary connections of things, events and properties, based on models of mechanisms [Harré]
26. Natural Theory / D. Laws of Nature / 9. Counterfactual Claims
In counterfactuals we keep substances constant, and imagine new situations for them [Harré]