Combining Texts

All the ideas for 'History of the Concept of Time', 'Utilitarianism' and 'On Second-Order Logic'

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

27 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
15582 Perhaps the aim of philosophy is to abolish sham problems [Heidegger]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
14249 Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
10830 Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
10829 A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10832 '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10834 Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos]
5. Theory of Logic / K. Features of Logics / 6. Compactness
13841 Why should compactness be definitive of logic? [Boolos, by Hacking]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
10833 Many concepts can only be expressed by second-order logic [Boolos]
16. Persons / A. Concept of a Person / 4. Persons as Agents
15579 My active existence is defined by being able to say 'I can' [Heidegger]
16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body
15583 Certainty that I will die is more basic to my existence than the Cogito [Heidegger]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
3772 The will, in the beginning, is entirely produced by desire [Mill]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
3769 With early training, any absurdity or evil may be given the power of conscience [Mill]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
3767 Motive shows the worth of the agent, but not of the action [Mill]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
3771 Virtues only have value because they achieve some further end [Mill]
23. Ethics / D. Deontological Ethics / 2. Duty
3768 Orthodox morality is the only one which feels obligatory [Mill]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
3776 Utilitarianism only works if everybody has a totally equal right to happiness [Mill]
7202 The English believe in the task of annihilating evil for the victory of good [Nietzsche on Mill]
5935 Mill's qualities of pleasure is an admission that there are other good states of mind than pleasure [Ross on Mill]
3764 Actions are right if they promote pleasure, wrong if they promote pain [Mill]
23. Ethics / E. Utilitarianism / 2. Ideal of Pleasure
3763 Ultimate goods such as pleasure can never be proved to be good [Mill]
3765 Only pleasure and freedom from pain are desirable as ends [Mill]
3766 Better to be Socrates dissatisfied than a fool satisfied [Mill]
23. Ethics / E. Utilitarianism / 3. Motivation for Altruism
3770 General happiness is only desirable because individuals desire their own happiness [Mill]
23. Ethics / E. Utilitarianism / 5. Rule Utilitarianism
6697 Moral rules protecting human welfare are more vital than local maxims [Mill]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
3774 Rights are a matter of justice, not of benevolence [Mill]
3773 No individual has the right to receive our benevolence [Mill]
25. Social Practice / C. Rights / 1. Basis of Rights
3775 A right is a valid claim to society's protection [Mill]