70 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] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 9204 | Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 21382 | Things get smaller without end [Anaxagoras] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 17738 | Quine blurs the difference between knowledge of arithmetic and of physics [Jenkins on Quine] |
| 481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
| 21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
| 17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
| 19492 | Quine is hopeless circular, deriving ontology from what is literal, and 'literal' from good ontology [Yablo on Quine] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 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] |
| 20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
| 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] |
| 13257 | The senses are too feeble to determine the truth [Anaxagoras] |
| 19488 | The second dogma is linking every statement to some determinate observations [Quine, by Yablo] |
| 22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
| 1625 | Statements about the external world face the tribunal of sense experience as a corporate body [Quine] |
| 13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
| 13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
| 5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
| 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] |
| 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] |
| 1622 | Did someone ever actually define 'bachelor' as 'unmarried man'? [Quine] |
| 1624 | If we try to define analyticity by synonymy, that leads back to analyticity [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] |
| 18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
| 631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
| 22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
| 550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
| 21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
| 13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
| 367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
| 21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
| 22726 | When things were unified, Mind set them in order [Anaxagoras] |
| 2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
| 480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
| 5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |
| 7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |