111 ideas
| 13773 | For the truth you need Prodicus's fifty-drachma course, not his one-drachma course [Socrates] |
| 343 | The unexamined life is not worth living for men [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] |
| 12204 | The logic of metaphysical necessity is S5 [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] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
| 9390 | Logic guides thinking, but it isn't a substitute for it [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] |
| 12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
| 12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
| 12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [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] |
| 12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [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] |
| 17462 | A single object must not be counted twice, which needs knowledge of distinctness (negative identity) [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] |
| 17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
| 1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
| 9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
| 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] |
| 14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
| 18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
| 12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
| 12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
| 18825 | S5 is the logic of logical necessity [Rumfitt] |
| 12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [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] |
| 12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [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] |
| 18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
| 6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
| 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] |
| 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] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [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] |
| 5838 | A well-made dung basket is fine, and a badly-made gold shield is base, because of function [Socrates, by Xenophon] |
| 344 | If death is like a night of dreamless sleep, such nights are very pleasant [Socrates] |
| 339 | Men fear death as a great evil when it may be a great blessing [Socrates] |
| 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] |
| 2 | We should not even harm someone who harms us [Socrates] |
| 1663 | By 'areté' Socrates means just what we mean by moral virtue [Vlastos on Socrates] |
| 345 | A good man cannot be harmed, either in life or in death [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] |
| 22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |
| 346 | One ought not to return a wrong or injury to any person, whatever the provocation [Socrates] |
| 23907 | Courage is scientific knowledge [Socrates, by Aristotle] |
| 341 | Wealth is good if it is accompanied by virtue [Socrates] |
| 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] |
| 347 | Will I stand up against the law, simply because I have been unjustly judged? [Socrates] |
| 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] |
| 338 | Socrates is accused of denying the gods, saying sun is stone and moon is earth [Socrates, by Plato] |