9 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
6343 | For Russell, both propositions and facts are arrangements of objects, so obviously they correspond [Horwich on Russell] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
7534 | In 1906, Russell decided that propositions did not, after all, exist [Russell, by Monk] |
4054 | I may exist before I become a person, just as I exist before I become an adult [Lockwood] |
4056 | If the soul is held to leave the body at brain-death, it should arrive at the time of brain-creation [Lockwood] |
4055 | It isn't obviously wicked to destroy a potential human being (e.g. an ununited egg and sperm) [Lockwood] |