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).