35 ideas
| 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] |
| 7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
| 7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
| 9240 | Love creates a necessity concerning what to care about [Frankfurt] |
| 7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
| 7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
| 7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
| 7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
| 7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
| 9228 | Ranking order of desires reveals nothing, because none of them may be considered important [Frankfurt] |
| 9238 | Morality isn't based on reason; moral indignation is quite unlike disapproval of irrationality [Frankfurt] |
| 9232 | It is by caring about things that we infuse the world with importance [Frankfurt] |
| 9234 | If you don't care about at least one thing, you can't find reasons to care about anything [Frankfurt] |
| 9233 | Our criteria for evaluating how to live offer an answer to the problem [Frankfurt] |
| 9229 | What is worthwhile for its own sake alone may be worth very little [Frankfurt] |
| 9236 | Love can be cool, and it may not involve liking its object [Frankfurt] |
| 9235 | Rather than loving things because we value them, I think we value things because we love them [Frankfurt] |
| 9237 | The paradigm case of pure love is not romantic, but that between parents and infants [Frankfurt] |
| 9239 | I value my children for their sake, but I also value my love for them for its own sake [Frankfurt] |
| 9227 | We might not choose a very moral life, if the character or constitution was deficient [Frankfurt] |
| 9230 | People want to fulfill their desires, but also for their desires to be sustained [Frankfurt] |
| 9241 | Loving oneself is not a failing, but is essential to a successful life [Frankfurt] |
| 9300 | Boredom is serious, not just uncomfortable; it threatens our psychic survival [Frankfurt] |
| 9231 | Freedom needs autonomy (rather than causal independence) - embracing our own desires and choices [Frankfurt] |