Combining Philosophers

All the ideas for Agrippa, Michael Devitt and Feferman / Feferman

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

33 ideas

2. Reason / A. Nature of Reason / 9. Limits of Reason
1815 Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius]
1812 All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius]
1811 Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius]
1813 All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10147 The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman]
10148 Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman]
10149 Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman]
10150 The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman]
10146 Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10158 A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman]
10162 Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10159 Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman]
10160 Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10161 If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman]
5. Theory of Logic / K. Features of Logics / 7. Decidability
10156 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman]
10155 Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman]
8. Modes of Existence / D. Universals / 1. Universals
8502 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
8503 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
8501 Quineans take predication about objects as basic, not reference to properties they may have [Devitt]
9. Objects / D. Essence of Objects / 10. Essence as Species
17368 Essentialism concerns the nature of a group, not its category [Devitt]
17370 Things that gradually change, like species, can still have essences [Devitt]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
9354 Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt]
19565 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
9353 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
9356 The idea of the a priori is so obscure that it won't explain anything [Devitt]
19564 Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / a. Agrippa's trilemma
8850 Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M]
13. Knowledge Criteria / E. Relativism / 1. Relativism
1814 Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius]
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
17371 Some kinds are very explanatory, but others less so, and some not at all [Devitt]
27. Natural Reality / G. Biology / 5. Species
17369 We name species as small to share properties, but large enough to yield generalisations [Devitt]
17373 Species pluralism says there are several good accounts of what a species is [Devitt]
17367 Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG]
17372 The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt]