Combining Texts

All the ideas for 'Gentzen's Analysis of First-Order Proofs', 'Metaphysics of Morals II:Doctrine of Virtue' and 'Frege Philosophy of Language (2nd ed)'

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


55 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Moral self-knowledge is the beginning of all human wisdom [Kant]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
For any subject, its system of non-experiential concepts needs a metaphysics [Kant]
2. Reason / A. Nature of Reason / 1. On Reason
Philosophers should not offer multiple proofs - suggesting the weakness of each of them [Kant]
2. Reason / A. Nature of Reason / 5. Objectivity
What matters in mathematics is its objectivity, not the existence of the objects [Dummett]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / c. Basic theorems of ST
The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale]
The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett]
We don't need a sharp concrete/abstract distinction [Dummett]
We can't say that light is concrete but radio waves abstract [Dummett]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The context principle for names rules out a special philosophical sense for 'existence' [Dummett]
The objects we recognise the world as containing depends on the structure of our language [Dummett]
8. Modes of Existence / D. Universals / 1. Universals
We can understand universals by studying predication [Dummett]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett]
9. Objects / A. Existence of Objects / 1. Physical Objects
Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Abstract objects may not cause changes, but they can be the subject of change [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
Abstract objects must have names that fall within the range of some functional expression [Dummett]
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale]
Abstract objects can never be confronted, and need verbal phrases for reference [Dummett]
9. Objects / A. Existence of Objects / 3. Objects in Thought
There is a modern philosophical notion of 'object', first introduced by Frege [Dummett]
10. Modality / B. Possibility / 1. Possibility
That a concept is not self-contradictory does not make what it represents possible [Kant]
16. Persons / A. Concept of a Person / 4. Persons as Agents
Within nature man is unimportant, but as moral person he is above any price [Kant]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Since abstract objects cannot be picked out, we must rely on identity statements [Dummett]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
Duty is impossible without prior moral feeling, conscience, love and self-respect [Kant]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
Moral principles do not involve feelings [Kant]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
The love of man is required in order to present the world as a beautiful and perfect moral whole [Kant]
All morality directs the will to love of others' ends, and respect for others' rights [Kant]
22. Metaethics / B. Value / 2. Values / g. Love
The duty of love is to makes the ends of others one's own [Kant]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
A duty of virtue is a duty which is also an end [Kant]
Virtue is strong maxims for duty [Kant]
The supreme principle of virtue is to find universal laws for ends [Kant]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
We are obliged to show the social virtues, but at least they make a virtuous disposition fashionable [Kant]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
If virtue becomes a habit, that is a loss of the freedom needed for adopting maxims [Kant]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
How do we distinguish a mean? The extremes can involve quite different maxims [Kant]
If virtue is the mean between vices, then virtue is just the vanishing of vice [Kant]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
There is one principle of virtues; the virtues are distinguished by their objects [Kant]
23. Ethics / C. Virtue Theory / 3. Virtues / h. Respect
We can love without respect, and show respect without love [Kant]
Respect is limiting our self-esteem by attending to the human dignity of other persons [Kant]
Disrespect is using a person as a mere means to my own ends [Kant]
Respect is purely negative (of not exalting oneself over others), and is thus a duty of Right [Kant]
Love urges us to get closer to people, but respect to keep our distance [Kant]
We must respect the humanity even in a vicious criminal [Kant]
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
Humans are distinguished from animals by their capacity to set themselves any sort of end [Kant]
Man is both social, and unsociable [Kant]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Violation of rights deserves punishment, which is vengeance, rather than restitution [Kant]
25. Social Practice / F. Life Issues / 6. Animal Rights
Men can only have duties to those who qualify as persons [Kant]
Cruelty to animals is bad because it dulls our empathy for pain in humans [Kant]