Combining Texts

All the ideas for 'A Dictionary of Political Thought', 'Transworld Heir Lines' and 'Intensional Logic'

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

21 ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
11970 Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
9. Objects / C. Structure of Objects / 7. Substratum
11969 Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
11971 The simplest solution to transworld identification is to adopt bare particulars [Kaplan]
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
11973 Unusual people may have no counterparts, or several [Kaplan]
11972 Essence is a transworld heir line, rather than a collection of properties [Kaplan]
19. Language / A. Nature of Meaning / 8. Synonymy
11967 Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
7590 Consequentialism emphasises value rather than obligation in morality [Scruton]
23. Ethics / C. Virtue Theory / 3. Virtues / h. Respect
7589 Altruism is either emotional (where your interests are mine) or moral (where they are reasons for me) [Scruton]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
7595 The idea of a right seems fairly basic; justice may be the disposition to accord rights to people [Scruton]
24. Political Theory / D. Ideologies / 3. Conservatism
7588 Allegiance is fundamental to the conservative view of society [Scruton]
24. Political Theory / D. Ideologies / 5. Democracy / f. Against democracy
7594 Democrats are committed to a belief and to its opposite, if the majority prefer the latter [Scruton]
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
7593 Liberals focus on universal human freedom, natural rights, and tolerance [Scruton, by PG]
25. Social Practice / D. Justice / 2. The Law / d. Legal positivism
7592 For positivists law is a matter of form, for naturalists it is a matter of content [Scruton]
25. Social Practice / F. Life Issues / 3. Abortion
7587 The issue of abortion seems insoluble, because there is nothing with which to compare it [Scruton]