Combining Texts

All the ideas for 'Attacks (frags)', 'Model Theory' and 'Community'

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

24 ideas

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
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
1507 We don't have time for infinite quantity, but we do for infinite divisibility, because time is also divisible [Aristotle on Zeno of Elea]
5109 The fast runner must always reach the point from which the slower runner started [Zeno of Elea, by Aristotle]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
1512 Zeno is wrong that one grain of millet makes a sound; why should one grain achieve what the whole bushel does? [Aristotle on Zeno of Elea]
5. Theory of Logic / L. Paradox / 7. Paradoxes of Time
1508 Zeno's arrow paradox depends on the assumption that time is composed of nows [Aristotle on Zeno of Elea]
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]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / a. Sovereignty
23418 Liberal state legitimacy is based on a belief in justice, not in some conception of the good life [Kymlicka]
24. Political Theory / B. Nature of a State / 5. Culture
23414 Liberals say state intervention in culture restricts people's autonomy [Kymlicka]
24. Political Theory / D. Ideologies / 6. Liberalism / e. Liberal community
23410 Modern liberals see a community as simply a society which respects freedom and equality [Kymlicka]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
23409 Community can focus on class or citizenship or ethnicity or culture [Kymlicka]
24. Political Theory / D. Ideologies / 7. Communitarianism / b. Against communitarianism
23413 Feminism has shown that social roles are far from fixed (as communitarians tend to see them) [Kymlicka]
23419 Communitarianism struggles with excluded marginalised groups [Kymlicka]
23415 Participation aids the quest for the good life, but why should that be a state activity? [Kymlicka]
25. Social Practice / D. Justice / 1. Basis of justice
23411 Communitarians see justice as primarily a community matter, rather than a principle [Kymlicka]
23412 Justice resolves conflicts, but may also provoke them [Kymlicka]
26. Natural Theory / A. Speculations on Nature / 1. Nature
454 If there are many things they must have a finite number, but there must be endless things between them [Zeno of Elea]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
455 That which moves, moves neither in the place in which it is, nor in that in which it is not [Zeno of Elea]
27. Natural Reality / C. Space / 5. Relational Space
1511 If everything is in a place, what is the place in? Place doesn't exist [Zeno of Elea, by Simplicius]