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