Syllogismes

Un syllogisme est, dans sa forme la plus réduite, un ensemble de 2 affirmations depuis lequelle une conclusion est déduite. Les deux affirmations s'appellent des prémisses : le premier prémisse (dit majeur) et le second prémisse (dit mineur). Un syllogisme s'écrit généralement en 3 lignes, la 3ème est déduite des deux premières.

Exemple : Tous les hommes sont mortels (affirmation 1 : prémisse majeur).
OR, Socrate est un homme (affirmation 2 : prémisse mineur)
DONC, Socrate est mortel. (conclusion)

Il existe une infinité de syllogismes, mais structurellement il n'existe que 24 types de syllogismes qui pouvant avoir une conclusion logique.

La conclusion est une conclusion purement logique. Si au moins une des 2 affirmations/prémisses est fausses, alors il est possible de déduire des choses complètement fausses, bien que parfaitement logiques. De même il est possible de déduire quelque chose de juste à partir de prémisses faux, incomplets ou absurde.

Exemple : dCode est un site web.
OR, Tous les sites web sont géniaux. (sic)
DONC, dCode est génial.

Pour qu'un syllogisme soit valide, il doit être constitué de 2 prémisses. Un prémisse étant lui-même constitué d'une quantité (Tout, Aucun, etc.), un sujet, d'un verbe (est / n'est pas) et d'un prédicat (un attribut du sujet). Les 2 prémisses doivent également avoir un sujet ou un prédicat pivot, c'est à dire qu'il doit faire partie des 2 prémisses.

Exemple : Aucun A n'est B. Tous les C sont des A. => Aucun C n'est B.

dCode ne sait pas gérer les pluriels ou variantes orthographiques. Veiller à bien inscrire les exactement mêmes mots pour l'élément pivot (idéalement une écriture au singulier).

Un paralogisme est un syllogisme invalide, qui conduit à une conclusion absurde à partir de prémisses qui semblent corrects mais en réalité faux. Le plus connu est le paradoxe du fromage à trous :

Exemple : Plus il y a de fromage, plus il y a de trous. Or plus il y a de trous, moins il y a de fromage. Donc plus il y a de fromage, moins il y a de fromage !