26 ideas
21355 | The Pre-Socratics are not simple naturalists, because they do not always 'leave the gods out' [Leroi] |
17729 | Examining concepts can recover information obtained through the senses [Jenkins] |
17740 | Instead of correspondence of proposition to fact, look at correspondence of its parts [Jenkins] |
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] |
17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
17719 | Arithmetic concepts are indispensable because they accurately map the world [Jenkins] |
17717 | Senses produce concepts that map the world, and arithmetic is known through these concepts [Jenkins] |
17724 | It is not easy to show that Hume's Principle is analytic or definitive in the required sense [Jenkins] |
17727 | We can learn about the world by studying the grounding of our concepts [Jenkins] |
17720 | There's essential, modal, explanatory, conceptual, metaphysical and constitutive dependence [Jenkins, by PG] |
17728 | The concepts we have to use for categorising are ones which map the real world well [Jenkins] |
17726 | Examining accurate, justified or grounded concepts brings understanding of the world [Jenkins] |
17734 | It is not enough that intuition be reliable - we need to know why it is reliable [Jenkins] |
17723 | Knowledge is true belief which can be explained just by citing the proposition believed [Jenkins] |
17739 | The physical effect of world on brain explains the concepts we possess [Jenkins] |
17718 | Grounded concepts are trustworthy maps of the world [Jenkins] |
17731 | Verificationism is better if it says meaningfulness needs concepts grounded in the senses [Jenkins] |
17732 | Success semantics explains representation in terms of success in action [Jenkins] |
17725 | 'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins] |