Combining Texts

All the ideas for 'Philosophy of Language', 'On the Law of War' and 'The Art of the Infinite'

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

19 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
15163 The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
15717 Using Choice, you can cut up a small ball and make an enormous one from the pieces [Kaplan/Kaplan]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
15158 Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
15157 Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
15156 The universal and existential quantifiers were chosen to suit mathematics [Soames]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
15712 1 and 0, then add for naturals, subtract for negatives, divide for rationals, take roots for irrationals [Kaplan/Kaplan]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
15711 The rationals are everywhere - the irrationals are everywhere else [Kaplan/Kaplan]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
15714 'Commutative' laws say order makes no difference; 'associative' laws say groupings make no difference [Kaplan/Kaplan]
15715 'Distributive' laws say if you add then multiply, or multiply then add, you get the same result [Kaplan/Kaplan]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15162 We understand metaphysical necessity intuitively, from ordinary life [Soames]
15161 There are more metaphysically than logically necessary truths [Soames]
14. Science / C. Induction / 3. Limits of Induction
15713 The first million numbers confirm that no number is greater than a million [Kaplan/Kaplan]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
15152 To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames]
15153 Tarski's account of truth-conditions is too weak to determine meanings [Soames]
19. Language / D. Propositions / 4. Mental Propositions
15154 We should use cognitive states to explain representational propositions, not vice versa [Soames]
25. Social Practice / E. Policies / 1. War / a. Just wars
23569 The only just cause for a war is a wrong received [Vitoria]
23601 Leaders can only attack foreigners who have done wrong (as with their own subjects) [Vitoria]
25. Social Practice / E. Policies / 1. War / c. Combatants
23566 Princes should not justify a war to their subjects, and doing so would undermine the state [Vitoria]
25. Social Practice / E. Policies / 1. War / d. Non-combatants
23576 Sacking a city is lawful if it motivates the attacking troops [Vitoria]