Mathematical arguments in context
نویسندگان
چکیده
Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge.
منابع مشابه
Diagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملI-14: Ethical Issues in Sex Selection and Family Balancing
Sex selection for non-medical reasons is a major controversy in around the world. Here in this paper, we presented the ethical arguments about sex selection for non-medical reasons and discuss about them in Islamic context. Significant arguments about sex selection relate to sexism and sex discrimination, sex disproportion, human dignity, playing God, psychological pressure on unselected childr...
متن کاملInvestigating disagreements through a context-specific approach: A case of Iranian L2 speakers
The current study investigated the expression of disagreement by Iranian advanced English learners. The data for the study comprised the recorded discussions of 26 male and female interlocutors in three different settings: 1) language institute, 2) home environment, and 3) university setting. Analysis of the arguments pointed to the influence of c...
متن کاملThe "stress analogy" in the context of psychoneuroimmunology.
The "stress analogy" is examined from the perspective of psychoneuroimmunology. Arguments are presented that do not support a linear and mathematical conception of psychosocial stress, as defended by the "stress analogy" concept. Implications for the study of schizophrenia are discussed.
متن کاملA User-friendly Interface for a Lightweight Verification System
User-friendly interfaces can play an important role in bringing the benefits of a machine-readable representation of formal arguments to a wider audience. The aartifact system is an easy-to-use lightweight verifier for formal arguments that involve logical and algebraic manipulations of common mathematical concepts. The system provides validation capabilities by utilizing a database of proposit...
متن کامل