37 ideas
| 21489 | Super-ordinate disciplines give laws or principles; subordinate disciplines give concrete cases [Peirce, by Atkin] |
| 19095 | Pragmatic 'truth' is a term to cover the many varied aims of enquiry [Peirce, by Misak] |
| 19097 | Peirce did not think a belief was true if it was useful [Peirce, by Misak] |
| 21494 | If truth is the end of enquiry, what if it never ends, or ends prematurely? [Atkin on Peirce] |
| 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] |
| 17824 | The master science is physical objects divided into sets [Maddy] |
| 21493 | Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce] |
| 19102 | Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak] |
| 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] |
| 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] |
| 17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
| 17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
| 17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
| 17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
| 17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
| 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] |
| 17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
| 17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
| 10352 | The real is the idea in which the community ultimately settles down [Peirce] |
| 13498 | Peirce and others began the mapping out of relations [Peirce, by Hart,WD] |
| 21491 | Peirce's later realism about possibilities and generalities went beyond logical positivism [Peirce, by Atkin] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 16376 | The possible can only be general, and the force of actuality is needed to produce a particular [Peirce] |
| 19107 | Inquiry is not standing on bedrock facts, but standing in hope on a shifting bog [Peirce] |