Combining Texts

All the ideas for 'fragments/reports', 'An Introduction to Modal Logic' and 'Varieties of Ontological Dependence'

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


14 ideas

2. Reason / D. Definition / 4. Real Definition
Real definitions don't just single out a thing; they must also explain its essence [Koslicki]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL
A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / d. Basic theorems of PL
The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell]
4. Formal Logic / B. Propositional Logic PL / 4. Soundness of PL
The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell]
5. Theory of Logic / K. Features of Logics / 4. Completeness
A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki]
9. Objects / D. Essence of Objects / 2. Types of Essence
Modern views want essences just to individuate things across worlds and times [Koslicki]
9. Objects / D. Essence of Objects / 4. Essence as Definition
For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki]
We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
A good explanation captures the real-world dependence among the phenomena [Koslicki]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
We can abstract to a dependent entity by blocking out features of its bearer [Koslicki]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]