Séance du 15 janvier 2002 - PHIL 1423 : Introduction à la logique

PHIL 1423
Introduction à la logique

Points saillants de la séance du mardi 15 janvier 2002

Mise à jour du15 janvier 2002.

Pour retourner à la liste des séances, cliquer ici.

Pour retourner à la page d'accueil du cours, cliquer ici.

Compte tenu du fait que de nouveaux membres se sont ajoutés à la classe, cet exercice est à soumettre vendredi.
Quelques suggestions pour la traduction d'énoncés du langage naturel en propositions catégoriques sont fournies. Pour y avoir accès, cliquer ICI

Nous avons revu, en plus de détails, le carré logique (qu'on appelle aussi carré des oppositions). Pour se documenter davantage, cliquer ICI.

Les contradictoires sont des paires de propositions qui sont la négation l'une de l'autre.

C'est-à-dire qu'elles sont telles qu'en en niant l'une on obtient l'autre et en en niant l'autre on obtient la première.

Les contraires sont des propositions qui ne peuvent pas être vraies en même temps.
Les sous-contraires (ou subcontraires) sont des propositions qui ne peuvent pas être fausses en même temps.
On dit que Isp et Osp sont les subalternes de Asp et Esp, respectivement.

C'est la règle selon laquelle les termes employés comme sujet et prédicat des propositions catégoriques ne doivent pas correspondre à des ensembles vides.
En d'autres mots, si l'on parle de x, il faut qu'il existe des x. (Le terme, cela doit servir à parler de «quelque chose» -- et pas de rien!
Sans le présupposé d'existence, nous perdons dans le carré logique, les contraires, les sous-contraires et la relation de subalterne entre les propositions de type A et I et entre les propositions E et O. Les contradictoires demeurent, avec et sans le présupposé d'existence.
Le présupposé d'existence s'appelle «existential import» en anglais.

Nous avons commencé la présentation de l'usage simultané de trois cercles dans un diagramme de Venn. Possibilité de quatre cercles??

Pour retourner à la liste des séances, cliquer ici.

Pour retourner à la page d'accueil du cours, cliquer ici.