Jean-Luc Gautero

 

Conscients de la difficulté des concepts qu'ils (elles) manient, les étudiant(e)s en philosophie apprennent en général assez vite à faire attention à ceux-ci. Mais philosopher, ce n'est pas seulement asséner sans discussion des affirmations concernant ces concepts, ou leurs liens avec la vie quotidienne, c'est aussi (et surtout) enchaîner ces affirmations entre elles dans le cadre d'une argumentation. Or les enchaînements se font à l'aide de connecteurs logiques («non», «et», «ou», «si... alors», «si et seulement si»), ou d'autres termes s'y ramenant, dont la simplicité apparente est bien souvent cause d'ambiguïté ou d'erreur. On se penchera dans ce cours sur ces connecteurs, en essayant de montrer comment la formalisation peut être un moyen de clarification d'énoncés à la structure complexe.

Les enregistrements de ce cours seront disponibles sur le bureau virtuel et sur iTunes Université.

BIBLIOGRAPHIE

Aucun livre ne couvre exclusivement le programme ; en outre, l'important est la pratique, qui s'acquiert en assistant aux cours, et surtout en faisant les exercices proposés.
Pour ceux qui tiennent absolument à acheter des livres, je donnerai cependant un titre, celui qui me paraît le meilleur, parce qu'il est à la fois très complet et bon marché :
Vernant : Introduction à la logique standard, Flammarion, Champs Universités, 2001.
Il propose malheureusement peu d'exercices simples, et de bons étudiants qui l'ont lu m'ont dit l'avoir trouvé assez difficile.

NOTATION

(sous réserve de décision contraire du CEVU,

qui aime bien empêcher les enseignants de faire leur travail de la façon qui leur semble la meilleure)

Le calendrier rend difficile de donner à faire plusieurs longs devoirs pendant le semestre. Les étudiant(e)s auront donc chaque semaine, ou presque, soit à rendre des exercices proposés la semaine précédente, soit à faire un petit devoir sur table (une demi-heure au plus). À partir des meilleures des notes ainsi obtenues, ils (elles) auront une note de contrôle continu sur 20.