Goals

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.

Content

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.

Assessment method

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.

Sources, references and any support material

G. Priest - An introduction to non-classical logic (2008)
N.D. Belnap - How a computer should think (1976)

 

Language of instruction

Français