34 ideas
6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
10284 | There are three different standard presentations of semantics [Hodges,W] |
10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
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] |
6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [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] |
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] |
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] |
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] |
6538 | We need a notion of teleology that comes in degrees [Lycan] |
6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
16006 | Either Abraham rises higher than universal ethics, or he is a mere murderer [Kierkegaard] |
7577 | Abraham was willing to suspend ethics, for a higher idea [Kierkegaard] |