64 ideas
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| 9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
| 9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
| 9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
| 18151 | Could we replace sets by the open sentences that define them? [Chihara, by Bostock] |
| 9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
| 9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
| 9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
| 10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
| 9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
| 16665 | There are entities, and then positive 'modes', modifying aspects outside the thing's essence [Suárez] |
| 16666 | A mode determines the state and character of a quantity, without adding to it [Suárez] |
| 16667 | Substances are incomplete unless they have modes [Suárez, by Pasnau] |
| 17007 | Forms must rule over faculties and accidents, and are the source of action and unity [Suárez] |
| 16780 | Partial forms of leaf and fruit are united in the whole form of the tree [Suárez] |
| 16758 | The best support for substantial forms is the co-ordinated unity of a natural being [Suárez] |
| 16743 | We can get at the essential nature of 'quantity' by knowing bulk and extension [Suárez] |
| 13074 | Only natural kinds and their members have real essences [Suárez, by Cover/O'Leary-Hawthorne] |
| 16742 | We only know essences through non-essential features, esp. those closest to the essence [Suárez] |
| 22143 | Identity does not exclude possible or imagined difference [Suárez, by Boulter] |
| 22144 | Real Essential distinction: A and B are of different natural kinds [Suárez, by Boulter] |
| 22146 | Minor Real distinction: B needs A, but A doesn't need B [Suárez, by Boulter] |
| 22145 | Major Real distinction: A and B have independent existences [Suárez, by Boulter] |
| 22147 | Conceptual/Mental distinction: one thing can be conceived of in two different ways [Suárez, by Boulter] |
| 22148 | Modal distinction: A isn't B or its property, but still needs B [Suárez, by Boulter] |
| 22149 | Scholastics assess possibility by what has actually happened in reality [Suárez, by Boulter] |
| 17979 | Research shows perceptual discrimination is sharper at category boundaries [Murphy] |
| 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] |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| 7563 | The old 'influx' view of causation says it is a flow of accidental properties from A to B [Suárez, by Jolley] |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |
| 16682 | Other things could occupy the same location as an angel [Suárez] |