Research Explorer

Project

The use of adaptive logics for the practice and the philosophy of mathematics and the use of mathematical tools for the abstract analysis of adaptive logics
Code
3E019408
Duration
01 October 2008 → 30 September 2014
Funding
Regional and community funding: Special Research Fund, Research Foundation - Flanders (FWO)
Promotor
Research disciplines
  • Natural sciences
    • History and foundations
  • Humanities and the arts
    • Theory and methodology of philosophy
    • Philosophy
  • Social sciences
    • General pedagogical and educational sciences
    • Communication sciences
Keywords
philosophy of mathematics adaptive logic mathematical problem solving
 
Project description

This project concerns an investigation into three aspects of the relation between mathematics and adaptive logics (AL's): it is investigated how (a) AL's can be used for the formal modeling of the mathematical practice, (b) AL's can solve problems of the foundations of mathematics, and © mathematical techniques can be used for the abstract study of AL's.