Combining Philosophers

All the ideas for Hilbert,D/Ackermann,W, David Kaplan and Michael Devitt

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


29 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logicians like their entities to exhibit a maximum degree of purity [Kaplan]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan]
8. Modes of Existence / D. Universals / 1. Universals
Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
Quineans take predication about objects as basic, not reference to properties they may have [Devitt]
9. Objects / C. Structure of Objects / 7. Substratum
Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan]
9. Objects / D. Essence of Objects / 10. Essence as Species
Essentialism concerns the nature of a group, not its category [Devitt]
Things that gradually change, like species, can still have essences [Devitt]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
The simplest solution to transworld identification is to adopt bare particulars [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Essence is a transworld heir line, rather than a collection of properties [Kaplan]
Unusual people may have no counterparts, or several [Kaplan]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt]
How could the mind have a link to the necessary character of reality? [Devitt]
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
The idea of the a priori is so obscure that it won't explain anything [Devitt]
Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt]
19. Language / A. Nature of Meaning / 8. Synonymy
Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
Indexicals have a 'character' (the standing meaning), and a 'content' (truth-conditions for one context) [Kaplan, by Macià/Garcia-Carpentiro]
'Content' gives the standard modal profile, and 'character' gives rules for a context [Kaplan, by Schroeter]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Some kinds are very explanatory, but others less so, and some not at all [Devitt]
27. Natural Reality / G. Biology / 5. Species
We name species as small to share properties, but large enough to yield generalisations [Devitt]
Species pluralism says there are several good accounts of what a species is [Devitt]
Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG]
The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt]