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 absurdes.

Exemple : dCode est un site web. (Prémisse vrai)
OR, Tous les sites web sont géniaux. (sic, prémisse faux)
DONC, dCode est génial ! (conclusion vraie)

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).

Il n'y a qu'une seule conclusion logique pour tout couple de prémisse donné. Indiquer les 2 prémisses sur dCode, et comparer la conclusion.

Les syllogismes sont utilisés pour les raisonnements logiques et par voie de conséquence, ils sont beaucoup utilisés pour les tests de recrutement, les concours d'entrée, par exemple en droit, en médecine etc.

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 !