40 ideas
7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
15842 | An ad hominem refutation is reasonable, if it uses the opponent's assumptions [Harte,V] |
6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
15841 | Mereology began as a nominalist revolt against the commitments of set theory [Harte,V] |
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
15858 | Traditionally, the four elements are just what persists through change [Harte,V] |
17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
6532 | Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan] |
6531 | Institutions are not reducible as types, but they are as 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] |
15848 | Mereology treats constitution as a criterion of identity, as shown in the axiom of extensionality [Harte,V] |
15837 | What exactly is a 'sum', and what exactly is 'composition'? [Harte,V] |
15839 | If something is 'more than' the sum of its parts, is the extra thing another part, or not? [Harte,V] |
15838 | The problem with the term 'sum' is that it is singular [Harte,V] |
6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by 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] |
6535 | Teleological characterisations shade off smoothly into brutely physical ones [Lycan] |
6533 | Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan] |
6544 | Identity theory is functionalism, but located at the lowest level of abstraction [Lycan] |
6536 | Teleological functionalism helps us to understand psycho-biological laws [Lycan] |
6530 | We reduce the mind through homuncular groups, described abstractly by purpose [Lycan] |
6542 | A Martian may exhibit human-like behaviour while having very different sensations [Lycan] |
22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
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] |