Combining Texts

All the ideas for 'The Statesman', 'Model Theory' and 'Review: Meinong 'Untersuchungen zur..''

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

20 ideas

1. Philosophy / F. Analytic Philosophy / 2. Analysis by Division
16123 Whenever you perceive a community of things, you should also hunt out differences in the group [Plato]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
21546 We can't sharply distinguish variables, domains and values, if symbols frighten us [Russell]
2. Reason / D. Definition / 2. Aims of Definition
16125 To reveal a nature, divide down, and strip away what it has in common with other things [Plato]
16124 No one wants to define 'weaving' just for the sake of weaving [Plato]
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]
9. Objects / A. Existence of Objects / 4. Impossible objects
21531 Common sense agrees with Meinong (rather than Russell) that 'Pegasus is a flying horse' is true [Lackey on Russell]
21545 I prefer to deny round squares, and deal with the difficulties by the theory of denoting [Russell]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / b. Recollection doctrine
5961 The soul gets its goodness from god, and its evil from previous existence. [Plato]
19. Language / F. Communication / 1. Rhetoric
283 The question of whether or not to persuade comes before the science of persuasion [Plato]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
282 Non-physical beauty can only be shown clearly by speech [Plato]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
281 The arts produce good and beautiful things by preserving the mean [Plato]
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
22559 Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle]
28. God / A. Divine Nature / 2. Divine Nature
279 Only divine things can always stay the same, and bodies are not like that [Plato]