The project aims at developing a methodology for scientific problem solving which is exact (from a logical point of view) but also takes into account the context-dependence of problem solving.