44 ideas
1627 | Any statement can be held true if we make enough adjustment to the rest of the system [Quine] |
1623 | Definition rests on synonymy, rather than explaining it [Quine] |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
9204 | Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine] |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
17738 | Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine] |
19492 | Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine] |
1628 | If physical objects are a myth, they are useful for making sense of experience [Quine] |
10929 | Aristotelian essence of the object has become the modern essence of meaning [Quine] |
12188 | Contrary to some claims, Quine does not deny logical necessity [Quine, by McFetridge] |
15090 | Quine's attack on the analytic-synthetic distinction undermined necessary truths [Quine, by Shoemaker] |
9383 | Metaphysical analyticity (and linguistic necessity) are hopeless, but epistemic analyticity is a priori [Boghossian on Quine] |
12424 | Quine challenges the claim that analytic truths are knowable a priori [Quine, by Kitcher] |
9338 | Quine's objections to a priori knowledge only work in the domain of science [Horwich on Quine] |
9337 | Science is empirical, simple and conservative; any belief can hence be abandoned; so no a priori [Quine, by Horwich] |
9340 | Logic, arithmetic and geometry are revisable and a posteriori; quantum logic could be right [Horwich on Quine] |
1620 | Empiricism makes a basic distinction between truths based or not based on facts [Quine] |
1629 | Our outer beliefs must match experience, and our inner ones must be simple [Quine] |
19488 | The second dogma is linking every statement to some determinate observations [Quine, by Yablo] |
1625 | Statements about the external world face the tribunal of sense experience as a corporate body [Quine] |
1626 | It is troublesome nonsense to split statements into a linguistic and a factual component [Quine] |
7317 | 'Renate' and 'cordate' have identical extensions, but are not synonymous [Quine, by Miller,A] |
1621 | Once meaning and reference are separated, meaning ceases to seem important [Quine] |
9371 | Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine] |
1622 | Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine] |
9366 | Quine's attack on analyticity undermined linguistic views of necessity, and analytic views of the a priori [Quine, by Boghossian] |
14473 | Quine attacks the Fregean idea that we can define analyticity through synonyous substitution [Quine, by Thomasson] |
7321 | The last two parts of 'Two Dogmas' are much the best [Miller,A on Quine] |
8803 | Erasing the analytic/synthetic distinction got rid of meanings, and saved philosophy of language [Davidson on Quine] |
17737 | The analytic needs excessively small units of meaning and empirical confirmation [Quine, by Jenkins] |
1624 | If we try to define analyticity by synonymy, that leads back to analyticity [Quine] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |