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.

Period 1 January 1998 to 31 December 2001
Type Research Project of the NCNL-CNRL
Coordinator Diderik Batens
Funding Agencies FWO, FNRS
Cooperation between all Belgian centres for logic (see http://www.lofs.ucl.ac.be/cnrl/CnrlStruct.html).