89 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] |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
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] |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
18825 | S5 is the logic of logical necessity [Rumfitt] |
18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
1650 | For Socrates our soul, though hard to define, is our self [Vlastos on Socrates] |
6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
23252 | Socrates first proposed that we are run by mind or reason [Socrates, by Frede,M] |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
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] |
6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
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] |
6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
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] |
6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
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] |
6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |