36 ideas
| 1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
| 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] |
| 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] |
| 22427 | To explain object qualities, primary qualities must be more than mere sources of experience [McGinn] |
| 3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
| 22413 | Being red simply consists in looking red [McGinn] |
| 22415 | Relativity means differing secondary perceptions are not real disagreements [McGinn] |
| 22416 | Phenomenalism is correct for secondary qualities, so scepticism is there impossible [McGinn] |
| 22422 | Maybe all possible sense experience must involve both secondary and primary qualities [McGinn] |
| 22428 | You understood being red if you know the experience involved; not so with thngs being square [McGinn] |
| 22414 | You don't need to know how a square thing looks or feels to understand squareness [McGinn] |
| 22423 | Touch doesn't provide direct experience of primary qualities, because touch feels temperature [McGinn] |
| 22426 | We can perceive objectively, because primary qualities are not mind-created [McGinn] |
| 22412 | Lockean secondary qualities (unlike primaries) produce particular sensory experiences [McGinn] |
| 22421 | Could there be a mind which lacked secondary quality perception? [McGinn] |
| 22424 | Secondary qualities contain information; their variety would be superfluous otherwise [McGinn] |
| 22425 | The utility theory says secondary qualities give information useful to human beings [McGinn] |
| 7629 | We see objects 'directly' by representing them [McGinn] |
| 18410 | Indexical thought is in relation to my self-consciousness [McGinn] |
| 22417 | Indexicals do not figure in theories of physics, because they are not explanatory causes [McGinn] |
| 22420 | The indexical perspective is subjective, incorrigible and constant [McGinn] |
| 18402 | Indexical concepts are indispensable, as we need them for the power to act [McGinn] |
| 22418 | I can know indexical truths a priori, unlike their non-indexical paraphrases [McGinn] |
| 1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
| 1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
| 1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |