Combining Texts

All the ideas for 'Cratylus', 'The Logic of What Might Have Been' and 'Gdel's Proof'

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


47 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom is called 'beautiful', because it performs fine works [Plato]
1. Philosophy / A. Wisdom / 2. Wise People
Good people are no different from wise ones [Plato]
2. Reason / C. Styles of Reason / 1. Dialectic
A dialectician is someone who knows how to ask and to answer questions [Plato]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Truths say of what is that it is, falsehoods say of what is that it is not [Plato]
4. Formal Logic / D. Modal Logic ML / 2. Tools of Modal Logic / b. Terminology of ML
A world is 'accessible' to another iff the first is possible according to the second [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
For metaphysics, T may be the only correct system of modal logic [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / f. System B
System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N]
In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N]
System B implies that possibly-being-realized is an essential property of the world [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 modal logic ignores accessibility altogether [Salmon,N]
S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N]
The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
A name is a sort of tool [Plato]
A name-giver might misname something, then force other names to conform to it [Plato]
Things must be known before they are named, so it can't be the names that give us knowledge [Plato]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Anyone who knows a thing's name also knows the thing [Plato]
7. Existence / B. Change in Existence / 1. Nature of Change
How can beauty have identity if it changes? [Plato]
7. Existence / E. Categories / 2. Categorisation
We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Doesn't each thing have an essence, just as it has other qualities? [Plato]
9. Objects / D. Essence of Objects / 3. Individual Essences
Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Is the being or essence of each thing private to each person? [Plato]
Any property is attached to anything in some possible world, so I am a radical anti-essentialist [Salmon,N]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato]
10. Modality / A. Necessity / 3. Types of Necessity
Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N]
10. Modality / A. Necessity / 5. Metaphysical Necessity
In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N]
Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N]
Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N]
Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N]
Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N]
10. Modality / A. Necessity / 6. Logical Necessity
Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N]
10. Modality / A. Necessity / 7. Natural Necessity
Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Impossible worlds are also ways for things to be [Salmon,N]
Denial of impossible worlds involves two different confusions [Salmon,N]
Without impossible worlds, how things might have been is the only way for things to be [Salmon,N]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are maximal abstract ways that things might have been [Salmon,N]
Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / c. Worlds as propositions
You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
There can't be any knowledge if things are constantly changing [Plato]
15. Nature of Minds / A. Nature of Mind / 2. Psuche
Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato]
18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality
The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
'Arete' signifies lack of complexity and a free-flowing soul [Plato]
27. Natural Reality / G. Biology / 5. Species
The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato]
28. God / A. Divine Nature / 2. Divine Nature
Even the gods love play [Plato]