19 ideas
9193 | ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett] |
9194 | The main alternative to ZF is one which includes looser classes as well as sets [Dummett] |
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
9186 | First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett] |
9187 | Logical truths and inference are characterized either syntactically or semantically [Dummett] |
9191 | Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett] |
9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |
21515 | Incoherence may be more important for enquiry than coherence [Olsson] |
21514 | Coherence is the capacity to answer objections [Olsson] |
21496 | Mere agreement of testimonies is not enough to make truth very likely [Olsson] |
21499 | Coherence is only needed if the information sources are not fully reliable [Olsson] |
21502 | A purely coherent theory cannot be true of the world without some contact with the world [Olsson] |
21512 | Extending a system makes it less probable, so extending coherence can't make it more probable [Olsson] |
22384 | A 'double effect' is a foreseen but not desired side-effect, which may be forgivable [Foot] |
22385 | The doctrine of double effect can excuse an outcome because it wasn't directly intended [Foot] |
22386 | Double effect says foreseeing you will kill someone is not the same as intending it [Foot] |
22387 | Without double effect, bad men can make us do evil by threatening something worse [Foot] |
22388 | Double effect seems to rely on a distinction between what we do and what we allow [Foot] |
22383 | Abortion is puzzling because we do and don't want the unborn child to have rights [Foot] |