Combining Texts

All the ideas for 'A Résumé of Metaphysics', 'Model Theory' and 'A Priori'

expand these ideas     |    start again     |     specify just one area for these texts

24 ideas

1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
17713 After 1903, Husserl avoids metaphysical commitments [Mares]
2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
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]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
17715 The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
17716 Mathematics is relations between properties we abstract from experience [Mares]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
17703 Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
17714 Aristotelians dislike the idea of a priori judgements from pure reason [Mares]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
17705 Empiricists say rationalists mistake imaginative powers for modal insights [Mares]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
17700 The most popular view is that coherent beliefs explain one another [Mares]
14. Science / B. Scientific Theories / 3. Instrumentalism
17704 Operationalism defines concepts by our ways of measuring them [Mares]
18. Thought / D. Concepts / 2. Origin of Concepts / b. Empirical concepts
17710 Aristotelian justification uses concepts abstracted from experience [Mares]
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
17706 The essence of a concept is either its definition or its conceptual relations? [Mares]
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
17701 Possible worlds semantics has a nice compositional account of modal statements [Mares]
19. Language / D. Propositions / 3. Concrete Propositions
17702 Unstructured propositions are sets of possible worlds; structured ones have components [Mares]
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
5049 Intelligent pleasure is the perception of beauty, order and perfection [Leibniz]
27. Natural Reality / C. Space / 3. Points in Space
17708 Maybe space has points, but processes always need regions with a size [Mares]
28. God / A. Divine Nature / 3. Divine Perfections
5048 Perfection is simply quantity of reality [Leibniz]
29. Religion / D. Religious Issues / 3. Problem of Evil / b. Human Evil
5050 Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz]