33 ideas
| 8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
| 8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
| 18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
| 8764 | Categories are the best foundation for mathematics [Shapiro] |
| 8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
| 8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
| 8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
| 8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
| 8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
| 8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
| 8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
| 8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
| 8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
| 8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
| 12056 | An ancestral relation is either direct or transitively indirect [Wiggins] |
| 12050 | Substances contain a source of change or principle of activity [Wiggins] |
| 12052 | We never single out just 'this', but always 'this something-or-other' [Wiggins] |
| 12055 | Sortal predications are answers to the question 'what is x?' [Wiggins] |
| 12059 | A river may change constantly, but not in respect of being a river [Wiggins] |
| 12063 | Sortal classification becomes science, with cross reference clarifying individuals [Wiggins] |
| 12051 | If the kinds are divided realistically, they fall into substances [Wiggins] |
| 12053 | 'Human being' is a better answer to 'what is it?' than 'poet', as the latter comes in degrees [Wiggins] |
| 12054 | Secondary substances correctly divide primary substances by activity-principles and relations [Wiggins] |
| 12047 | We refer to persisting substances, in perception and in thought, and they aid understanding [Wiggins] |
| 12057 | Matter underlies things, composes things, and brings them to be [Wiggins] |
| 19566 | Epistemology does not just concern knowledge; all aspects of cognitive activity are involved [Kvanvig] |
| 19568 | Making sense of things, or finding a good theory, are non-truth-related cognitive successes [Kvanvig] |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| 19567 | The 'defeasibility' approach says true justified belief is knowledge if no undermining facts could be known [Kvanvig] |
| 19570 | Reliabilism cannot assess the justification for propositions we don't believe [Kvanvig] |
| 12064 | The category of substance is more important for epistemology than for ontology [Wiggins] |
| 12049 | Naming the secondary substance provides a mass of general information [Wiggins] |
| 12065 | Seeing a group of soldiers as an army is irresistible, in ontology and explanation [Wiggins] |