64 ideas
13773 | For the truth you need Prodicus's fifty-drachma course, not his one-drachma course [Socrates] |
7421 | A philosopher is one who cares about what other people care about [Socrates, by Foucault] |
1649 | Socrates opened philosophy to all, but Plato confined moral enquiry to a tiny elite [Vlastos on Socrates] |
5842 | Philosophical discussion involves dividing subject-matter into categories [Socrates, by Xenophon] |
648 | Socrates began the quest for something universal with his definitions, but he didn't make them separate [Socrates, by Aristotle] |
164 | It is legitimate to play the devil's advocate [Socrates] |
1647 | In Socratic dialogue you must say what you believe, so unasserted premises are not debated [Vlastos on Socrates] |
115 | Socrates was pleased if his mistakes were proved wrong [Socrates] |
22099 | The method of Socrates shows the student is discovering the truth within himself [Socrates, by Carlisle] |
5844 | Socrates always proceeded in argument by general agreement at each stage [Socrates, by Xenophon] |
11389 | Socrates sought essences, which are the basis of formal logic [Socrates, by Aristotle] |
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
17765 | Propositional language can only relate statements as the same or as different [Walicki] |
17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
17754 | Inductive proof depends on the choice of the ordering [Walicki] |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
1650 | For Socrates our soul, though hard to define, is our self [Vlastos on Socrates] |
23252 | Socrates first proposed that we are run by mind or reason [Socrates, by Frede,M] |
199 | The common belief is that people can know the best without acting on it [Socrates] |
195 | No one willingly commits an evil or base act [Socrates] |
1653 | Socrates did not accept the tripartite soul (which permits akrasia) [Vlastos on Socrates] |
5843 | People do what they think they should do, and only ever do what they think they should do [Socrates, by Xenophon] |
5253 | Socrates was shocked by the idea of akrasia, but observation shows that it happens [Aristotle on Socrates] |
5839 | For Socrates, wisdom and prudence were the same thing [Socrates, by Xenophon] |
5867 | For Socrates, virtues are forms of knowledge, so knowing justice produces justice [Socrates, by Aristotle] |
5069 | Socrates was the first to base ethics upon reason, and use reason to explain it [Taylor,R on Socrates] |
5836 | All human virtues are increased by study and practice [Socrates, by Xenophon] |
5840 | The wise perform good actions, and people fail to be good without wisdom [Socrates, by Xenophon] |
185 | Socrates despised good looks [Socrates, by Plato] |
5070 | Socrates conservatively assumed that Athenian conventions were natural and true [Taylor,R on Socrates] |
5838 | A well-made dung basket is fine, and a badly-made gold shield is base, because of function [Socrates, by Xenophon] |
5837 | Things are both good and fine by the same standard [Socrates, by Xenophon] |
3017 | The only good is knowledge, and the only evil is ignorance [Socrates, by Diog. Laertius] |
1646 | Socrates was the first to put 'eudaimonia' at the centre of ethics [Socrates, by Vlastos] |
1663 | By 'areté' Socrates means just what we mean by moral virtue [Vlastos on Socrates] |
4323 | Socrates is torn between intellectual virtue, which is united and teachable, and natural virtue, which isn't [PG on Socrates] |
8003 | Socrates agrees that virtue is teachable, but then denies that there are teachers [Socrates, by MacIntyre] |
126 | We should ask what sort of people we want to be [Socrates] |
4111 | Socrates believed that basically there is only one virtue, the power of right judgement [Socrates, by Williams,B] |
7808 | Socrates made the civic values of justice and friendship paramount [Socrates, by Grayling] |
23907 | Courage is scientific knowledge [Socrates, by Aristotle] |
7585 | Socrates emphasises that the knower is an existing individual, with existence his main task [Socrates, by Kierkegaard] |
5841 | Obedience to the law gives the best life, and success in war [Socrates, by Xenophon] |
1661 | Socrates was the first to grasp that a cruelty is not justified by another cruelty [Vlastos on Socrates] |
5846 | A lover using force is a villain, but a seducer is much worse, because he corrupts character [Socrates, by Xenophon] |
1657 | Socrates holds that right reason entails virtue, and this must also apply to the gods [Vlastos on Socrates] |
1662 | A new concept of God as unswerving goodness emerges from Socrates' commitment to virtue [Vlastos on Socrates] |