40 ideas
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
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] |
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] |
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] |