Combining Texts

All the ideas for 'Gödel's Proof', 'Mechanisms' and 'Review of Chihara 'Struct. Accnt of Maths''

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


14 ideas

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set theory is the standard background for modern mathematics [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess]
There is no one relation for the real number 2, as relations differ in different models [Burgess]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
If set theory is used to define 'structure', we can't define set theory structurally [Burgess]
Abstract algebra concerns relations between models, not common features of all the models [Burgess]
How can mathematical relations be either internal, or external, or intrinsic? [Burgess]
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]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]
26. Natural Theory / C. Causation / 4. Naturalised causation
Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]