Combining Texts

All the ideas for 'Introduction to 'Properties'', 'Building Blocks of Mathematical Logic' and 'Absolute Necessities'

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


13 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]
8. Modes of Existence / B. Properties / 6. Categorical Properties
Properties are respects in which particular objects may be alike or differ [Mellor/Oliver]
8. Modes of Existence / B. Properties / 12. Denial of Properties
Nominalists ask why we should postulate properties at all [Mellor/Oliver]
10. Modality / A. Necessity / 2. Nature of Necessity
Absolute necessity might be achievable either logically or metaphysically [Hale]
10. Modality / A. Necessity / 3. Types of Necessity
Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity says there is no possibility of falsehood [Hale]
10. Modality / A. Necessity / 6. Logical Necessity
'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
Logical necessities are true in virtue of the nature of all logical concepts [Hale]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities are made true by all concepts [Hale]
18. Thought / E. Abstraction / 5. Abstracta by Negation
Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver]