71 ideas
13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
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] |
13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
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] |
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] |
12189 | Logical necessity involves a decision about usage, and is non-realist and non-cognitive [Wright,C, by McFetridge] |
2730 | Because 'gold is malleable' is necessary does not mean that it is analytic [Audi,R] |
2715 | Beliefs are based on perception, memory, introspection or reason [Audi,R] |
2735 | Could you have a single belief on its own? [Audi,R] |
2736 | We can make certain of what we know, so knowing does not entail certainty [Audi,R] |
2722 | Sense-data theory is indirect realism, but phenomenalism is direct irrealism [Audi,R] |
2721 | If you gradually remove a book's sensory properties, what is left at the end? [Audi,R] |
2728 | The concepts needed for a priori thought may come from experience [Audi,R] |
2727 | Red and green being exclusive colours seems to be rationally graspable but not analytic [Audi,R] |
2716 | To see something as a field, I obviously need the concept of a field [Audi,R] |
2717 | How could I see a field and believe nothing regarding it? [Audi,R] |
2719 | Sense data imply representative realism, possibly only representing primary qualities [Audi,R] |
2720 | Sense-data (and the rival 'adverbial' theory) are to explain illusions and hallucinations [Audi,R] |
2718 | Perception is first simple, then objectual (with concepts) and then propositional [Audi,R] |
2729 | Virtually all rationalists assert that we can have knowledge of synthetic a priori truths [Audi,R] |
2741 | The principles of justification have to be a priori [Audi,R] |
2725 | To remember something is to know it [Audi,R] |
2724 | I might remember someone I can't recall or image, by recognising them on meeting [Audi,R] |
2731 | Justification is either unanchored (infinite or circular), or anchored (in knowledge or non-knowledge) [Audi,R] |
2739 | Internalism about justification implies that there is a right to believe something [Audi,R] |
2732 | Maths may be consistent with observations, but not coherent [Audi,R] |
2733 | It is very hard to show how much coherence is needed for justification [Audi,R] |
2734 | A consistent madman could have a very coherent belief system [Audi,R] |
2738 | Consistent accurate prediction looks like knowledge without justified belief [Audi,R] |
2740 | A reliability theory of knowledge seems to involve truth as correspondence [Audi,R] |
2737 | 'Reliable' is a very imprecise term, and may even mean 'justified' [Audi,R] |
2726 | We can be ignorant about ourselves, for example, our desires and motives [Audi,R] |
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] |
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] |
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] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
20064 | Actions are not mere effects of reasons, but are under their control [Audi,R] |