Combining Texts

All the ideas for 'Structures and Structuralism in Phil of Maths', 'Laws in Nature' and 'Walking the Tightrope of Reason'

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


64 ideas

1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Science studies phenomena, but only metaphysics tells us what exists [Mumford]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophy may never find foundations, and may undermine our lives in the process [Fogelin]
2. Reason / A. Nature of Reason / 1. On Reason
Many forms of reasoning, such as extrapolation and analogy, are useful but deductively invalid [Mumford]
Rationality is threatened by fear of inconsistency, illusions of absolutes or relativism, and doubt [Fogelin]
2. Reason / A. Nature of Reason / 9. Limits of Reason
Humans may never be able to attain a world view which is both rich and consistent [Fogelin]
A game can be played, despite having inconsistent rules [Fogelin]
2. Reason / B. Laws of Thought / 1. Laws of Thought
The law of noncontradiction is traditionally the most basic principle of rationality [Fogelin]
2. Reason / B. Laws of Thought / 3. Non-Contradiction
The law of noncontradiction makes the distinction between asserting something and denying it [Fogelin]
2. Reason / E. Argument / 3. Analogy
Legal reasoning is analogical, not deductive [Fogelin]
3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
7. Existence / A. Nature of Existence / 1. Nature of Existence
For Humeans the world is a world primarily of events [Mumford]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
Properties are just natural clusters of powers [Mumford]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
A 'porridge' nominalist thinks we just divide reality in any way that suits us [Mumford]
8. Modes of Existence / E. Nominalism / 2. Resemblance Nominalism
If properties are clusters of powers, this can explain why properties resemble in degrees [Mumford]
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
How can we show that a universally possessed property is an essential property? [Mumford]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
Conventions can only work if they are based on something non-conventional [Fogelin]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
My view is 'circumspect rationalism' - that only our intellect can comprehend the world [Fogelin]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
Knowledge is legitimate only if all relevant defeaters have been eliminated [Fogelin]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
For coherentists, circularity is acceptable if the circle is large, rich and coherent [Fogelin]
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / a. Contextualism
A rule of justification might be: don't raise the level of scrutiny without a good reason [Fogelin]
13. Knowledge Criteria / D. Scepticism / 2. Types of Scepticism
Scepticism is cartesian (sceptical scenarios), or Humean (future), or Pyrrhonian (suspend belief) [Fogelin]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
Scepticism deals in remote possibilities that are ineliminable and set the standard very high [Fogelin]
13. Knowledge Criteria / E. Relativism / 1. Relativism
Radical perspectivism replaces Kant's necessary scheme with many different schemes [Fogelin]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
We are also irrational, with a unique ability to believe in bizarre self-created fictions [Fogelin]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
Critics must be causally entangled with their subject matter [Fogelin]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
The word 'beautiful', when deprived of context, is nearly contentless [Fogelin]
21. Aesthetics / C. Artistic Issues / 5. Objectivism in Art
Saying 'It's all a matter to taste' ignores the properties of the object discussed [Fogelin]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Cynics are committed to morality, but disappointed or disgusted by human failings [Fogelin]
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
Deterrence, prevention, rehabilitation and retribution can come into conflict in punishments [Fogelin]
Retributivists say a crime can be 'paid for'; deterrentists still worry about potential victims [Fogelin]
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Singular causes, and identities, might be necessary without falling under a law [Mumford]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
We can give up the counterfactual account if we take causal language at face value [Mumford]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
It is only properties which are the source of necessity in the world [Mumford]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
There are four candidates for the logical form of law statements [Mumford]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
Regularity laws don't explain, because they have no governing role [Mumford]
Pure regularities are rare, usually only found in idealized conditions [Mumford]
Regularities are more likely with few instances, and guaranteed with no instances! [Mumford]
Would it count as a regularity if the only five As were also B? [Mumford]
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
If the best system describes a nomological system, the laws are in nature, not in the description [Mumford]
The best systems theory says regularities derive from laws, rather than constituting them [Mumford]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
Laws of nature are necessary relations between universal properties, rather than about particulars [Mumford]
If laws can be uninstantiated, this favours the view of them as connecting universals [Mumford]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Laws of nature are just the possession of essential properties by natural kinds [Mumford]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
To distinguish accidental from essential properties, we must include possible members of kinds [Mumford]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
The Central Dilemma is how to explain an internal or external view of laws which govern [Mumford]
You only need laws if you (erroneously) think the world is otherwise inert [Mumford]
There are no laws of nature in Aristotle; they became standard with Descartes and Newton [Mumford]