26 ideas
17729 | Examining concepts can recover information obtained through the senses [Jenkins] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
17740 | Instead of correspondence of proposition to fact, look at correspondence of its parts [Jenkins] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10245 | One geometry cannot be more true than another [Poincaré] |
17730 | Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
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] |