UNIL
le savoir vivant
You are here: UNIL > Programmes > Card-index course
Français | English   Print   

Card-index course

Cours de logique - Introduction à la logique I

Responsible Faculty: Faculty of Arts

Teacher(s): Jacques Duparc
Lecturer(s): -

Validity: 2011 -> 2011

No timetable defined.

Course

Autumn semester
2 hours per week
56 hours per semester

Teaching language(s): french
Public: No
Credits: 3.00
Course notes: Yes - http://www2.unil.ch/logique/enseignement.html

Content

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

Bibliography

[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)

Additional information

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

Use contextFaculty codeStatusCredits
Bachelor of Theology, second (2010 ->) ›› Methodological componentsOptional3.00
Bachelor of Theology, second (2010 ->) ›› PhilosophyOptional3.00
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses In Quantitative Methods - FCA/20-DB 08Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses In Quantitative Methods - FCA/20-DB 09Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCA/20-DB 04Optional
Formation complémentaire A pour la Maîtrise universitaire ès Lettres, Philosophi (2007 ->) ›› Preparation for the Study of Philosophy - FCA/01-DB 0111 01 021Compulsory
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 06Optional
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 07Optional
Formation complémentaire B pour la Maîtrise universitaire ès Lettres, Informatique et méthodes mathématiques (2007 ->) ›› External Courses in Quantitative Methods - FCB/20-DC 08Optional
Informatique et méthodes mathématiques, 2ème partie, DB (2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 08Optional
Informatique et méthodes mathématiques, 2ème partie, DB (2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 09Optional
Informatique et méthodes mathématiques, propédeutique, DB (2005 ->) ›› External Courses in Quantitative Methods - BA/20-DB 04Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Advanced Mathematical Methods - MA/20-SP 06Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 06Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 07Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 08Optional
Module offerts et options, 2ème partie (2005 ->) ›› External Courses in Quantitative Methods - BA/20-OP 05Optional
Philosophie, 2ème partie, DCI (2005 ->) ›› Preparation for the Study of Philosophy - BA/01-DC 0111 01 021Compulsory
Philosophie, propédeutique, DB (2005 ->) ›› Preparation for the Study of Philosophy - BA/01-DB 0111 01 021Compulsory
Pr MA Théologie (2005 ->) ›› Methodological componentsOptional3.00
Pr MA Théologie (2005 ->) ›› PhilosophyOptional3.00
Canton de Vaud
Swiss University
Unicentre  -  CH-1015 Lausanne  -  Suisse  -  Tél. +41 21 692 11 11  -  Fax  +41 21 692 26 15