Combining Texts

All the ideas for 'Summa totius logicae', 'A Completeness Theorem in Modal Logic' and 'Absolute Necessities'

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

21 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction
9108 From an impossibility anything follows [William of Ockham]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
9107 A proposition is true if its subject and predicate stand for the same thing [William of Ockham]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
16300 Ockham had an early axiomatic account of truth [William of Ockham, by Halbach]
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]
5. Theory of Logic / G. Quantification / 1. Quantification
9106 The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham]
6. Mathematics / C. Sources of Mathematics / 5. Numbers as Adjectival
9113 Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
9110 The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
15388 Universals are single things, and only universal in what they signify [William of Ockham]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
9109 If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham]
10. Modality / A. Necessity / 2. Nature of Necessity
15086 Absolute necessity might be achievable either logically or metaphysically [Hale]
10. Modality / A. Necessity / 3. Types of Necessity
8261 Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
15081 A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
15080 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15082 Metaphysical necessity says there is no possibility of falsehood [Hale]
10. Modality / A. Necessity / 6. Logical Necessity
15085 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
15088 Logical necessities are true in virtue of the nature of all logical concepts [Hale]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
15087 Conceptual necessities are made true by all concepts [Hale]
19. Language / D. Propositions / 4. Mental Propositions
9105 Some concepts for propositions exist only in the mind, and in no language [William of Ockham]