Programme des cours 2015-2016
| PHIL0043-1 | |||||||||||||||||
| Logique II | |||||||||||||||||
|
Durée :
|
|||||||||||||||||
| 30h Th | |||||||||||||||||
|
Nombre de crédits :
|
|||||||||||||||||
|
|||||||||||||||||
|
Nom du professeur :
|
|||||||||||||||||
| Pascal Gribomont | |||||||||||||||||
|
Langue(s) du cours :
|
|||||||||||||||||
| Langue française | |||||||||||||||||
|
Organisation et évaluation :
|
|||||||||||||||||
| Enseignement au deuxième quadrimestre | |||||||||||||||||
|
Unités d'enseignement prérequises et corequises :
|
|||||||||||||||||
| Les unités prérequises ou corequises sont présentées au sein de chaque programme | |||||||||||||||||
|
Contenus du cours :
|
|||||||||||||||||
| 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. Evolution: de la théorie ancienne du syllogisme au calcul des prédicats monadiques. |
|||||||||||||||||
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
|||||||||||||||||
| - Assimilation active des concepts essentiels de la logique;
- Usage de la logique pour la clarification des arguments; - Etude et pratique du raisonnement mathématique, résolution de problèmes. |
|||||||||||||||||
|
Savoirs et compétences prérequis :
|
|||||||||||||||||
| PHIL0042-1 Logique I | |||||||||||||||||
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
|||||||||||||||||
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
|||||||||||||||||
| 2nd quadrimestre, le mercredi à 9h00 (B28, local R21). | |||||||||||||||||
|
Lectures recommandées ou obligatoires et notes de cours :
|
|||||||||||||||||
| Un syllabus de 150 pages est mis à la disposition des étudiants. Des références complémentaires utiles sont : L. Bouquiaux et B. Leclercq, Logique formelle et argumentation, Bruxelles, De Boeck, 2009. 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). |
|||||||||||||||||
|
Modalités d'évaluation et critères :
|
|||||||||||||||||
| Un examen oral. | |||||||||||||||||
|
Stage(s) :
|
|||||||||||||||||
|
Remarques organisationnelles :
|
|||||||||||||||||
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html | |||||||||||||||||
|
Contacts :
|
|||||||||||||||||
| Pascal Gribomont Institut Montefiore, bâtiment B28 - Sart Tilman E-mail: Pascal.Gribomont@ulg.ac.be | |||||||||||||||||