Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplirenpage de discussion.
Unpolysyllogisme (aussi appelé syllogisme multi-prémisse, sorite, ou gradatio) est une chaîne d'un nombre quelconque de propositions formant ensemble une séquence de syllogismes tels que la conclusion de chaque syllogisme est une prémisse pour le syllogisme suivant, et ainsi de suite. Chaque syllogisme constituant cette chaîne est appelé prosyllogisme, sauf le dernier, nommé épisyllogisme dont la conclusion n'est pas une prémisse pour un autre syllogisme.
Un exemple de polysyllogisme est le suivant:
L'étude de la structure de l'argument révèle la séquence des (pro)syllogismes suivant:
Unsorite est un type spécifique de polysyllogisme dans lequel le prédicat de chaque proposition fait l'objet de la prémisse suivante. Exemple:
Le mot "sorite" /sɒˈraɪtiːz/ vient du grec ancien: σωρίτης: σωρίτης, "empilés", de σωρός "amas" ou "pile". En d'autres termes, un sorite est un amas de propositions enchaînées ensemble. Un polysyllogisme de sorite ne doit pas être confondu avec le paradoxe sorite.
Lewis Carroll utilise les sorites dans son livre Symbolic Logic (1896). Voici un exemple[1]:
L'exemple de Carroll peut être traduit ainsi