Combining Texts

All the ideas for 'works', 'What is Cantor's Continuum Problem?' and 'Grundgesetze der Arithmetik 2 (Basic Laws)'

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

22 ideas

2. Reason / D. Definition / 2. Aims of Definition
13886 Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C]
2. Reason / D. Definition / 7. Contextual Definition
9845 We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege]
2. Reason / D. Definition / 11. Ostensive Definition
10019 Only what is logically complex can be defined; what is simple must be pointed to [Frege]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
8679 We perceive the objects of set theory, just as we perceive with our senses [Gödel]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
9942 Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
18062 Set-theory paradoxes are no worse than sense deception in physics [Gödel]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
9886 Cardinals say how many, and reals give measurements compared to a unit quantity [Frege]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
9889 Real numbers are ratios of quantities [Frege, by Dummett]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
10868 The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg]
13517 If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
10020 Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege]
10553 A number is a class of classes of the same cardinality [Frege, by Dummett]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
10271 Basic mathematics is related to abstract elements of our empirical ideas [Gödel]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
9887 Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett]
8751 Only applicability raises arithmetic from a game to a science [Frege]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
9891 The first demand of logic is of a sharp boundary [Frege]
15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind
3488 Freud treats the unconscious as intentional and hence mental [Freud, by Searle]
16. Persons / C. Self-Awareness / 3. Limits of Introspection
5689 Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker]
18. Thought / A. Modes of Thought / 3. Emotions / a. Nature of emotions
23950 Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
9890 The modern account of real numbers detaches a ratio from its geometrical origins [Frege]
18. Thought / E. Abstraction / 8. Abstractionism Critique
11846 If we abstract the difference between two houses, they don't become the same house [Frege]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
22344 Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch]