51 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] |
17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
9204 | Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine] |
17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
17928 | Ordinal numbers represent order relations [Colyvan] |
17923 | Intuitionists only accept a few safe infinities [Colyvan] |
17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
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] |
17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
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] |
20166 | A man is a responsible agent to the extent he has an intention, and knows what he is doing [Hampshire] |