A formal Approach to problem solving, and more specifically to scientific problem solving. |
1 January 2005 to 31 December 2009 |
Machines in science, philosophy, and technology ca. 1600. |
1 October 2006 to 30 September 2009 |
Revolutions, Research Traditions and Rationality |
1 October 2007 to 30 September 2009 |
Philosophical Methodologies and Philosophy of Science in a Post-Newtonian World |
1 October 2006 to 30 September 2009 |
Type-Theoretical Dynamics: a logical framework for collective knowledge and information processing. |
1 October 2008 to 30 September 2009 |
Development of adaptive logics for the study of central topics in contemporary philosophy of science. Towards a new formal philosophy of science. |
1 January 2001 to 31 October 2008 |
An Analysis of the Relation Fuzzy Logics - Boolean Logics in Function of the Relation Logic - Reality Using Neural Computing Tools |
1 October 2004 to 1 October 2008 |
Logic in communication. In-depth exploration of a dialogue model for cooperative interaction and extending it to cases of competitive interaction. |
1 October 2005 to 30 September 2008 |
Rethinking the central concepts from philosophy of science for laws in the special sciences and formulating the resulting theory in a logically precise way |
1 October 2004 to 30 September 2008 |
The development of a structuralist and process ontology on the basis of structural scientific realism and the philosophy of symbolic forms. |
1 October 2005 to 30 September 2008 |