Combining Texts

All the ideas for 'The Logical Syntax of Language', 'Things and Their Parts' and 'The Case against Closure (and reply)'

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


17 ideas

4. Formal Logic / G. Formal Mereology / 1. Mereology
Part and whole contribute asymmetrically to one another, so must differ [Fine,K]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Each person is free to build their own logic, just by specifying a syntax [Carnap]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Hierarchical set membership models objects better than the subset or aggregate relations do [Fine,K]
9. Objects / C. Structure of Objects / 3. Matter of an Object
The matter is a relatively unstructured version of the object, like a set without membership structure [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
A 'temporary' part is a part at one time, but may not be at another, like a carburetor [Fine,K]
A 'timeless' part just is a part, not a part at some time; some atoms are timeless parts of a water molecule [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
An 'aggregative' sum is spread in time, and exists whenever a component exists [Fine,K]
An 'compound' sum is not spread in time, and only exists when all the components exists [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Two sorts of whole have 'rigid embodiment' (timeless parts) or 'variable embodiment' (temporary parts) [Fine,K]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
Closure says if you know P, and also know P implies Q, then you must know Q [Dretske]
We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske]
Reasons for believing P may not transmit to its implication, Q [Dretske]
Knowing by visual perception is not the same as knowing by implication [Dretske]
The only way to preserve our homely truths is to abandon closure [Dretske]
P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske]
We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske]