 |  |  |  |  |
| | |
||||||||||
| PHIL0043-1 | Exercices de logique
[ english version ]
| |||||||||||
| ||||||||||||
| Durée : | 30h Ex. | |||||||||||
| ||||||||||||
| Crédits/ECTS : |
| |||||||||||
| ||||||||||||
| Titulaire(s) : | N... | |||||||||||
| ||||||||||||
| Suppléant(s) : | Pascal Gribomont | |||||||||||
| ||||||||||||
| Aperçu général : | Le cours est une introduction à la logique formelle classique. Il est centré sur les principales méthodes d'analyse des formules et des raisonnements, en logique propositionnelle et en logique prédicative (tables de vérité, tableaux sémantiques, méthode des séquents, systèmes axiomatiques). On aborde brièvement quelques développements plus récents (résolution unitaire, programmation logique). Le cours met aussi l'accent sur l'usage concret de la logique et la formalisation de raisonnements usuels. La théorie ancienne du syllogisme est resituée dans le contexte moderne. | |||||||||||
| ||||||||||||
| Objectif du cours : | Le cours a un triple objectif: - l'assimilation active des concepts essentiels de la logique; - l'usage de la logique pour la clarification du discours et des raisonnements; - l'étude et la pratique du raisonnement mathématique et de la méthode scientifique de résolution des problèmes. | |||||||||||
| ||||||||||||
| Travaux pratiques : | Les exercices sont intégrés au cours. | |||||||||||
| ||||||||||||
| Organisation : | 1er semestre, le vendredi à 14h00 (B28, local R21). | |||||||||||
| ||||||||||||
| Notes de cours : | Un syllabus de 135 pages est mis à la disposition des étudiants. Des références complémentaires utiles sont : P. Gochet et P. Gribomont, Logique (volume 1), Hermès, Paris, 1991 (3e éd. 1998). W.V.O. Quine, Méthodes de logique, trad. M. Clavelin, Armand Colin, Paris, 1973. H.C.M. de Swart, Logic (vol. 1 et 2), Peter Lang, Frankfurt, 1993. I.M. Copi et C. Cohen, Introduction to logic, Prentice-Hall, 1994 (10e éd. 1998). | |||||||||||
| ||||||||||||
| Evaluation : | Un examen oral en fin d'année. | |||||||||||
| ||||||||||||
| Contacts : | Pascal Gribomont Institut Montefiore, bâtiment B28 - Sart Tilman Tél. 04 366 26 67 E-mail: Pascal.Gribomont@ulg.ac.be | |||||||||||
| ||||||||||||
ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 28/02/2006
Réalisation SEGI