Combining Texts

All the ideas for 'Thinking About Mathematics', 'On Fate ('De fato')' and 'Two Dogmas of Empiricism'

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


47 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
Any statement can be held true if we make enough adjustment to the rest of the system [Quine]
2. Reason / D. Definition / 1. Definitions
Definition rests on synonymy, rather than explaining it [Quine]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
How can the not-true fail to be false, or the not-false fail to be true? [Cicero]
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 / F. Referring in Logic / 1. Naming / f. Names eliminated
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
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 / 4. Mathematical Empiricism / a. Mathematical empiricism
Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine]
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]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine]
9. Objects / A. Existence of Objects / 1. Physical Objects
If physical objects are a myth, they are useful for making sense of experience [Quine]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Aristotelian essence of the object has become the modern essence of meaning [Quine]
10. Modality / A. Necessity / 6. Logical Necessity
Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge]
10. Modality / A. Necessity / 11. Denial of Necessity
Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine]
Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine]
Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich]
Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Empiricism makes a basic distinction between truths based or not based on facts [Quine]
Our outer beliefs must match experience, and our inner ones must be simple [Quine]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The second dogma is linking every statement to some determinate observations [Quine, by Yablo]
14. Science / B. Scientific Theories / 6. Theory Holism
Statements about the external world face the tribunal of sense experience as a corporate body [Quine]
19. Language / A. Nature of Meaning / 1. Meaning
It is troublesome nonsense to split statements into a linguistic and a factual component [Quine]
19. Language / A. Nature of Meaning / 8. Synonymy
'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A]
19. Language / A. Nature of Meaning / 10. Denial of Meanings
Once meaning and reference are separated, meaning ceases to seem important [Quine]
19. Language / E. Analyticity / 1. Analytic Propositions
Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine]
Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian]
Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson]
The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine]
Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine]
The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins]
If we try to define analyticity by synonymy, that leads back to analyticity [Quine]
19. Language / F. Communication / 1. Rhetoric
Oratory and philosophy are closely allied; orators borrow from philosophy, and ornament it [Cicero]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
If desire is not in our power then neither are choices, so we should not be praised or punished [Cicero]