Argumentative networks: a still missing integration of philosophical approaches to argumentation with ai-models, with an application to mathematical practice.

Project Details


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 date1/01/0931/12/12


  • filosofie van de wiskunde

Flemish discipline codes

  • Philosophy, ethics and religious studies