At the end of the learning activity, the student will master the basic notions of some non-classical logics. Moreover, he will be able to propose a critical reflection on the principles underlying classical logic in the light of certain para-consistent and para-complete logics.
The logico-philosophical tradition has widely taken for granted certain principles, such as the principles of excluded middle and non-contradiction. However, during the twentieth century, logical investigations underwent a revival which contributed to a requestioning of their status as basic principles of logic. On the sidelines of classical logic, many non-classical logics, which do not obey some of these principles, have been developed.
Through an analysis of the notion of valid reasoning specific to some non-classical logics that are para-consistent (allowing to reason with inconsistent information) or para-complete (allowing to reason with incomplete information), this course aims at investigating the fundamental principles of classical logic.
The evaluation is oral but preceded by a period of written preparation. The student is asked to answer a theory question and to solve an exercise.
G. Priest - An introduction to non-classical logic (2008)
N.D. Belnap - How a computer should think (1976)
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 3 | 2 |