UNIL
Vous êtes ici: UNIL > L'enseignement > Fiche de cours
Français | English   Imprimer   

Fiche de cours

Cours de logique - Introduction à la logique I

Faculté de gestion: Faculté des lettres

Responsable(s): Jacques Duparc
Intervenant(s): -

Période de validité: 2012 -> 2012

Pas d'horaire défini.

Cours

Semestre d'automne
2 heures par semaine
56 heures par semestre

Langue(s) d'enseignement: français
Public: Non
Crédits: 0
Polycopiés: Oui - http://www2.unil.ch/logique/enseignement.html

Objectif

La logique est très souvent présentée comme l'art de bien raisonner. C'est la discipline de la déduction, des démonstrations rigoureuses, de la mécanique des preuves. Mais c'est également le lieu des interprétations, de la signification des énoncés, celui des modèles ou mondes possibles. C'est au coeur de cet écart entre syntaxe et sémantique (semblable à celui entre le signifiant et le signifié des linguistes) que se situera ce cours.

Contenu

Après quelques rudiments ensemblistes, introduction à la logique, cheminant du calcul propositionnel vers la logique modale et la logique des prédicats.

Bibliographie

[1] Robert Blanché. Introduction à la logique contemporaine. Armand Colin, 1997.
[2] André Delessert. Introduction à la logique. Presses polytechniques romandes, 1988.
[3] A. Olza G. Haury, R. Lang. Eléements de logique. Lausanne : Spes ; Paris : Dunod, 1973. 135 p. ; 21 cm.
[4] Jean-Blaise Grize. Logique moderne. Paris : Mouton/Gauthier-Villars, 1969-1973. 2 volumes.
[5] Jean Leroux. Introduction à la logique. [Paris] : Diderot, Bibliothèque des sciences, 1998. VI,
344 p. : fig. ; 24 cm.
[6] Howard Kahane Paul Tidman. Logic and philosophy : a modern introduction. Belmont CA :
Wadsworth Thomson Learning, cop., 2003. X, 532 p. : ill. ; 25 cm.
[7] Franois Rivenc. Introduction àla logique. Payot, 2003.
[8] Denis Vernant. Introduction à la logique standard : calcul des propositions, des prédicats et des relations. Paris : Flammarion, 2001. 447 p. ; 18 cm.
[9] Julian Baggini Peter Fosl, Peter S. Fosl The Philosophers Toolkit: A Compendium of Philosophical Concepts and Methods. Blackwell Publishers (2002)
[10] James W. Garson , Quantified Modal Logic for Philosophers. Cambridge University Press (2006)
[11] Graham Priest, An Introduction to Non-Classical Logic: From If to Is Cambridge University Press (2008)
[12] Hartry Field, Saving Truth from Paradox. Oxford University Press (2008)

Informations supplémentaires

http://www.hec.unil.ch/logique/enseignement/

Unicentre - CH-1015 Lausanne - Suisse
Tél. +41 21 692 11 11
Canton de Vaud
Swiss University