21 ideas
14713 | Truth in a scenario is the negation in that scenario being a priori incoherent [Chalmers] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
20189 | Belief is a feeling, independent of the will, which arises from uncontrolled and unknown causes [Hume] |
14712 | A sentence is a priori if no possible way the world might actually be could make it false [Chalmers] |
21309 | A proposition cannot be intelligible or consistent, if the perceptions are not so [Hume] |
15755 | Hume needs a notion which includes degrees of resemblance [Shoemaker on Hume] |
5323 | Experiences are logically separate, but factually linked by simultaneity or a feeling of continuousness [Ayer on Hume] |
21311 | Are self and substance the same? Then how can self remain if substance changes? [Hume] |
21312 | Perceptions are distinct, so no connection between them can ever be discovered [Hume] |
21308 | We have no impression of the self, and we therefore have no idea of it [Hume] |
21310 | Does an oyster with one perception have a self? Would lots of perceptions change that? [Hume] |
23115 | We have no natural love of mankind, other than through various relationships [Hume] |
16946 | Causation is just invariance, as long as it is described in general terms [Quine on Hume] |
15250 | If impressions, memories and ideas only differ in vivacity, nothing says it is memory, or repetition [Whitehead on Hume] |