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