Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Virtues of the Mind' and 'Naturalism in Mathematics'

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


66 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Unlike knowledge, wisdom cannot be misused [Zagzebski]
1. Philosophy / A. Wisdom / 2. Wise People
Wisdom is the property of a person, not of their cognitive state [Zagzebski, by Whitcomb]
2. Reason / D. Definition / 2. Aims of Definition
Precision is only one of the virtues of a good definition [Zagzebski]
2. Reason / E. Argument / 1. Argument
Objection by counterexample is weak, because it only reveals inaccuracies in one theory [Zagzebski]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
'Forcing' can produce new models of ZFC from old models [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Propositional functions' are propositions with a variable as subject or predicate [Maddy]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Completed infinities resulted from giving foundations to calculus [Maddy]
Cantor and Dedekind brought completed infinities into mathematics [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
Infinity has degrees, and large cardinals are the heart of set theory [Maddy]
For any cardinal there is always a larger one (so there is no set of all sets) [Maddy]
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
Theorems about limits could only be proved once the real numbers were understood [Maddy]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The extension of concepts is not important to me [Maddy]
In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
Frege solves the Caesar problem by explicitly defining each number [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Making set theory foundational to mathematics leads to very fruitful axioms [Maddy]
Unified set theory gives a final court of appeal for mathematics [Maddy]
Set theory brings mathematics into one arena, where interrelations become clearer [Maddy]
Identifying geometric points with real numbers revealed the power of set theory [Maddy]
The line of rationals has gaps, but set theory provided an ordered continuum [Maddy]
Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics
Maybe applications of continuum mathematics are all idealisations [Maddy]
Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Modern epistemology is too atomistic, and neglects understanding [Zagzebski]
Epistemology is excessively atomic, by focusing on justification instead of understanding [Zagzebski]
11. Knowledge Aims / A. Knowledge / 3. Value of Knowledge
Truth is valuable, but someone knowing the truth is more valuable [Zagzebski]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
Some beliefs are fairly voluntary, and others are not at all so [Zagzebski]
11. Knowledge Aims / A. Knowledge / 5. Aiming at Truth
Knowledge either aims at a quantity of truths, or a quality of understanding of truths [Zagzebski]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / b. Gettier problem
For internalists Gettier situations are where internally it is fine, but there is an external mishap [Zagzebski]
Gettier problems are always possible if justification and truth are not closely linked [Zagzebski]
We avoid the Gettier problem if the support for the belief entails its truth [Zagzebski]
Gettier cases arise when good luck cancels out bad luck [Zagzebski]
13. Knowledge Criteria / B. Internal Justification / 1. Epistemic virtues
Intellectual virtues are forms of moral virtue [Zagzebski]
Intellectual and moral prejudice are the same vice (and there are other examples) [Zagzebski]
We can name at least thirteen intellectual vices [Zagzebski]
A justified belief emulates the understanding and beliefs of an intellectually virtuous person [Zagzebski]
A reliable process is no use without the virtues to make use of them [Zagzebski]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / b. Anti-reliabilism
Epistemic perfection for reliabilism is a truth-producing machine [Zagzebski]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy]
16. Persons / C. Self-Awareness / 2. Knowing the Self
The self is known as much by its knowledge as by its action [Zagzebski]
18. Thought / A. Modes of Thought / 3. Emotions / d. Emotional feeling
The feeling accompanying curiosity is neither pleasant nor painful [Zagzebski]
20. Action / C. Motives for Action / 1. Acting on Desires
Motives involve desires, but also how the desires connect to our aims [Zagzebski]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
Modern moral theory concerns settling conflicts, rather than human fulfilment [Zagzebski]
22. Metaethics / C. The Good / 1. Goodness / i. Moral luck
Moral luck means our praise and blame may exceed our control or awareness [Zagzebski]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Nowadays we doubt the Greek view that the flourishing of individuals and communities are linked [Zagzebski]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Virtue theory is hopeless if there is no core of agreed universal virtues [Zagzebski]
A virtue must always have a corresponding vice [Zagzebski]
Eight marks distingush skills from virtues [Zagzebski, by PG]
Virtues are deep acquired excellences of persons, which successfully attain desire ends [Zagzebski]
Every moral virtue requires a degree of intelligence [Zagzebski]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
Virtue theory can have lots of rules, as long as they are grounded in virtues and in facts [Zagzebski]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
We need phronesis to coordinate our virtues [Zagzebski]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
For the virtue of honesty you must be careful with the truth, and not just speak truly [Zagzebski]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
The courage of an evil person is still a quality worth having [Zagzebski]