62 ideas
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| 6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| 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] |
| 20146 | 'Luck' is the unpredictable and inexplicable intersection of causal chains [Kekes] |
| 6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| 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] |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| 20169 | An action may be intended under one description, but not under another [Kekes] |
| 20149 | To control our actions better, make them result from our attitudes, not from circumstances [Kekes] |
| 19738 | Values are an attempt to achieve well-being by bringing contingencies under control [Kekes] |
| 20145 | Values help us to control life, by connecting it to what is stable and manageable [Kekes] |
| 20170 | Responsibility is unprovoked foreseeable harm, against society, arising from vicious character [Kekes] |
| 20165 | Reason and morality do not coincide; immorality can be reasonable, with an ideology [Kekes] |
| 20171 | Practical reason is not universal and impersonal, because it depends on what success is [Kekes] |
| 20175 | If morality has to be rational, then moral conflicts need us to be irrational and immoral [Kekes] |
| 20174 | Relativists say all values are relative; pluralists concede much of that, but not 'human' values [Kekes] |
| 20159 | Cultural values are interpretations of humanity, conduct, institutions, and evaluations [Kekes] |
| 20161 | The big value problems are evil (humanity), disenchantment (cultures), and boredom (individuals) [Kekes] |
| 20156 | We are bound to regret some values we never aspired to [Kekes] |
| 20150 | There are far more values than we can pursue, so they are optional possibilities [Kekes] |
| 20158 | Innumerable values arise for us, from our humanity, our culture, and our individuality [Kekes] |
| 20151 | Our attitudes include what possibilities we value, and also what is allowable, and unthinkable [Kekes] |
| 20152 | Unconditional commitments are our most basic convictions, saying what must never be done [Kekes] |
| 20153 | Doing the unthinkable damages ourselves, so it is more basic than any value [Kekes] |
| 20162 | Evil isn't explained by nature, by monsters, by uncharacteristic actions, or by society [Kekes] |
| 20154 | Control is the key to well-being [Kekes] |
| 20157 | Well-being needs correct attitudes and well-ordered commitments to local values [Kekes] |
| 20172 | Boredom destroys our ability to evaluate [Kekes] |
| 20173 | Boredom is apathy and restlessness, yearning for something interesting [Kekes] |
| 20155 | Society is alienating if it lacks our values, and its values repel us [Kekes] |
| 20164 | The ideal of an ideology is embodied in a text, a role model, a law of history, a dream of the past... [Kekes] |
| 20163 | Ideologies have beliefs about reality, ideals, a gap with actuality, and a program [Kekes] |
| 20148 | Equal distribution is no good in a shortage, because there might be no one satisfied [Kekes] |
| 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] |