86 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] |
| 23000 | Vicious regresses force you to another level; non-vicious imply another level [Baron/Miller] |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 23024 | A traveller takes a copy of a picture into the past, gives it the artist, who then creates the original! [Baron/Miller] |
| 23008 | Grounding is intended as a relation that fits dependences between things [Baron/Miller] |
| 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] |
| 6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan] |
| 15792 | Maybe non-existent objects are sets of properties [Lycan] |
| 23018 | How does a changing object retain identity or have incompatible properties over time? [Baron/Miller] |
| 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 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] |
| 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] |
| 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] |
| 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] |
| 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] |
| 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] |
| 5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
| 23011 | Modern accounts of causation involve either processes or counterfactuals [Baron/Miller] |
| 23013 | The main process theory of causation says it is transference of mass, energy, momentum or charge [Baron/Miller] |
| 23014 | If causes are processes, what is causation by omission? (Distinguish legal from scientific causes?) [Baron/Miller] |
| 23015 | The counterfactual theory of causation handles the problem no matter what causes actually are [Baron/Miller] |
| 23016 | Counterfactual theories struggle with pre-emption by a causal back-up system [Baron/Miller] |
| 23009 | There is no second 'law' of thermodynamics; it just reflects probabilities of certain microstates [Baron/Miller] |
| 6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
| 23002 | In relativity space and time depend on one's motion, but spacetime gives an invariant metric [Baron/Miller] |
| 22988 | The block universe theory says entities of all times exist, and time is the B-series [Baron/Miller] |
| 22991 | How can we know this is the present moment, if other times are real? [Baron/Miller] |
| 22992 | If we are actually in the past then we shouldn't experience time passing [Baron/Miller] |
| 22994 | Erzatz Presentism allows the existence of other times, with only the present 'actualised' [Baron/Miller] |
| 22998 | How do presentists explain relations between things existing at different times? [Baron/Miller] |
| 23017 | Presentism needs endurantism, because other theories imply most of the object doesn't exist [Baron/Miller] |
| 23023 | How can presentists move to the next future moment, if that doesn't exist? [Baron/Miller] |
| 22995 | Most of the sciences depend on the concept of time [Baron/Miller] |
| 22993 | For abstractionists past times might still exist, althought their objects don't [Baron/Miller] |
| 23001 | The error theory of time's passage says it is either a misdescription or a false inference [Baron/Miller] |
| 22999 | It is meaningless to measure the rate of time using time itself, and without a rate there is no flow [Baron/Miller] |
| 22986 | The C-series rejects A and B, and just sees times as order by betweenness, without direction [Baron/Miller] |
| 22996 | The A-series has to treat being past, present or future as properties [Baron/Miller] |
| 23007 | The B-series can have a direction, as long as it does not arise from temporal flow [Baron/Miller] |
| 23003 | Static theories cannot account for time's obvious asymmetry, so time must be dynamic [Baron/Miller] |
| 23004 | The direction of time is either primitive, or reducible to something else [Baron/Miller] |
| 23005 | The kaon does not seem to be time-reversal invariant, unlike the rest of nature [Baron/Miller] |
| 23006 | Maybe the past is just the direction of decreasing entropy [Baron/Miller] |
| 23010 | We could explain time's direction by causation: past is the direction of causes, future of effects [Baron/Miller] |
| 22989 | Static time theory presents change as one property at t1, and a different property at t2 [Baron/Miller] |
| 23020 | If a time traveller kills his youthful grandfather, he both exists and fails to exist [Baron/Miller] |
| 23022 | Presentism means there no existing past for a time traveller to visit [Baron/Miller] |
| 22987 | The past (unlike the future) is fixed, along with truths about it, by the existence of past objects [Baron/Miller] |
| 22990 | The moving spotlight says entities can have properties of being present, past or future [Baron/Miller] |
| 22997 | The present moment is a matter of existence, not of acquiring a property [Baron/Miller] |