-Sensibilisation aux langages des Calculs logiques. - Initiation au formalisme de la pensée et à la positivité de la démarche démonstrative. Contenu : Définition et objet de la logique formelle. - Aperçu historique sur son évolution : - I : Le Calcul des propositions inanalysées. Approche et postulats - Langage du Calcul - Fonctions de vérité singulaires et binaires - Fonctions de vérité tautologiquement équivalentes et intertraductibilité des écritures - Le carré logique - Principales lois logiques - Deux procédures de décision - Evaluation de ce Calcul. T.P. : Exercices d'application - II : Le Calcul des prédicats et des relations. Langage du Calcul et règles de formation - L'intertraductibilité des écritures simples et complexes - Les carrés logiques - Principales lois logiques - La formation des modèles dans des domaines de satisfaction - Trois procédures de décision. T.P. : Exercices d'application. - Conclusion : Le fomalisme logique en question.

Temps présentiel : 21 heures

Charge de travail étudiant : 9 heures

Méthode(s) d'évaluation : Variable selon l'étudiant

Référence :
DOPP Joseph, Notions de logique formelle ,Louvain, Publications universitaires de Louvain, 1967. GEX Maurice, Logique formelle, Neuchâtel, Ed. du Griffon, 1968. LUCAS Th. et al, Initiation à la logique formelle, Bruxelles, de Boeck, 2003. RIVENC François, Introduction à la logique, Paris, Payot, 1989. VERNANT Denis, Introduction à la logique standard, Paris, Flammarion, 2001.