| Contenu :
|
|
Logique classique et logique moderne ; Analyse du langage et fonctions propositionnelles ;. Logique des propositions non analysées (théorie des fonctions de vérité) et logique des propositions analysées (logique des prédicats monadiques et logique des relations); Implications strictes et logique modale Aperçu des logiques plurivalentes et non standard. |