Combining Texts

All the ideas for 'Inexpressible Properties and Propositions', 'Oxford University Statutes' and 'Modal Logic within Counterfactual Logic'

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

11 ideas

1. Philosophy / B. History of Ideas / 4. Early European Thought
8074 There is a five shilling fine for each point of divergence from the thinking of Aristotle [Oxford Univ 1350]
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
17990 Instances of minimal truth miss out propositions inexpressible in current English [Hofweber]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14626 In S5 matters of possibility and necessity are non-contingent [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
17988 Quantification can't all be substitutional; some reference is obviously to objects [Hofweber]
8. Modes of Existence / B. Properties / 1. Nature of Properties
17989 Since properties have properties, there can be a typed or a type-free theory of them [Hofweber]
10. Modality / A. Necessity / 1. Types of Modality
14625 Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
14623 Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
10. Modality / B. Possibility / 9. Counterfactuals
14624 Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
14531 Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
14628 Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
19. Language / F. Communication / 6. Interpreting Language / a. Translation
17991 Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber]