Project: Study of standard and non-standard formal logics in relation to their contexts of application, more specifically mathematics, philosophy of science, artifical intelligence, philosophy of language, and argumentation.
- project duration
- 01-JAN-98 – 31-DEC-01
- Concerns (especially) relevant, modal and adaptive logics and their applications in the domains enumerated in the title. The aim is not only to study the suitability of contextual applications of existing systems but also to devise new ones and to detect new aspects of existing ones. The project comprises several research topics, and technical as well as philosophical dimensions.