Combining Texts

All the ideas for 'Sweet Dreams', 'Logicism and Ontological Commits. of Arithmetic' and 'The Philosophy of Mathematics'

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

22 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9193 ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett]
9194 The main alternative to ZF is one which includes looser classes as well as sets [Dummett]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9195 Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
9186 First-order logic concerns objects; second-order adds properties, kinds, relations and functions [Dummett]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
9187 Logical truths and inference are characterized either syntactically or semantically [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
9191 Ordinals seem more basic than cardinals, since we count objects in sequence [Dummett]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
9192 The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
7658 Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
7655 The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
7657 Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
7656 I don't deny consciousness; it just isn't what people think it is [Dennett]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
7654 What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett]