36 ideas
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] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
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] |
2730 | Because 'gold is malleable' is necessary does not mean that it is analytic [Audi,R] |
2715 | Beliefs are based on perception, memory, introspection or reason [Audi,R] |
2735 | Could you have a single belief on its own? [Audi,R] |
2736 | We can make certain of what we know, so knowing does not entail certainty [Audi,R] |
2721 | If you gradually remove a book's sensory properties, what is left at the end? [Audi,R] |
2722 | Sense-data theory is indirect realism, but phenomenalism is direct irrealism [Audi,R] |
2728 | The concepts needed for a priori thought may come from experience [Audi,R] |
2727 | Red and green being exclusive colours seems to be rationally graspable but not analytic [Audi,R] |
2716 | To see something as a field, I obviously need the concept of a field [Audi,R] |
2717 | How could I see a field and believe nothing regarding it? [Audi,R] |
2719 | Sense data imply representative realism, possibly only representing primary qualities [Audi,R] |
2720 | Sense-data (and the rival 'adverbial' theory) are to explain illusions and hallucinations [Audi,R] |
2718 | Perception is first simple, then objectual (with concepts) and then propositional [Audi,R] |
2729 | Virtually all rationalists assert that we can have knowledge of synthetic a priori truths [Audi,R] |
2741 | The principles of justification have to be a priori [Audi,R] |
2725 | To remember something is to know it [Audi,R] |
2724 | I might remember someone I can't recall or image, by recognising them on meeting [Audi,R] |
2731 | Justification is either unanchored (infinite or circular), or anchored (in knowledge or non-knowledge) [Audi,R] |
2739 | Internalism about justification implies that there is a right to believe something [Audi,R] |
2732 | Maths may be consistent with observations, but not coherent [Audi,R] |
2733 | It is very hard to show how much coherence is needed for justification [Audi,R] |
2734 | A consistent madman could have a very coherent belief system [Audi,R] |
2738 | Consistent accurate prediction looks like knowledge without justified belief [Audi,R] |
2740 | A reliability theory of knowledge seems to involve truth as correspondence [Audi,R] |
2737 | 'Reliable' is a very imprecise term, and may even mean 'justified' [Audi,R] |
2726 | We can be ignorant about ourselves, for example, our desires and motives [Audi,R] |