PHIL 1423
Introduction à la logique

 Documentation complémentaire et points saillants des séances
(septembre à décembre 2002)


 
 
 

Avis concernant l'usage de ces résumés
  • Ces résumés sont fournis pour aider l'étudiant/e à structurer ses propres notes personnelles. 
  • L'étudiant/e est responsable du contenu des résumés des séances publiés ici.
  • L'étudiant/e est également responsable de toute matière additionnelle abordée dans les séances du cours, mais ne figurant pas dans les résumés publiés ici.
 

 
Ce cours est donné par James Crombie, Ph.D., professeur agrégé de philosophie au Départementdes Sciences humaines de l'Université Sainte-Anne. Pour voir la page d'accueil du cours, cliquer ici.

 
Séance du vendredi 6 septembre 2002 : Introduction au cours, les différentes sortes de raisonnement, la déduction.
Séance du mardi 10 septembre 2002 : Révision de la séance précédente, la déduction, le syllogisme, les propositions catégoriques, les diagrammes de Venn et les équations et inéquations de Boole.
Séance du vendredi 13 septembre 2002 : Les propositions catégoriques et les diagrammes de Venn

Séance du mardi 17 septembre 2002  : Le carré logique.  Contradictoires, contraires, sous-contraires et subalternes.  Le présupposé d'existence.  Diagrammes de Venn à trois cercles (début).

Séance du vendredi 20 septembre 2002: Définition du syllogisme.  Vocabulaire de la syllogistique (petit terme, grand terme, moyen terme, etc.)

Séance du mardi 24 septembre 2002 : La validité déductive.  Révision de la syllogistique.

Lecture supplémentaire sur la notion de validité déductive.

Séance du vendredi 27 septembre 2002: Révision. Introduction à la logique des propositions, Les tables de vérité.

Lecture supplémentaire sur la notion de validité déductive.

Séance du mardi 1er octobre 2002: Séance du vendredi 4 octobre 2002: Séance du mardi 8 octobre 2002: Séance du vendredi 11 octobre 2002: Les seize fonctions de vérités à deux variables, traductions des énoncés symboliques en français et du français vers les énoncés symboliques. Évaluation de raisonnements.  La méthode des tables de vérité. La méthode abrégée des tables de vérité.

La méthode ramifiée de Smullyan.

Equivalences utiles pour l'application de la méthode de Smullyan

Indications supplémentaires sur les traductions.

Séance du mardi 15 octobre 2002: Remplacé par la séance du lendemain.
Séance du vendredi 18 octobre 2002 : Étude de l'Avis sur l'examen de mi-session.
Il n'y a pas de séance le mardi 22 octobre 2002 (semaine d'étude)
Il n'y a pas de séance le vendredi 25 octobre 2002 (semaine d'étude)
Séance du mardi 29 octobre 2002 : Questions et révision.
Séance du vendredi 1er novembre 2002 : Examen de mi-session.

Séance du mardi 5 novembre 2002

Séance du vendredi 8 novembre 2002

Séance du mardi 12 novembre 2002
Séance du vendredi 15 novembre 2002

Séance du mardi 19 novembre 2002

Séance du vendredi 22 novembre 2002
Séance du mardi 26 novembre 2002
Séance du vendredi 29 novembre 2002
Séance du mardi 3 décembre 2002
Séance du vendredi 6 décembre 2002 Révision du trimestre et étude de l'Avis sur l'examen de mi-session.
 
Examen

  
  • Durée : jusqu'à 3 heures.
  • Date encore à déterminer au moment de la dernière mise à jour de cette page.
  • Au gymnase.
    		•
    Pour voir la page d'accueil du cours, cliquer ici.