21 ideas
10017 | Truth in a model is more tractable than the general notion of truth [Hodes] |
10018 | Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes] |
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
10027 | Mathematics is higher-order modal logic [Hodes] |
10026 | Arithmetic must allow for the possibility of only a finite total of objects [Hodes] |
10021 | It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes] |
10022 | Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes] |
10023 | Talk of mirror images is 'encoded fictions' about real facts [Hodes] |
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] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
19685 | Falsificationism would be naive if even a slight discrepancy in evidence killed a theory [McGrew] |