Combining Texts

All the ideas for 'talk', 'On Second-Order Logic' and 'Noneism or Allism?'

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


55 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / c. Classical philosophy
For the truth you need Prodicus's fifty-drachma course, not his one-drachma course [Socrates]
1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
A philosopher is one who cares about what other people care about [Socrates, by Foucault]
1. Philosophy / D. Nature of Philosophy / 6. Hopes for Philosophy
Socrates opened philosophy to all, but Plato confined moral enquiry to a tiny elite [Vlastos on Socrates]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Philosophical discussion involves dividing subject-matter into categories [Socrates, by Xenophon]
1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
Socrates began the quest for something universal with his definitions, but he didn't make them separate [Socrates, by Aristotle]
2. Reason / C. Styles of Reason / 1. Dialectic
It is legitimate to play the devil's advocate [Socrates]
2. Reason / C. Styles of Reason / 2. Elenchus
In Socratic dialogue you must say what you believe, so unasserted premises are not debated [Vlastos on Socrates]
Socrates was pleased if his mistakes were proved wrong [Socrates]
The method of Socrates shows the student is discovering the truth within himself [Socrates, by Carlisle]
Socrates always proceeded in argument by general agreement at each stage [Socrates, by Xenophon]
2. Reason / D. Definition / 6. Definition by Essence
Socrates sought essences, which are the basis of formal logic [Socrates, by Aristotle]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley]
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
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
'∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
We can quantify over fictions by quantifying for real over their names [Lewis]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
We could quantify over impossible objects - as bundles of properties [Lewis]
5. Theory of Logic / K. Features of Logics / 4. Completeness
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
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
Many concepts can only be expressed by second-order logic [Boolos]
7. Existence / A. Nature of Existence / 1. Nature of Existence
'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis]
7. Existence / A. Nature of Existence / 2. Types of Existence
We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis]
8. Modes of Existence / D. Universals / 6. Platonic Forms / a. Platonic Forms
Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
For Socrates our soul, though hard to define, is our self [Vlastos on Socrates]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
Socrates first proposed that we are run by mind or reason [Socrates, by Frede,M]
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
People do what they think they should do, and only ever do what they think they should do [Socrates, by Xenophon]
Socrates was shocked by the idea of akrasia, but observation shows that it happens [Aristotle on Socrates]
No one willingly commits an evil or base act [Socrates]
The common belief is that people can know the best without acting on it [Socrates]
Socrates did not accept the tripartite soul (which permits akrasia) [Vlastos on Socrates]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
For Socrates, wisdom and prudence were the same thing [Socrates, by Xenophon]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
For Socrates, virtues are forms of knowledge, so knowing justice produces justice [Socrates, by Aristotle]
Socrates was the first to base ethics upon reason, and use reason to explain it [Taylor,R on Socrates]
All human virtues are increased by study and practice [Socrates, by Xenophon]
The wise perform good actions, and people fail to be good without wisdom [Socrates, by Xenophon]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
Socrates despised good looks [Socrates, by Plato]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
Socrates conservatively assumed that Athenian conventions were natural and true [Taylor,R on Socrates]
22. Metaethics / B. Value / 2. Values / b. Successful function
A well-made dung basket is fine, and a badly-made gold shield is base, because of function [Socrates, by Xenophon]
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Things are both good and fine by the same standard [Socrates, by Xenophon]
22. Metaethics / C. The Good / 1. Goodness / e. Good as knowledge
The only good is knowledge, and the only evil is ignorance [Socrates, by Diog. Laertius]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Socrates was the first to put 'eudaimonia' at the centre of ethics [Socrates, by Vlastos]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
By 'areté' Socrates means just what we mean by moral virtue [Vlastos on Socrates]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / d. Teaching virtue
Socrates is torn between intellectual virtue, which is united and teachable, and natural virtue, which isn't [PG on Socrates]
Socrates agrees that virtue is teachable, but then denies that there are teachers [Socrates, by MacIntyre]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
We should ask what sort of people we want to be [Socrates]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
Socrates believed that basically there is only one virtue, the power of right judgement [Socrates, by Williams,B]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Socrates made the civic values of justice and friendship paramount [Socrates, by Grayling]
23. Ethics / C. Virtue Theory / 3. Virtues / d. Courage
Courage is scientific knowledge [Socrates, by Aristotle]
23. Ethics / F. Existentialism / 1. Existentialism
Socrates emphasises that the knower is an existing individual, with existence his main task [Socrates, by Kierkegaard]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
Obedience to the law gives the best life, and success in war [Socrates, by Xenophon]
25. Social Practice / D. Justice / 3. Punishment / b. Retribution for crime
Socrates was the first to grasp that a cruelty is not justified by another cruelty [Vlastos on Socrates]
25. Social Practice / F. Life Issues / 5. Sexual Morality
A lover using force is a villain, but a seducer is much worse, because he corrupts character [Socrates, by Xenophon]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
Socrates holds that right reason entails virtue, and this must also apply to the gods [Vlastos on Socrates]
28. God / A. Divine Nature / 6. Divine Morality / c. God is the good
A new concept of God as unswerving goodness emerges from Socrates' commitment to virtue [Vlastos on Socrates]