Par l'intermédiaire d'un exemple, mon prof de logique nous demande de montrer les limites de la logique propositionnelle, et par conséquent, l'intérêt de la logique des prédicats.
L'exemple est le suivant :
Tous les Hommes sont mortels.
Socrate est un Homme.
Donc Socrate est mortel.
Et la question est la suivante : "Montrer que la validité de cet exemple ne relève pas de la logique traditionnelle, c'est-à-dire qu'il ne peut pas être "capturé" par cette logique."
Et je voulais répondre que premièrement la logique propositionnelle ne permet pas de différencier les individus de leurs propriétés, autrement dit qu'elle ne permet pas ici de traduire "Hommes" et "Socrate" pour ce qui est des individus et "mortels" pour ce qui est des prédicats. (Alors qu'à l'inverse, la logique des prédicats par l'introduction de termes, de constantes d'individus et de prédicats permet de traduire tout ça)
Et deuxièmement, que la logique propositionnelle ne dispose pas de quantificateur pour traduire "tous".
Qu'en pensez vous ?
Merci d'avance !
