74 ideas
| 15787 | Maybe Ockham's Razor is a purely aesthetic principle [Lycan] |
| 15784 | The Razor seems irrelevant for Meinongians, who allow absolutely everything to exist [Lycan] |
| 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] |
| 6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
| 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] |
| 7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
| 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] |
| 6531 | Institutions are not reducible as types, but they are as tokens [Lycan] |
| 6532 | Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan] |
| 6534 | One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan] |
| 5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
| 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] |
| 6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan] |
| 15792 | Maybe non-existent objects are sets of properties [Lycan] |
| 5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
| 15795 | Treating possible worlds as mental needs more actual mental events [Lycan] |
| 15796 | Possible worlds must be made of intensional objects like propositions or properties [Lycan] |
| 15794 | If 'worlds' are sentences, and possibility their consistency, consistency may rely on possibility [Lycan] |
| 6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
| 6543 | Intentionality comes in degrees [Lycan] |
| 6537 | Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan] |
| 6546 | Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan] |
| 6547 | The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan] |
| 7647 | The imagination alone perceives all objects; it is the soul, playing all its roles [La Mettrie] |
| 7645 | When falling asleep, the soul becomes paralysed and weak, just like the body [La Mettrie] |
| 6527 | If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan] |
| 6528 | In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan] |
| 6554 | Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan] |
| 6545 | If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan] |
| 6541 | Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan] |
| 5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
| 23225 | The soul's faculties depend on the brain, and are simply the brain's organisation [La Mettrie] |
| 6539 | The distinction between software and hardware is not clear in computing [Lycan] |
| 6533 | Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan] |
| 6535 | Teleological characterisations shade off smoothly into brutely physical ones [Lycan] |
| 5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
| 7652 | Man is a machine, and there exists only one substance, diversely modified [La Mettrie] |
| 6544 | Identity theory is functionalism, but located at the lowest level of abstraction [Lycan] |
| 6530 | We reduce the mind through homuncular groups, described abstractly by purpose [Lycan] |
| 6536 | Teleological functionalism helps us to understand psycho-biological laws [Lycan] |
| 6542 | A Martian may exhibit human-like behaviour while having very different sensations [Lycan] |
| 7650 | All thought is feeling, and rationality is the sensitive soul contemplating reasoning [La Mettrie] |
| 7651 | With wonderful new machines being made, a speaking machine no longer seems impossible [La Mettrie] |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| 7768 | The truth conditions theory sees meaning as representation [Lycan] |
| 7766 | Meaning must be known before we can consider verification [Lycan] |
| 7764 | Could I successfully use an expression, without actually understanding it? [Lycan] |
| 7763 | It is hard to state a rule of use for a proper name [Lycan] |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| 7770 | Truth conditions will come out the same for sentences with 'renate' or 'cordate' [Lycan] |
| 7773 | A sentence's truth conditions is the set of possible worlds in which the sentence is true [Lycan] |
| 7774 | Possible worlds explain aspects of meaning neatly - entailment, for example, is the subset relation [Lycan] |
| 6538 | We need a notion of teleology that comes in degrees [Lycan] |
| 7648 | The sun and rain weren't made for us; they sometimes burn us, or spoil our seeds [La Mettrie] |
| 5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
| 6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |
| 7646 | There is no abrupt transition from man to animal; only language has opened a gap [La Mettrie] |
| 7649 | There is no clear idea of the soul, which should only refer to our thinking part [La Mettrie] |