01 October 2014 → 30 September 2018
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
- Theory and methodology of philosophy
- General pedagogical and educational sciences
- Communication sciences
philosophy of mathematics
This research concerns philosophical accounts of informal provability as well as formal theories of this notion. I will investigate the problems that the current theories struggle with, including insufficient philosophical motivation. The second aim is to investigate the relation between theories of truth and the notion of informal provability. I will develop a theory of informal provability analogous to Kripke's theory of truth.