9655 - Notions de logique

Description bibliographique

Auteur :

Crabbé, Marcel (Université catholique de Louvain. Institut supérieur de Philosophie. Centre de Logique. Belgique)

Page source :

Page personnelle de Marcel Crabbé, http://www.lofs.ucl.ac.be/log/perso/Crabbe/

Langue :

français

Description du contenu

Spécialité :

Sciences de l'homme - Philosophie, religions - Logique, philosophie du langage
Sciences exactes - Mathématiques - Logique et fondements mathématiques

Mots clés :

logique ; logique du premier ordre ; loi logique ; langage propositionnel ; langage prédicatif

Table des matières :

1. Correspondance et démonstration
1.1 Introduction
1.2 Enoncés et lois logiques des langages propositionnels
1.3 Enoncés et lois logiques des langages prédicatifs
1.4 Parenthèse : deux conceptions de la vérité
1.5 L'axiomatique
2. Sémantique déductive
2.1 Les séquents propositionnels
2.2 La substitution
2.3 Les séquents d’énoncés prédicatifs
2.4 Compléments de logique propositionnelle
2.5 Enoncés prénexes
3. Le théorème fondamental de la logique
3.1 Les théorèmes de complétude
3.2 Généralisation du théorème de complétude
3.3 Les arbres de dérivations
Exercices
Bibliographie

Résumé :

Ce cours traite de la logique du premier ordre. Il présente les notions de loi logique, de modèle et de paradoxe, pour calculer des séquents pour les langages propositionnels et les langages prédicatifs. Il aborde aussi les méthodes permettant de déduire des expressions logiques et de faire des raisonnements valides, et traite enfin du théorème de complétude.

Informations pédagogiques

Niveau d'études :

tous niveaux

Objectifs pédagogiques :

Savoir représenter des expressions en utilisant la logique du premier ordre et faire des raisonnements valides par les méthodes déductives.

Accès à la ressource

Format :

PDF
Taille du fichier : entre 500 ko et 1 Mo

Notes :

Document de 150 pages.

URL de référence :

http://www.librecours.org/cgi-bin/course?callback=info&elt=1032

Autres URLs :

http://www.lofs.ucl.ac.be/log/perso/Crabbe/textes/logique.pdf

Ressource copiée dans le cache de l'Infothèque le 29/11/2007

Autres URLs :

/cache/9655/www.lofs.ucl.ac.be/log/perso/Crabbe/textes/logique.pdf

Notice mise en ligne le 07/07/2008