Combining Philosophers

All the ideas for Theophrastus, Feferman / Feferman and Duncan Pritchard

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

27 ideas

2. Reason / E. Argument / 1. Argument
19504 My modus ponens might be your modus tollens [Pritchard,D]
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
10160 Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman]
10159 Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [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]
10. Modality / B. Possibility / 9. Counterfactuals
19503 An improbable lottery win can occur in a nearby possible world [Pritchard,D]
11. Knowledge Aims / B. Certain Knowledge / 2. Common Sense Certainty
19505 Moore begs the question, or just offers another view, or uses 'know' wrongly [Pritchard,D, by PG]
13. Knowledge Criteria / A. Justification Problems / 2. Justification Challenges / c. Knowledge closure
19499 We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D]
19500 Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D]
19502 Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
19498 Epistemic internalism usually says justification must be accessible by reflection [Pritchard,D]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
19506 Externalism is better than internalism in dealing with radical scepticism [Pritchard,D]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / c. Disjunctivism
19496 Disjunctivism says perceptual justification must be both factual and known by the agent [Pritchard,D]
19497 Metaphysical disjunctivism says normal perceptions and hallucinations are different experiences [Pritchard,D]
13. Knowledge Criteria / C. External Justification / 10. Anti External Justification
19495 Epistemic externalism struggles to capture the idea of epistemic responsibility [Pritchard,D]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
19501 We assess error against background knowledge, but that is just what radical scepticism challenges [Pritchard,D]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
19507 Radical scepticism is merely raised, and is not a response to worrying evidence [Pritchard,D]
13. Knowledge Criteria / E. Relativism / 6. Relativism Critique
20921 How can we state relativism of sweet and sour, if they have no determinate nature? [Theophrastus]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
5990 Theophrastus doubted whether nature could be explained teleologically [Theophrastus, by Gottschalk]