Combining Texts

All the ideas for 'Intensional Logic', 'Truthmakers and Converse Barcan Formula' and 'Contemporary Political Philosophy (1st edn)'

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


48 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Definite descriptions pick out different objects in different possible worlds [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
The 'Kantian' self steps back from commitment to its social situation [Kymlicka]
22. Metaethics / C. The Good / 1. Goodness / c. Right and good
Teleological theories give the good priority over concern for people [Kymlicka]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
Maybe the particularist moral thought of women is better than the impartial public thinking of men [Kymlicka]
23. Ethics / E. Utilitarianism / 1. Utilitarianism
Utilitarianism is not a decision-procedure; choice of the best procedure is an open question [Kymlicka]
One view says start with equality, and infer equal weight to interests, and hence maximum utility [Kymlicka]
A second view says start with maximising the good, implying aggregation, and hence equality [Kymlicka]
24. Political Theory / A. Basis of a State / 2. Population / a. Human population
To maximise utility should we double the population, even if life somewhat deteriorates? [Kymlicka]
24. Political Theory / A. Basis of a State / 4. Original Position / c. Difference principle
The difference principles says we must subsidise the costs of other people's choices [Kymlicka]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
Social contract theories are usually rejected because there never was such a contract [Kymlicka]
24. Political Theory / D. Ideologies / 4. Social Utilitarianism
Utilitarianism is no longer a distinctive political position [Kymlicka]
The quest of the general good is partly undermined by people's past entitlements [Kymlicka]
We shouldn't endorse preferences which reject equality, and show prejudice and selfishness [Kymlicka]
Using utilitarian principles to make decisions encourages cold detachment from people [Kymlicka]
Utilitarianism is irrational if it tells you to trade in your rights and resources just for benefits [Kymlicka]
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
Modern liberalism has added personal privacy to our personal social lives [Kymlicka]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
Liberalism tends to give priority to basic liberties [Kymlicka]
24. Political Theory / D. Ideologies / 6. Liberalism / g. Liberalism critique
Marxists say liberalism is unjust, because it allows exploitation in the sale of labour [Kymlicka]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
The 'Kantian' view of the self misses the way it is embedded or situated in society [Kymlicka]
Communitarians say we should pay more attention to our history [Kymlicka]
24. Political Theory / D. Ideologies / 7. Communitarianism / b. Against communitarianism
Communitarian states only encourage fairly orthodox ideas of the good life [Kymlicka]
25. Social Practice / A. Freedoms / 1. Slavery
If everyone owned himself, that would prevent slavery [Kymlicka]
25. Social Practice / A. Freedoms / 4. Free market
Libertarians like the free market, but they also think that the free market is just [Kymlicka]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
The most valuable liberties to us need not be the ones with the most freedom [Kymlicka]
25. Social Practice / A. Freedoms / 6. Political freedom
Ancient freedom was free participation in politics, not private independence of life [Kymlicka]
25. Social Practice / B. Equalities / 2. Political equality
Equal opportunities seems fair, because your fate is from your choices, not your circumstances [Kymlicka]
Equal opportunity arbitrarily worries about social circumstances, but ignores talents [Kymlicka]
25. Social Practice / B. Equalities / 3. Legal equality
Marxists say justice is unneeded in the truly good community [Kymlicka]
25. Social Practice / C. Rights / 1. Basis of Rights
The Lockean view of freedom depends on whether you had a right to what is restricted [Kymlicka]
25. Social Practice / D. Justice / 1. Basis of justice
Justice corrects social faults, but also expresses respect to individuals as ends [Kymlicka]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]