18 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] |
| 21899 | There is no being beyond becoming [Deleuze] |
| 19682 | Internalists are much more interested in evidence than externalists are [McGrew] |
| 19687 | Absence of evidence proves nothing, and weird claims need special evidence [McGrew] |
| 19684 | Does spotting a new possibility count as evidence? [McGrew] |
| 19688 | Every event is highly unlikely (in detail), but may be perfectly plausible [McGrew] |
| 19686 | Criminal law needs two separate witnesses, but historians will accept one witness [McGrew] |
| 19680 | Maybe all evidence consists of beliefs, rather than of facts [McGrew] |
| 19681 | If all evidence is propositional, what is the evidence for the proposition? Do we face a regress? [McGrew] |
| 19689 | Several unreliable witnesses can give good support, if they all say the same thing [McGrew] |
| 19683 | Narrow evidentialism relies wholly on propositions; the wider form includes other items [McGrew] |
| 19685 | Falsificationism would be naive if even a slight discrepancy in evidence killed a theory [McGrew] |