Combining Texts

All the ideas for 'Structures and Structuralism in Phil of Maths', 'Letters to Oldenburg' and 'The Right and the Good'

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


61 ideas

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]
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
The goodness of opinions depends on their grounds, and corresponding degrees of conviction [Ross]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
Knowledge is superior to opinion because it is certain [Ross]
12. Knowledge Sources / B. Perception / 7. Causal Perception
I prefer the causal theory to sense data, because sensations are events, not apprehensions [Ross]
14. Science / B. Scientific Theories / 5. Commensurability
Two goods may be comparable, although they are not commensurable [Ross]
17. Mind and Body / D. Property Dualism / 5. Supervenience of mind
Identical objects must have identical value [Ross]
21. Aesthetics / A. Aesthetic Experience / 2. Aesthetic Attitude
Aesthetic enjoyment combines pleasure with insight [Ross]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Beauty is neither objective nor subjective, but a power of producing certain mental events [Ross]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / e. Ethical cognitivism
Moral duties are as fundamental to the universe as the axioms of mathematics [Ross]
The beauty of a patch of colour might be the most important fact about it [Ross]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / f. Ethical non-cognitivism
Whether nature is beautiful or orderly is entirely in relation to human imagination [Spinoza]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Ross said moral principles are self-evident from the facts, but not from pure thought [Ross, by Dancy,J]
The moral convictions of thoughtful educated people are the raw data of ethics [Ross]
22. Metaethics / B. Value / 1. Nature of Value / a. Nature of value
Value is held to be either a quality, or a relation (usually between a thing and a mind) [Ross]
The arguments for value being an objective or a relation fail, so it appears to be a quality [Ross]
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
The thing is intrinsically good if it would be good when nothing else existed [Ross]
All things being equal, we all prefer the virtuous to be happy, not the vicious [Ross]
22. Metaethics / B. Value / 1. Nature of Value / e. Means and ends
An instrumentally good thing might stay the same, but change its value because of circumstances [Ross]
22. Metaethics / C. The Good / 1. Goodness / a. Form of the Good
We can ask of pleasure or beauty whether they are valuable, but not of goodness [Ross]
22. Metaethics / C. The Good / 1. Goodness / b. Types of good
The three intrinsic goods are virtue, knowledge and pleasure [Ross]
The four goods are: virtue, pleasure, just allocation of pleasure, and knowledge [Ross]
22. Metaethics / C. The Good / 1. Goodness / c. Right and good
'Right' and 'good' differ in meaning, as in a 'right action' and a 'good man' [Ross]
If there are two equally good acts, they may both be right, but neither a duty [Ross]
In the past 'right' just meant what is conventionally accepted [Ross]
Goodness is a wider concept than just correct ethical conduct [Ross]
Motives decide whether an action is good, and what is done decides whether it was right [Ross]
22. Metaethics / C. The Good / 1. Goodness / d. Good as virtue
Virtue is superior to pleasure, as pleasure is never a duty, but goodness is [Ross]
22. Metaethics / C. The Good / 1. Goodness / e. Good as knowledge
All other things being equal, a universe with more understanding is better [Ross]
Morality is not entirely social; a good moral character should love truth [Ross]
22. Metaethics / C. The Good / 3. Pleasure / c. Value of pleasure
We clearly value good character or understanding, as well as pleasure [Ross]
No one thinks it doesn't matter whether pleasure is virtuously or viciously acquired [Ross]
23. Ethics / B. Contract Ethics / 3. Promise Keeping
Promise-keeping is bound by the past, and is not concerned with consequences [Ross]
Promises create a new duty to a particular person; they aren't just a strategy to achieve well-being [Ross]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
Prima facie duties rest self-evidently on particular circumstance [Ross]
23. Ethics / C. Virtue Theory / 3. Virtues / h. Respect
People lose their rights if they do not respect the rights of others [Ross]
23. Ethics / D. Deontological Ethics / 2. Duty
We should do our duty, but not from a sense of duty [Ross]
Be faithful, grateful, just, beneficent, non-malevolent, and improve yourself [Ross, by PG]
We like people who act from love, but admire more the people who act from duty [Ross]
23. Ethics / D. Deontological Ethics / 4. Categorical Imperative
An act may be described in innumerable ways [Ross]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
We should use money to pay debts before giving to charity [Ross]
25. Social Practice / C. Rights / 1. Basis of Rights
Rights were originally legal, and broadened to include other things [Ross]
25. Social Practice / F. Life Issues / 6. Animal Rights
Rights can be justly claimed, so animals have no rights, as they cannot claim any [Ross]
28. God / A. Divine Nature / 3. Divine Perfections
God is a being with infinite attributes, each of them infinite or perfect [Spinoza]
28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles
Trying to prove God's existence through miracles is proving the obscure by the more obscure [Spinoza]