Combining Texts

All the ideas for 'fragments/reports', 'The Reasons of Love' and 'A Completeness Theorem in Modal Logic'

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

28 ideas

1. Philosophy / C. History of Philosophy / 2. Ancient Philosophy / b. Pre-Socratic philosophy
5988 Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
1496 The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
7. Existence / A. Nature of Existence / 1. Nature of Existence
14874 Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche]
10. Modality / A. Necessity / 9. Normative Necessity
9240 Love creates a necessity concerning what to care about [Frankfurt]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
9228 Ranking order of desires reveals nothing, because none of them may be considered important [Frankfurt]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
9238 Morality isn't based on reason; moral indignation is quite unlike disapproval of irrationality [Frankfurt]
22. Metaethics / B. Value / 1. Nature of Value / d. Subjective value
9232 It is by caring about things that we infuse the world with importance [Frankfurt]
9234 If you don't care about at least one thing, you can't find reasons to care about anything [Frankfurt]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
9229 What is worthwhile for its own sake alone may be worth very little [Frankfurt]
9233 Our criteria for evaluating how to live offer an answer to the problem [Frankfurt]
22. Metaethics / B. Value / 2. Values / g. Love
9235 Rather than loving things because we value them, I think we value things because we love them [Frankfurt]
9236 Love can be cool, and it may not involve liking its object [Frankfurt]
9237 The paradigm case of pure love is not romantic, but that between parents and infants [Frankfurt]
9239 I value my children for their sake, but I also value my love for them for its own sake [Frankfurt]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
9227 We might not choose a very moral life, if the character or constitution was deficient [Frankfurt]
22. Metaethics / C. The Good / 3. Pleasure / a. Nature of pleasure
9230 People want to fulfill their desires, but also for their desires to be sustained [Frankfurt]
23. Ethics / A. Egoism / 1. Ethical Egoism
9241 Loving oneself is not a failing, but is essential to a successful life [Frankfurt]
23. Ethics / F. Existentialism / 4. Boredom
9300 Boredom is serious, not just uncomfortable; it threatens our psychic survival [Frankfurt]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
9231 Freedom needs autonomy (rather than causal independence) - embracing our own desires and choices [Frankfurt]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
405 The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander]
13222 The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander]
404 Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander]
1495 Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius]
27. Natural Reality / E. Cosmology / 2. Eternal Universe
1746 The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius]