98 ideas
| 13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
| 23269 | Philosophy must start from clearly observed facts [Galen] |
| 24069 | Much metaphysical debate concerns what is fundamental, rather than what exists [Koslicki] |
| 23248 | Early empiricists said reason was just a useless concept introduced by philosophers [Galen, by Frede,M] |
| 13883 | The best way to understand a philosophical idea is to defend it [Wright,C] |
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| 17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| 10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
| 13258 | The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki] |
| 13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
| 14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
| 9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
| 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] |
| 17435 | Objects do not naturally form countable units [Koslicki] |
| 17433 | We can still count squares, even if they overlap [Koslicki] |
| 17439 | There is no deep reason why we count carrots but not asparagus [Koslicki] |
| 13867 | Instances of a non-sortal concept can only be counted relative to a sortal concept [Wright,C] |
| 17434 | We struggle to count branches and waves because our concepts lack clear boundaries [Koslicki] |
| 17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
| 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] |
| 14505 | Some questions concern mathematical entities, rather than whole structures [Koslicki] |
| 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] |
| 17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
| 17436 | We talk of snow as what stays the same, when it is a heap or drift or expanse [Koslicki] |
| 13877 | Singular terms in true sentences must refer to objects; there is no further question about their existence [Wright,C] |
| 13289 | Structures have positions, constituent types and number, and some invariable parts [Koslicki] |
| 14501 | 'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki] |
| 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] |
| 14495 | I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki] |
| 13264 | If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki] |
| 24065 | Structured wholes are united by the teamwork needed for their capacities [Koslicki] |
| 14497 | The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki] |
| 13280 | Statue and clay differ in modal and temporal properties, and in constitution [Koslicki] |
| 24066 | The form explains kind, structure, unity and activity [Koslicki] |
| 14496 | Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki] |
| 13279 | There are at least six versions of constitution being identity [Koslicki] |
| 14498 | For three-dimensionalist parthood must be a three-place relation, including times [Koslicki] |
| 13283 | The parts may be the same type as the whole, like a building made of buildings [Koslicki] |
| 13266 | Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki] |
| 14500 | Wholes are entities distinct from their parts, and have different properties [Koslicki] |
| 13281 | Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki] |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| 17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| 24067 | Hylomorphic compounds need an individual form for transworld identity [Koslicki] |
| 17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
| 17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| 12189 | Logical necessity involves a decision about usage, and is non-realist and non-cognitive [Wright,C, by McFetridge] |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| 17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| 23266 | The spirit in the soul wants freedom, power and honour [Galen] |
| 6003 | Galen showed by experiment that the brain controls the body [Galen, by Hankinson] |
| 23219 | Stopping the heart doesn't terminate activity; pressing the brain does that [Galen, by Cobb] |
| 21799 | We just use the word 'faculty' when we don't know the psychological cause [Galen] |
| 23264 | Philosophers think faculties are in substances, and invent a faculty for every activity [Galen] |
| 23220 | The brain contains memory and reason, and is the source of sensation and decision [Galen] |
| 23265 | The rational part of the soul is the desire for truth, understanding and recollection [Galen] |
| 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] |
| 17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
| 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] |
| 7453 | Galen's medicine followed the mean; each illness was balanced by opposite treatment [Galen, by Hacking] |
| 6030 | Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen] |
| 23268 | We execute irredeemable people, to protect ourselves, as a deterrent, and ending a bad life [Galen] |
| 14504 | The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki] |
| 13285 | Natural kinds support inductive inferences, from previous samples to the next one [Koslicki] |
| 13287 | Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki] |
| 13284 | Should vernacular classifications ever be counted as natural kind terms? [Koslicki] |
| 13286 | There are apparently no scientific laws concerning biological species [Koslicki] |