3. Aim(s) of the project Our first aim is based upon the observation that both fields of argumentation theory and the work on argumentative networks are, at the present moment, still acting more or less separately (as can be easily established by comparing references and bibliographies). Nevertheless, they could be mutually quite inspiring. Hence, a comparative study is urgently required. However, in order to avoid "mere" theoretical results, our second and more specific aim is, as mentioned above, to look for applications within the practice of mathematics. Although there exists at the present moment a modest literature concerning proofs seen as arguments, see, e.g., [Abe07], [Ben08a], [Ben08b], much work remains to be done. It is worth noting that in this approach Stephen Toulmin, one of the great defenders of informal argumentation theory, plays a central part. The choice of the case study, viz., the classification theorem of finite, simple groups, is mainly determined by the fact that no single mathematician can comprehend the entire proof, hence, it has to be 'shared' in the community of mathematicians. This invites the use of argumentative frameworks, the core theme of this research proposal.
|Effective start/end date||1/01/09 → 31/12/12|
- filosofie van de wiskunde
Flemish discipline codes
- Philosophy, ethics and religious studies