|
The relevance of formalization and the need for alternative logics to study philosophical problems that result from recent developments in philosophy of language, philosophy of science, and the cognitive sciences. |
1 January 2006 to 31 December 2009 |
|
Research on the construction of integrating worldviews. |
1 January 1996 to 1 June 2006 |
|
History of science: study of the interaction between science and culture. |
1 January 1996 to 1 June 2006 |
|
The relevance of non-classical logics for the philosophy of science, the philosophy of mathematics, and the philosophy of language. |
1 January 2002 to 31 December 2005 |
|
A formal study of topics from the philosophy of science, especially in terms of adaptive and erotetic logics and of their combination. |
17 December 2001 to 17 December 2004 |
|
Study of standard and non-standard formal logics in relation to their application contexts, more specifially mathematics, philosophy of science, artificial intelligence, philosophy of language and argumentation. |
1 January 1998 to 31 December 2001 |
|
The ontological foundations of paraconsistency in connection with scientific and every-day knowledge in general and with logic, mathematics and artificial intelligence in particular. |
21 December 1998 to 21 December 2001 |
|
Design of electronic training programs for introductory courses in logic, with special attention for natural language. |
1 July 1999 to 28 February 2001 |
|
Integrating worldviews: research on the interdisciplinary construction of a model of reality with ethical and practical relevance. |
1 February 1997 to 30 June 2000 |
|
Paraconsistent logics and their application to philosophy, artificial intelligence and computability |
10 January 1997 to 10 June 1999 |
