Combining Texts

All the ideas for 'fragments/reports', 'Essence and Modality' and 'Set Theory and Its Philosophy'

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


37 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
My account shows how the concept works, rather than giving an analysis [Fine,K]
2. Reason / D. Definition / 4. Real Definition
Modern philosophy has largely abandoned real definitions, apart from sortals [Fine,K]
2. Reason / D. Definition / 6. Definition by Essence
Defining a term and giving the essence of an object don't just resemble - they are the same [Fine,K]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
Usually the only reason given for accepting the empty set is convenience [Potter]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: There is at least one limit level [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
Nowadays we derive our conception of collections from the dependence between them [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology elides the distinction between the cards in a pack and the suits [Potter]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
We can formalize second-order formation rules, but not inference rules [Potter]
5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions
Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter]
7. Existence / C. Structure of Existence / 4. Ontological Dependence
An object is dependent if its essence prevents it from existing without some other object [Fine,K]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A relation is a set consisting entirely of ordered pairs [Potter]
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
If dependence is well-founded, with no infinite backward chains, this implies substances [Potter]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Collections have fixed members, but fusions can be carved in innumerable ways [Potter]
9. Objects / D. Essence of Objects / 2. Types of Essence
Essences are either taken as real definitions, or as necessary properties [Fine,K]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Essentially having a property is naturally expressed as 'the property it must have to be what it is' [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Simple modal essentialism refers to necessary properties of an object [Fine,K]
Essentialist claims can be formulated more clearly with quantified modal logic [Fine,K]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Metaphysical necessity is a special case of essence, not vice versa [Fine,K]
Essence as necessary properties produces a profusion of essential properties [Fine,K, by Lowe]
The nature of singleton Socrates has him as a member, but not vice versa [Fine,K]
It is not part of the essence of Socrates that a huge array of necessary truths should hold [Fine,K]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
An essential property of something must be bound up with what it is to be that thing [Fine,K, by Rami]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Essential properties are part of an object's 'definition' [Fine,K, by Rami]
9. Objects / E. Objects over Time / 12. Origin as Essential
If Socrates lacks necessary existence, then his nature cannot require his parents' existence [Fine,K]
10. Modality / A. Necessity / 1. Types of Modality
Priority is a modality, arising from collections and members [Potter]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The subject of a proposition need not be the source of its necessity [Fine,K]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities rest on the nature of all concepts [Fine,K]
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K]
Metaphysical necessities are true in virtue of the nature of all objects [Fine,K]
19. Language / E. Analyticity / 2. Analytic Truths
Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K]
The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K]
25. Social Practice / E. Policies / 5. Education / b. Education principles
Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]