PHIL 1423
Introduction à la logique

L'exercice n^o 2 a été reçu au début du cours, avec l'exercice n^o 1 pour les étudiant/e/s ne l'ayant pas déjà fait.  Merci.

• Le syllogisme catégorique
• Les définitions suivantes (non fournies ici) ont été indiqueées au tableau en classe.  Elles correspondent à celles qui sont données dans la documentation suggérée pour le cours, que l'on peut consulter en cliquant ICI.
• Définitions de concepts:
• petit terme -- définition telle que donnée en classe.
• grand terme -- définition telle que donnée en classe.
• moyen terme -- définition telle que donnée en classe.
• majeure (prémisse majeure) -- définition telle que donnée en classe.
• mineure (prémisse mineure) -- définition telle que donnée en classe.
• L'ordre conventionnelle des propositions dans un syllogisme
• majeure
• mineure
• conclusion
• Le « mode » de syllogisme auquel on a affaire est déterminé par le type de proposition catégorique dont sont composées, respectivement, la majeure, la mineure et la conclusion.  Si, par exemple, la majeure, la mineure et la conclusion sont de type A, le mode sera défini par les trois lettres AAA. Le mode EAE correspond à un syllogisme dont la majeure est une proposition de type E, la mineure une proposition de type A et la conclusion une proposition de type E.  Etc.  Puisqu'il y a 4 différents types de proposition, cela donne 64 modes: 4X4X4 = 64.
• Chaque mode se présente sous quatre figures différentes, selon la place du moyen terme dans les prémisses.  Voir le tableau suivant, indiquant l'ordre des termes (m, p, g) dans les prémisses (majeure et mineure) et dans la conclusion.  Les lettres p et g représentent le petit et le grand terme (sujet et prédicat de la conclusion) et la lettre m représente le moyen terme:

• La même information est donnée une deuxième fois (mais sous une forme différente) par le tableau suivant :

• Présentation de l'évalution de la validité d'un syllogisme par la méthode des diagrammes de Venn à trois cercles

• La méthode présentée en classe correspond à celle expliquée (en anglais) par Garth Kemerling dans un texte publié sur l'Internet intitulé « Categorical Syllogisms ».  Pour accéder à cette présentation, cliquer ici.

• Le professeur a mentionné qu'il existe une machine pour évaluer la validité des syllogismes qui est disponible par l'entremise de l'Internet et que l'on peut consulter en ligne.  Il s'agit du « Syllogism Evaluator » de Ron Blatt, mentionné par Kemerling.

• Pour utiliser le vérificateur des diagrammes de Venn de Ron Blatt, on utilise le bouton de gauche de la souris pour hachurer (biffer) et le bouton de droite pour ajouter des petites croix.  On modifie du côté du User's diagram; le corrigé apparaît du côté du Program's diagram.  (Précisons que les petites croix se présentent, dans le modèle de Blatt, sous la forme de x en italique, et qu'il s'agit de remplir les secteurs d'une couleur unie plutôt que de les hachurer.)

• Révision de l'exercice n^o 3
• Illustration de l'usage des diagrammes de Venn.
• Identification de la figure du syllogisme dans les exemples.
• Pour les étudiant/e/s présent/e/s en classe (tout le monde, en l'occurrence), cet exercice est considéré comme ayant été fait et soumis.  Note : «ok», selon l'explication de cette note qui a été donnée.

• Distribution de l'exercice n^o 4
• Cet exercice est à faire pour vendredi prochain.