68 ideas
| 13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
| 14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
| 13883 | The best way to understand a philosophical idea is to defend it [Wright,C] |
| 14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
| 10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| 9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
| 14096 | Explanations fail to be monotonic [Rosen] |
| 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] |
| 7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
| 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] |
| 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] |
| 14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
| 14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
| 13877 | Singular terms in true sentences must refer to objects; there is no further question about their existence [Wright,C] |
| 14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
| 9878 | Contextually defined abstract terms genuinely refer to objects [Wright,C, by Dummett] |
| 8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| 13868 | Sortal concepts cannot require that things don't survive their loss, because of phase sortals [Wright,C] |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| 14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| 12189 | Logical necessity involves a decision about usage, and is non-realist and non-cognitive [Wright,C, by McFetridge] |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| 14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| 13865 | 'Sortal' concepts show kinds, use indefinite articles, and require grasping identities [Wright,C] |
| 13866 | A concept is only a sortal if it gives genuine identity [Wright,C] |
| 13890 | Entities fall under a sortal concept if they can be used to explain identity statements concerning them [Wright,C] |
| 8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
| 8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
| 8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
| 8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
| 8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
| 13898 | If we can establish directions from lines and parallelism, we were already committed to directions [Wright,C] |
| 8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
| 8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |
| 13882 | A milder claim is that understanding requires some evidence of that understanding [Wright,C] |
| 7320 | Holism cannot give a coherent account of scientific methodology [Wright,C, by Miller,A] |
| 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] |
| 14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
| 7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| 14098 | An acid is just a proton donor [Rosen] |