169 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] |
| 6779 | Instrumentalists say distinctions between observation and theory vanish with ostensive definition [Bird] |
| 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] |
| 9449 | The plausible Barcan formula implies modality in the actual world [Bird] |
| 10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
| 10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
| 10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
| 10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
| 10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
| 10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
| 10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
| 10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
| 10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
| 10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 9501 | If all existents are causally active, that excludes abstracta and causally isolated objects [Bird] |
| 9500 | If naturalism refers to supervenience, that leaves necessary entities untouched [Bird] |
| 6780 | Anti-realism is more plausible about laws than about entities and theories [Bird] |
| 9502 | There might be just one fundamental natural property [Bird] |
| 9477 | Categorical properties are not modally fixed, but change across possible worlds [Bird] |
| 9490 | The categoricalist idea is that a property is only individuated by being itself [Bird] |
| 9495 | If we abstractly define a property, that doesn't mean some object could possess it [Bird] |
| 9492 | Categoricalists take properties to be quiddities, with no essential difference between them [Bird] |
| 9503 | To name an abundant property is either a Fregean concept, or a simple predicate [Bird] |
| 14540 | Only real powers are fundamental [Bird, by Mumford/Anjum] |
| 9450 | If all properties are potencies, and stimuli and manifestation characterise them, there is a regress [Bird] |
| 9498 | The essence of a potency involves relations, e.g. mass, to impressed force and acceleration [Bird] |
| 9474 | A disposition is finkish if a time delay might mean the manifestation fizzles out [Bird] |
| 9475 | A robust pot attached to a sensitive bomb is not fragile, but if struck it will easily break [Bird] |
| 9499 | Megarian actualists deny unmanifested dispositions [Bird] |
| 9486 | Why should a universal's existence depend on instantiation in an existing particular? [Bird] |
| 1652 | Socrates did not consider universals or definitions as having separate existence, but Plato made Forms of them [Socrates, by Aristotle] |
| 9472 | Resemblance itself needs explanation, presumably in terms of something held in common [Bird] |
| 9482 | If the laws necessarily imply p, that doesn't give a new 'nomological' necessity [Bird] |
| 9481 | Logical necessitation is not a kind of necessity; George Orwell not being Eric Blair is not a real possibility [Bird] |
| 6796 | Subjective probability measures personal beliefs; objective probability measures the chance of an event happening [Bird] |
| 6797 | Objective probability of tails measures the bias of the coin, not our beliefs about it [Bird] |
| 9505 | Empiricist saw imaginability and possibility as close, but now they seem remote [Bird] |
| 9491 | Haecceitism says identity is independent of qualities and without essence [Bird] |
| 6800 | Many philosophers rate justification as a more important concept than knowledge [Bird] |
| 6786 | As science investigates more phenomena, the theories it needs decreases [Bird] |
| 6792 | If theories need observation, and observations need theories, how do we start? [Bird] |
| 6757 | Explanation predicts after the event; prediction explains before the event [Bird] |
| 6805 | Relativity ousted Newtonian mechanics despite a loss of simplicity [Bird] |
| 6777 | Realists say their theories involve truth and the existence of their phenomena [Bird] |
| 6804 | There is no agreement on scientific method - because there is no such thing [Bird] |
| 6778 | Instrumentalists regard theories as tools for prediction, with truth being irrelevant [Bird] |
| 6775 | Induction is inference to the best explanation, where the explanation is a law [Bird] |
| 6791 | If Hume is right about induction, there is no scientific knowledge [Bird] |
| 6790 | Anything justifying inferences from observed to unobserved must itself do that [Bird] |
| 6738 | Any conclusion can be drawn from an induction, if we use grue-like predicates [Bird] |
| 6739 | Several months of observing beech trees supports the deciduous and evergreen hypotheses [Bird] |
| 6799 | We normally learn natural kinds from laws, but Goodman shows laws require prior natural kinds [Bird] |
| 6798 | Bayesianism claims to find rationality and truth in induction, and show how science works [Bird] |
| 6752 | The objective component of explanations is the things that must exist for the explanation [Bird] |
| 6754 | We talk both of 'people' explaining things, and of 'facts' explaining things [Bird] |
| 9487 | We can't reject all explanations because of a regress; inexplicable A can still explain B [Bird] |
| 6750 | Explanations are causal, nomic, psychological, psychoanalytic, Darwinian or functional [Bird] |
| 6761 | Contrastive explanations say why one thing happened but not another [Bird] |
| 6758 | 'Covering law' explanations only work if no other explanations are to be found [Bird] |
| 6759 | Livers always accompany hearts, but they don't explain hearts [Bird] |
| 6756 | Probabilistic-statistical explanations don't entail the explanandum, but makes it more likely [Bird] |
| 6760 | An operation might reduce the probability of death, yet explain a death [Bird] |
| 6785 | Inference to the Best Explanation is done with facts, so it has to be realist [Bird] |
| 6788 | Maybe bad explanations are the true ones, in this messy world [Bird] |
| 6787 | Which explanation is 'best' is bound to be subjective, and no guide to truth [Bird] |
| 6751 | Maybe explanation is so subjective that it cannot be a part of science [Bird] |
| 17527 | Causation seems to be an innate concept (or acquired very early) [Bird] |
| 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] |
| 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] |
| 1653 | Socrates did not accept the tripartite soul (which permits akrasia) [Vlastos on Socrates] |
| 195 | No one willingly commits an evil or base act [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] |
| 339 | Men fear death as a great evil when it may be a great blessing [Socrates] |
| 344 | If death is like a night of dreamless sleep, such nights are very pleasant [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] |
| 6776 | Natural kinds are those that we use in induction [Bird] |
| 6767 | Rubies and sapphires are both corundum, with traces of metals varying their colours [Bird] |
| 6768 | Tin is not one natural kind, but appears to be 21, depending on isotope [Bird] |
| 6771 | Natural kinds may overlap, or be sub-kinds of one another [Bird] |
| 6770 | Membership of a purely random collection cannot be used as an explanation [Bird] |
| 6773 | If F is a universal appearing in a natural law, then Fs form a natural kind [Bird] |
| 6769 | In the Kripke-Putnam view only nuclear physicists can know natural kinds [Bird] |
| 6774 | Darwinism suggests that we should have a native ability to detect natural kinds [Bird] |
| 6764 | Nominal essence of a natural kind is the features that make it fit its name [Bird] |
| 6766 | Jadeite and nephrite are superficially identical, but have different composition [Bird] |
| 6808 | Reference to scientific terms is by explanatory role, not by descriptions [Bird] |
| 17528 | The dispositional account explains causation, as stimulation and manifestation of dispositions [Bird] |
| 9493 | We should explain causation by powers, not powers by causation [Bird] |
| 6753 | Laws are more fundamental in science than causes, and laws will explain causes [Bird] |
| 9494 | Singularism about causes is wrong, as the universals involved imply laws [Bird] |
| 17526 | The counterfactual approach makes no distinction between cause and pre-condition [Bird] |
| 6762 | Newton's laws cannot be confirmed individually, but only in combinations [Bird] |
| 6763 | Parapsychology is mere speculation, because it offers no mechanisms for its working [Bird] |
| 6772 | Existence requires laws, as inertia or gravity are needed for mass or matter [Bird] |
| 9507 | Laws are explanatory relationships of things, which supervene on their essences [Bird] |
| 9488 | Laws are either disposition regularities, or relations between properties [Bird] |
| 6746 | There may be many laws, each with only a few instances [Bird] |
| 6740 | 'All uranium lumps are small' is a law, but 'all gold lumps are small' is not [Bird] |
| 6741 | There can be remarkable uniformities in nature that are purely coincidental [Bird] |
| 6742 | A law might have no instances, if it was about things that only exist momentarily [Bird] |
| 6743 | If laws are just instances, the law should either have gaps, or join the instances arbitrarily [Bird] |
| 6744 | Where is the regularity in a law predicting nuclear decay? [Bird] |
| 6747 | Laws cannot explain instances if they are regularities, as something can't explain itself [Bird] |
| 6748 | Similar appearance of siblings is a regularity, but shared parents is what links them [Bird] |
| 6749 | We can only infer a true regularity if something binds the instances together [Bird] |
| 6803 | If we only infer laws from regularities among observations, we can't infer unobservable entities. [Bird] |
| 6801 | Accidental regularities are not laws, and an apparent regularity may not be actual [Bird] |
| 9496 | That other diamonds are hard does not explain why this one is [Bird] |
| 9479 | Dispositional essentialism says laws (and laws about laws) are guaranteed regularities [Bird] |
| 6745 | A regularity is only a law if it is part of a complete system which is simple and strong [Bird] |
| 6802 | With strange enough predicates, anything could be made out to be a regularity [Bird] |
| 9473 | Laws cannot offer unified explanations if they don't involve universals [Bird] |
| 9484 | If the universals for laws must be instantiated, a vanishing particular could destroy a law [Bird] |
| 9506 | Salt necessarily dissolves in water, because of the law which makes the existence of salt possible [Bird] |
| 23713 | Most laws supervene on fundamental laws, which are explained by basic powers [Bird, by Friend/Kimpton-Nye] |
| 6789 | If flame colour is characteristic of a metal, that is an empirical claim needing justification [Bird] |
| 9489 | Essentialism can't use conditionals to explain regularities, because of possible interventions [Bird] |
| 6807 | In Newton mass is conserved, but in Einstein it can convert into energy [Bird] |
| 9504 | The relational view of space-time doesn't cover times and places where things could be [Bird] |
| 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] |