Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Virtues of the Mind' and 'Higher-Order Logic'

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


47 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 / 4. Axioms for Sets / j. Axiom of Choice IX
The axiom of choice is controversial, but it could be replaced [Shapiro]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Some say that second-order logic is mathematics, not logic [Shapiro]
If the aim of logic is to codify inferences, second-order logic is useless [Shapiro]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence can be defined in terms of the logical terminology [Shapiro]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Second-order variables also range over properties, sets, relations or functions [Shapiro]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro]
The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro]
The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro]
Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro]
8. Modes of Existence / B. Properties / 11. Properties as Sets
Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro]
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]
A reliable process is no use without the virtues to make use of them [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]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / b. Anti-reliabilism
Epistemic perfection for reliabilism is a truth-producing machine [Zagzebski]
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
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
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]