61 ideas
13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
3859 | We do not wish merely to predict, we also want to explain [Newton-Smith] |
3870 | The real problem of science is how to choose between possible explanations [Newton-Smith] |
3853 | For science to be rational, we must explain scientific change rationally [Newton-Smith] |
3855 | Critics attack positivist division between theory and observation [Newton-Smith] |
3854 | Positivists hold that theoretical terms change, but observation terms don't [Newton-Smith] |
13883 | The best way to understand a philosophical idea is to defend it [Wright,C] |
10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
3869 | More truthful theories have greater predictive power [Newton-Smith] |
3861 | Theories generate infinite truths and falsehoods, so they cannot be used to assess probability [Newton-Smith] |
9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
13931 | By using aporiai as his start, Aristotle can defer to the wise, as well as to the many [Haslanger] |
13861 | Number theory aims at the essence of natural numbers, giving their nature, and the epistemology [Wright,C] |
13892 | One could grasp numbers, and name sizes with them, without grasping ordering [Wright,C] |
13867 | Instances of a non-sortal concept can only be counted relative to a sortal concept [Wright,C] |
17441 | Wright thinks Hume's Principle is more fundamental to cardinals than the Peano Axioms are [Wright,C, by Heck] |
13862 | There are five Peano axioms, which can be expressed informally [Wright,C] |
17853 | Number truths are said to be the consequence of PA - but it needs semantic consequence [Wright,C] |
17854 | What facts underpin the truths of the Peano axioms? [Wright,C] |
13894 | Sameness of number is fundamental, not counting, despite children learning that first [Wright,C] |
10140 | We derive Hume's Law from Law V, then discard the latter in deriving arithmetic [Wright,C, by Fine,K] |
8692 | Frege has a good system if his 'number principle' replaces his basic law V [Wright,C, by Friend] |
17440 | Wright says Hume's Principle is analytic of cardinal numbers, like a definition [Wright,C, by Heck] |
13893 | It is 1-1 correlation of concepts, and not progression, which distinguishes natural number [Wright,C] |
13888 | If numbers are extensions, Frege must first solve the Caesar problem for extensions [Wright,C] |
13869 | Number platonism says that natural number is a sortal concept [Wright,C] |
13870 | We can't use empiricism to dismiss numbers, if numbers are our main evidence against empiricism [Wright,C] |
13873 | Treating numbers adjectivally is treating them as quantifiers [Wright,C] |
13899 | The Peano Axioms, and infinity of cardinal numbers, are logical consequences of how we explain cardinals [Wright,C] |
13896 | The aim is to follow Frege's strategy to derive the Peano Axioms, but without invoking classes [Wright,C] |
7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
13863 | Logicism seemed to fail by Russell's paradox, Gödel's theorems, and non-logical axioms [Wright,C] |
13895 | The standard objections are Russell's Paradox, non-logical axioms, and Gödel's theorems [Wright,C] |
13884 | The idea that 'exist' has multiple senses is not coherent [Wright,C] |
13925 | Ontology disputes rest on more basic explanation disputes [Haslanger] |
13877 | Singular terms in true sentences must refer to objects; there is no further question about their existence [Wright,C] |
9878 | Contextually defined abstract terms genuinely refer to objects [Wright,C, by Dummett] |
13868 | Sortal concepts cannot require that things don't survive their loss, because of phase sortals [Wright,C] |
13924 | The persistence of objects seems to be needed if the past is to explain the present [Haslanger] |
13930 | Persistence makes change and its products intelligible [Haslanger] |
13927 | We must explain change amongst 'momentary entities', or else the world is inexplicable [Haslanger] |
13928 | If the things which exist prior to now are totally distinct, they need not have existed [Haslanger] |
3867 | De re necessity arises from the way the world is [Newton-Smith] |
3872 | We must assess the truth of beliefs in identifying them [Newton-Smith] |
3857 | Defeat relativism by emphasising truth and reference, not meaning [Newton-Smith] |
3858 | A full understanding of 'yellow' involves some theory [Newton-Smith] |
3862 | All theories contain anomalies, and so are falsified! [Newton-Smith] |
3863 | The anomaly of Uranus didn't destroy Newton's mechanics - it led to Neptune's discovery [Newton-Smith] |
3864 | Anomalies are judged against rival theories, and support for the current theory [Newton-Smith] |
3865 | Why should it matter whether or not a theory is scientific? [Newton-Smith] |
3866 | If theories are really incommensurable, we could believe them all [Newton-Smith] |
13929 | Natural explanations give the causal interconnections [Haslanger] |
13926 | Best explanations, especially natural ones, need grounding, notably by persistent objects [Haslanger] |
13866 | A concept is only a sortal if it gives genuine identity [Wright,C] |
13865 | 'Sortal' concepts show kinds, use indefinite articles, and require grasping identities [Wright,C] |
13890 | Entities fall under a sortal concept if they can be used to explain identity statements concerning them [Wright,C] |
13898 | If we can establish directions from lines and parallelism, we were already committed to directions [Wright,C] |
13882 | A milder claim is that understanding requires some evidence of that understanding [Wright,C] |
13885 | If apparent reference can mislead, then so can apparent lack of reference [Wright,C] |
17857 | We can accept Frege's idea of object without assuming that predicates have a reference [Wright,C] |
3871 | Explaining an action is showing that it is rational [Newton-Smith] |