Combining Texts

All the ideas for 'Conditionals', 'Equality and Partiality' and 'Naming and Necessity preface'

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

19 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
16985 Possible worlds allowed the application of set-theoretic models to modal logic [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
16982 A man has two names if the historical chains are different - even if they are the same! [Kripke]
9. Objects / F. Identity among Objects / 1. Concept of Identity
16981 With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
4942 The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
13768 Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
13770 There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
13764 Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
13765 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
16984 I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
9385 The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
4943 Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16983 Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke]
20. Action / C. Motives for Action / 5. Action Dilemmas / c. Omissions
6479 Noninterference requires justification as much as interference does [Nagel]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / a. Preconditions for ethics
6450 Morality must be motivating, and not because of pre-moral motives [Nagel]
23. Ethics / B. Contract Ethics / 6. Game Theory
6447 Game theory misses out the motivation arising from the impersonal standpoint [Nagel]
23. Ethics / D. Deontological Ethics / 3. Universalisability
6446 In ethics we abstract from our identity, but not from our humanity [Nagel]
23. Ethics / D. Deontological Ethics / 4. Categorical Imperative
6477 I can only universalise a maxim if everyone else could also universalise it [Nagel]
24. Political Theory / D. Ideologies / 6. Liberalism / c. Liberal equality
6448 A legitimate system is one accepted as both impartial and reasonably partial [Nagel]
25. Social Practice / B. Equalities / 2. Political equality
6478 Democracy is opposed to equality, if the poor are not a majority [Nagel]