64 ideas
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| 15127 | A categorical basis could hardly explain a disposition if it had no powers of its own [Hawthorne] |
| 15123 | Is the causal profile of a property its essence? [Hawthorne] |
| 15122 | Could two different properties have the same causal profile? [Hawthorne] |
| 15124 | If properties are more than their powers, we could have two properties with the same power [Hawthorne] |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| 14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
| 15128 | We can treat the structure/form of the world differently from the nodes/matter of the world [Hawthorne] |
| 15121 | An individual essence is a necessary and sufficient profile for a thing [Hawthorne] |
| 14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
| 8970 | Our notion of identical sets involves identical members, which needs absolute identity [Hawthorne] |
| 14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
| 19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
| 17979 | Research shows perceptual discrimination is sharper at category boundaries [Murphy] |
| 19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
| 19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
| 19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
| 18690 | Induction is said to just compare properties of categories, but the type of property also matters [Murphy] |
| 17980 | The main theories of concepts are exemplar, prototype and knowledge [Murphy] |
| 17973 | The theoretical and practical definitions for the classical view are very hard to find [Murphy] |
| 17969 | The classical definitional approach cannot distinguish typical and atypical category members [Murphy] |
| 17970 | Classical concepts follow classical logic, but concepts in real life don't work that way [Murphy] |
| 17971 | Classical concepts are transitive hierarchies, but actual categories may be intransitive [Murphy] |
| 17972 | The classical core is meant to be the real concept, but actually seems unimportant [Murphy] |
| 17975 | There is no 'ideal' bird or dog, and prototypes give no information about variability [Murphy] |
| 17976 | Prototypes are unified representations of the entire category (rather than of members) [Murphy] |
| 18691 | The prototype theory uses observed features, but can't include their construction [Murphy] |
| 17983 | The prototype theory handles hierarchical categories and combinations of concepts well [Murphy] |
| 17985 | Prototypes theory of concepts is best, as a full description with weighted typical features [Murphy] |
| 17986 | Learning concepts is forming prototypes with a knowledge structure [Murphy] |
| 17974 | The most popular theories of concepts are based on prototypes or exemplars [Murphy] |
| 17977 | The exemplar view of concepts says 'dogs' is the set of dogs I remember [Murphy] |
| 17982 | Exemplar theory struggles with hierarchical classification and with induction [Murphy] |
| 17981 | Children using knowing and essentialist categories doesn't fit the exemplar view [Murphy] |
| 17984 | Conceptual combination must be compositional, and can't be built up from exemplars [Murphy] |
| 17987 | The concept of birds from exemplars must also be used in inductions about birds [Murphy] |
| 17978 | We do not learn concepts in isolation, but as an integrated part of broader knowledge [Murphy] |
| 18687 | Concepts with familiar contents are easier to learn [Murphy] |
| 18688 | Some knowledge is involved in instant use of categories, other knowledge in explanations [Murphy] |
| 18689 | People categorise things consistent with their knowledge, even rejecting some good evidence [Murphy] |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| 15126 | Maybe scientific causation is just generalisation about the patterns [Hawthorne] |
| 15125 | We only know the mathematical laws, but not much else [Hawthorne] |
| 14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |