Combining Texts

All the ideas for 'On boundary numbers and domains of sets', 'Mechanisms' and 'Introduction to 'Absolute Generality''

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


16 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]
Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]
5. Theory of Logic / L. Paradox / 3. Antinomies
The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo]
14. Science / B. Scientific Theories / 2. Aim of Science
Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
Mechanisms are either systems of parts or sequences of activities [Glennan]
17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]
26. Natural Theory / C. Causation / 4. Naturalised causation
Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]