Combining Texts

All the ideas for 'Problems in the Explanation of Action', 'Treatise of Human Nature, Appendix' and 'Alfred Tarski: life and logic'

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

24 ideas

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]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
20189 Belief is a feeling, independent of the will, which arises from uncontrolled and unknown causes [Hume]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
21309 A proposition cannot be intelligible or consistent, if the perceptions are not so [Hume]
15. Nature of Minds / C. Capacities of Minds / 7. Seeing Resemblance
15755 Hume needs a notion which includes degrees of resemblance [Shoemaker on Hume]
16. Persons / B. Nature of the Self / 5. Self as Associations
5323 Experiences are logically separate, but factually linked by simultaneity or a feeling of continuousness [Ayer on Hume]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
21311 Are self and substance the same? Then how can self remain if substance changes? [Hume]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / c. Inadequacy of mental continuity
21312 Perceptions are distinct, so no connection between them can ever be discovered [Hume]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
21308 We have no impression of the self, and we therefore have no idea of it [Hume]
21310 Does an oyster with one perception have a self? Would lots of perceptions change that? [Hume]
20. Action / B. Preliminaries of Action / 1. Intention to Act / b. Types of intention
20074 We can keep Davidson's account of intentions in action, by further explaining prior intentions [Davidson, by Stout,R]
22. Metaethics / B. Value / 2. Values / g. Love
23115 We have no natural love of mankind, other than through various relationships [Hume]
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
16946 Causation is just invariance, as long as it is described in general terms [Quine on Hume]
15250 If impressions, memories and ideas only differ in vivacity, nothing says it is memory, or repetition [Whitehead on Hume]