33 ideas
13838 | A decent modern definition should always imply a semantics [Hacking] |
19504 | My modus ponens might be your modus tollens [Pritchard,D] |
18928 | If maximalism is necessary, then that nothing exists has a truthmaker, which it can't have [Cameron] |
18931 | Determinate truths don't need extra truthmakers, just truthmakers that are themselves determinate [Cameron] |
18932 | The facts about the existence of truthmakers can't have a further explanation [Cameron] |
18923 | The present property 'having been F' says nothing about a thing's intrinsic nature [Cameron] |
18926 | One temporal distibution property grounds our present and past truths [Cameron] |
18929 | We don't want present truthmakers for the past, if they are about to cease to exist! [Cameron] |
13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
18924 | Being polka-dotted is a 'spatial distribution' property [Cameron] |
18930 | Change is instantiation of a non-uniform distributional property, like 'being red-then-orange' [Cameron] |
19503 | An improbable lottery win can occur in a nearby possible world [Pritchard,D] |
19505 | Moore begs the question, or just offers another view, or uses 'know' wrongly [Pritchard,D, by PG] |
19499 | We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D] |
19500 | Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D] |
19502 | Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D] |
19498 | Epistemic internalism usually says justification must be accessible by reflection [Pritchard,D] |
19506 | Externalism is better than internalism in dealing with radical scepticism [Pritchard,D] |
19496 | Disjunctivism says perceptual justification must be both factual and known by the agent [Pritchard,D] |
19497 | Metaphysical disjunctivism says normal perceptions and hallucinations are different experiences [Pritchard,D] |
19495 | Epistemic externalism struggles to capture the idea of epistemic responsibility [Pritchard,D] |
19501 | We assess error against background knowledge, but that is just what radical scepticism challenges [Pritchard,D] |
19507 | Radical scepticism is merely raised, and is not a response to worrying evidence [Pritchard,D] |
18927 | Surely if things extend over time, then time itself must be extended? [Cameron] |