Combining Texts

All the ideas for 'Thinking About Mathematics', 'Remembrance of Things Past' and 'The Justification of Deduction'

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


27 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy aims to understand the world, through ordinary experience and science [Dummett]
2. Reason / E. Argument / 6. Conclusive Proof
A successful proof requires recognition of truth at every step [Dummett]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett]
In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett]
Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett]
5. Theory of Logic / K. Features of Logics / 4. Completeness
Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
An explanation is often a deduction, but that may well beg the question [Dummett]
18. Thought / B. Mechanics of Thought / 3. Modularity of Mind
When we need to do something, we depute an inner servant to remind us of it [Proust]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett]