The goal of this research project is to develop formal insight in the following pair of questions: (1) what is the relation between standard Boolean-valued logics and the contemporary non-standard ...read more
The traditional criteria for lawlikeness are rarely met in the special sciences (biology, economy, social sciences, etc.). These sciences seem almost never to discover universal, exceptionless regularities. Nevertheless, they are ...read more
In this study we will expand upon the hypothesis that the 16th-century tradition of master arithmeticians did influence the conceptual shift that has lead to a symbolic algebra. The origin ...read more
Although it is generally acknowledged that the two most influential research traditions of the twentieth century philosophy of science,---namely the 'logistic' program of the logical positivists (Carnap, Neurath, Schlick, Hempel, ...read more
The development of the adaptive logic programme forced us time and again to go beyond the traditional view on logic. The aim of the project is to develop and study ...read more