Combining Texts

All the ideas for 'Locke on Essences and Kinds', 'fragments/reports' and 'The Barcan Formula and Metaphysics'

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


12 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen]
The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen]
BF implies that if W possibly had a child, then something is possibly W's child [Simchen]
9. Objects / D. Essence of Objects / 13. Nominal Essence
If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle]
Nominal essence are the observable properties of things [Eagle]
Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle]
10. Modality / A. Necessity / 10. Impossibility
From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ]
10. Modality / B. Possibility / 1. Possibility
The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Serious Actualism says there are no facts at all about something which doesn't exist [Simchen]
19. Language / D. Propositions / 4. Mental Propositions
Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle]