19 ideas
8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
10718 | A natural number is a property of sets [Maddy, by Oliver] |
8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
19682 | Internalists are much more interested in evidence than externalists are [McGrew] |
19684 | Does spotting a new possibility count as evidence? [McGrew] |
19687 | Absence of evidence proves nothing, and weird claims need special 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] |