88 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] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
11016 | Would a language without vagueness be usable at all? [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
19525 | If the only aim is to believe truths, that justifies recklessly believing what is unsupported (if it is right) [Conee/Feldman] |
19524 | We don't have the capacity to know all the logical consequences of our beliefs [Conee/Feldman] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
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] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
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] |
199 | The common belief is that people can know the best without acting on it [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] |