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

PHIL 1423
Introduction à la logique

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

Mise à jour du 29 janvier 2002.

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

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

L'exercice n^o 5 soumis - possibilité de reprise lundi pour les questions 1 à 3; vendredi pour la suite des questions (4 à 8 portant sur la notion de validité).
La notion de garantie. Comparaison avec une garantie de voiture.

La notion d'énoncé vérifonctionnel.
Il s'agit d'un énoncé dont la vérité ou la fausseté est une fonction de la vérité et de la fausseté des propositions simples dont il est composé. Exemple : P est un énoncé vérifonctionnel, puisque sa vérité ou fausseté est déterminée par la vérité ou la fausseté de P. Voir le tableau suivant :

Reprenant des exemples de la séance précédente, nous voyons que P&Q et PQ sont également des énoncés vérifonctionnels. La vérité ou la fausseté de P&Q et de PQ sont connues, dès que la vérité ou la fausseté de P et de Q est connue.

Il faut bien distinguer entre le sens des foncteurs (, &, , etc.) et le sens des mots du langage naturel qu'il peuvent traduire («il est faux de dire que», «et», «ou», etc.).

Le sens des foncteurs est précis, fixe et bien défini.
Le mot «et», par contre (à titre d'exemple), peut servir à exprimer plusieurs relations bien différentes, comme nous allons voir lors des séances suivantes.

classique

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

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