Combining Texts

All the ideas for 'Being and Nothingness', 'Modal Logic within Counterfactual Logic' and 'Model Theory'

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

25 ideas

2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
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 / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
7. Existence / A. Nature of Existence / 3. Being / h. Dasein (being human)
22227 For Sartre there is only being for-itself, or being in-itself (which is beyond experience) [Sartre, by Daigle]
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]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
20743 Appearances do not hide the essence; appearances are the essence [Sartre]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / b. Essence of consciousness
6151 Sartre says consciousness is just directedness towards external objects [Sartre, by Rowlands]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
14628 Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
18. Thought / C. Content / 1. Content
6164 Sartre rejects mental content, and the idea that the mind has hidden inner features [Sartre, by Rowlands]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
7074 Man is a useless passion [Sartre]
6687 Man is the desire to be God [Sartre]
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
22228 Sartre's freedom is not for whimsical action, but taking responsibility for our own values [Sartre, by Daigle]
22. Metaethics / B. Value / 2. Values / g. Love
22233 Love is the demand to be loved [Sartre]
23. Ethics / F. Existentialism / 3. Angst
20755 Fear concerns the world, but 'anguish' comes from confronting my self [Sartre]
23. Ethics / F. Existentialism / 6. Authentic Self
20760 Sincerity is not authenticity, because it only commits to one particular identity [Sartre, by Aho]
22231 We flee from the anguish of freedom by seeing ourselves objectively, as determined [Sartre]