UNIL
le savoir vivant
You are here: UNIL > Programmes > Card-index course
Français | English   Print   
SELECT DISTINCT plhoraire.SchemaId as SchemaId, plschema.HDeb, plschema.MDeb, plschema.HFin, plschema.MFin, temps.jour, plschema.descriptionVa as description, plschema.sujetVa as sujet, codesml.Descrip FROM plschema, plhoraire, temps, semestre, codesml, plblocens be, pletape e WHERE plschema.EnstyId = 32618 AND plschema.AnAcad IN (2015,2015) AND plschema.schemaid = plhoraire.schemaid AND temps.journo = plhoraire.journo AND temps.sempos = semestre.sempos AND semestre.sempos IN (152,151) AND semestre.semanacad = plschema.anacad AND semestre.semesc = plhoraire.semesc AND plschema.ModexC = codesml.CodeId AND codesml.LanCode = 8 AND (plschema.SemesC IS NULL OR plschema.SemesC = plhoraire.SemesC) AND plschema.EnstyId = be.EnstyId AND be.BlocId = e.BlocId AND (plschema.EtapeId IS NULL OR plschema.EtapeId = e.EtapeId) ORDER BY temps.jour, plschema.HDeb, plschema.MDeb, plschema.HFin, plschema.MFin

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
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
(2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 09Optional
(2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 08Optional
(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 06 Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 08Optional
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
(2005 ->) ›› External Courses in Quantitative Methods - BA/20-OP 05Optional
(2005 ->) ›› Preparation for the Study of Philosophy - BA/01-DC 0111 01 021Compulsory
(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