95 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] |
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] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
15412 | Models leave out meaning, and just focus on truth values [Burgess] |
15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10185 | Set theory is the standard background for modern mathematics [Burgess] |
10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
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] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
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] |
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] |