Combining Texts

All the ideas for 'fragments/reports', 'Contemporary theories of Knowledge (2nd)' and 'Set Theory'

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

35 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13030 Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
13032 Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / d. Axiom of Unions III
13033 Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13037 Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13038 Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13034 Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII
13039 Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13036 Choice: ∀A ∃R (R well-orders A) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
13029 Set Existence: ∃x (x = x) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
13031 Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13040 Constructibility: V = L (all sets are constructible) [Kunen]
11. Knowledge Aims / A. Knowledge / 1. Knowledge
6346 The main epistemological theories are foundationalist, coherence, probabilistic and reliabilist [Pollock/Cruz]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
6351 Most people now agree that our reasoning proceeds defeasibly, rather than deductively [Pollock/Cruz]
6374 To believe maximum truths, believe everything; to have infallible beliefs, believe nothing [Pollock/Cruz]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
6355 Direct realism says justification is partly a function of pure perceptual states, not of beliefs [Pollock/Cruz]
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
6359 Phenomenalism offered conclusive perceptual knowledge, but conclusive reasons no longer seem essential [Pollock/Cruz]
12. Knowledge Sources / B. Perception / 1. Perception
6366 Perception causes beliefs in us, without inference or justification [Pollock/Cruz]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
6362 Sense evidence is not beliefs, because they are about objective properties, not about appearances [Pollock/Cruz]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
6371 Bayesian epistemology is Bayes' Theorem plus the 'simple rule' (believe P if it is probable) [Pollock/Cruz]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / a. Pro-internalism
6373 Internalism says if anything external varies, the justifiability of the belief does not vary [Pollock/Cruz]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
6353 People rarely have any basic beliefs, and never enough for good foundations [Pollock/Cruz]
6361 Foundationalism requires self-justification, not incorrigibility [Pollock/Cruz]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / d. Rational foundations
6357 Reason cannot be an ultimate foundation, because rational justification requires prior beliefs [Pollock/Cruz]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
6363 Foundationalism is wrong, because either all beliefs are prima facie justified, or none are [Pollock/Cruz]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
6365 Negative coherence theories do not require reasons, so have no regress problem [Pollock/Cruz]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / c. Coherentism critique
6354 Coherence theories fail, because they can't accommodate perception as the basis of knowledge [Pollock/Cruz]
6367 Coherence theories isolate justification from the world [Pollock/Cruz]
13. Knowledge Criteria / C. External Justification / 1. External Justification
6370 Externalism comes as 'probabilism' (probability of truth) and 'reliabilism' (probability of good cognitive process) [Pollock/Cruz]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
6358 One belief may cause another, without being the basis for the second belief [Pollock/Cruz]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
6364 We can't start our beliefs from scratch, because we wouldn't know where to start [Pollock/Cruz]
14. Science / C. Induction / 1. Induction
6352 Enumerative induction gives a universal judgement, while statistical induction gives a proportion [Pollock/Cruz]
14. Science / C. Induction / 6. Bayes's Theorem
6372 Since every tautology has a probability of 1, should we believe all tautologies? [Pollock/Cruz]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
6360 Scientific confirmation is best viewed as inference to the best explanation [Pollock/Cruz]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]