Cooperation Projects

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
History of science: study of the interaction between science and culture. 1 January 1996 to 1 June 2006
Research on the construction of integrating worldviews. 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