PHIL 1423
Introduction à la logique

Révision de la séance précédente et distribution de pages imprimées concernant les traductions.

Retour sur le défi des « chevaliers et brigands » de Smullyan.  Deux des exemples ont été solutionnés en classe.

La partie alpha des Graphes existentiels : comment les règles de transformation incarnent une certaine définition de la notion de «raisonnement valide» : elles permettent de transformer les prémisses sans jamais introduire de la fausseté.

Révision de comment les tables de vérité permettent de détecter la validité et l'invalidité des raisonnements.  Il ne doit y avoir aucuneligne où les prémisses reçoivent toutes la valeur V et la conclusion F.  (La séance a même commencé par cette révision.)

On a également mentionné comment la méthode des diagrammes de Venn, employée pour les syllogismes, exprime ou incarne la définition de la notion de «raisonnement valide».