A formal Approach to problem solving, and more specifically to scientific problem solving.
Period | 01-01-2005 to 31-12-2009 |
---|---|
Type | Research Project |
Promotor(s) | Prof. Dr. Diderik Batens and Prof. Dr. Joke Meheus |
Funding agency | Research Foundation - Flanders (FWO) |
Researcher(s) | Dr. Peter Verdée, Mathieu Beirlaen and Frederik Van De Putte |
The aim of this project is to elaborate a formal approach to problem solving. We shall elaborate a formally characterized kind of sequences of problems (in the narrow sense of sets of questions) and declarative statements. The construction of the sequence will be governed by a procedure which depends on the logical context of the problem. The resulting format, which somewhat resembles that of proofs, will then be extended by means to introduce 'new premises'.