Combining Texts

All the ideas for 'fragments/reports', 'Intellectual Autobiography' and 'The Structure of Objects'

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


33 ideas

3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Truthmakers are facts 'of' a domain, not something 'in' the domain [Sommers]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
4. Formal Logic / G. Formal Mereology / 1. Mereology
The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Predicate logic has to spell out that its identity relation '=' is an equivalent relation [Sommers]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Translating into quantificational idiom offers no clues as to how ordinary thinkers reason [Sommers]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Sommers promotes the old idea that negation basically refers to terms [Sommers, by Engelbretsen]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Predicates form a hierarchy, from the most general, down to names at the bottom [Sommers]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Some questions concern mathematical entities, rather than whole structures [Koslicki]
7. Existence / D. Theories of Reality / 2. Realism
Unfortunately for realists, modern logic cannot say that some fact exists [Sommers]
8. Modes of Existence / A. Relations / 3. Structural Relations
Structures have positions, constituent types and number, and some invariable parts [Koslicki]
8. Modes of Existence / B. Properties / 6. Categorical Properties
'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki]
If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki]
Statue and clay differ in modal and temporal properties, and in constitution [Koslicki]
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki]
9. Objects / C. Structure of Objects / 6. Constitution of an Object
There are at least six versions of constitution being identity [Koslicki]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
For three-dimensionalist parthood must be a three-place relation, including times [Koslicki]
The parts may be the same type as the whole, like a building made of buildings [Koslicki]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki]
Wholes are entities distinct from their parts, and have different properties [Koslicki]
Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki]
19. Language / B. Reference / 1. Reference theories
In standard logic, names are the only way to refer [Sommers]
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]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki]
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
Natural kinds support inductive inferences, from previous samples to the next one [Koslicki]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki]
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Should vernacular classifications ever be counted as natural kind terms? [Koslicki]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
There are apparently no scientific laws concerning biological species [Koslicki]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]