49 ideas
192 | Only one thing can be contrary to something [Plato] |
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] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
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] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [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] |
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] |
190 | If asked whether justice itself is just or unjust, you would have to say that it is just [Plato] |
20184 | The only real evil is loss of knowledge [Plato] |
20185 | The most important things in life are wisdom and knowledge [Plato] |
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] |
191 | Everything resembles everything else up to a point [Plato] |
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] |
6541 | Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan] |
6545 | If functionalism focuses on folk psychology, it ignores lower levels of function [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] |
203 | Courage is knowing what should or shouldn't be feared [Plato] |
202 | No one willingly and knowingly embraces evil [Plato] |
193 | Some things are good even though they are not beneficial to men [Plato] |
200 | People tend only to disapprove of pleasure if it leads to pain, or prevents future pleasure [Plato] |
197 | Some pleasures are not good, and some pains are not evil [Plato] |
189 | If we punish wrong-doers, it shows that we believe virtue can be taught [Plato] |
188 | Socrates did not believe that virtue could be taught [Plato] |
204 | Socrates is contradicting himself in claiming virtue can't be taught, but that it is knowledge [Plato] |
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] |