Johannes Baagoe a écrit :

Le plus souvent oui, parce que les règles de déduction sont le plus
souvent implicites et que la logique classique est en quelque sorte
l'option par défaut. À vue de nez, c'est elle qui est appliquée par
les tribunaux quand il s'agit de déduire une décision des lois, mais
je ne vois pas immédiatement de cas où ça ferait une différence
si l'on appliquait, disons, une logique de Heyting ou d'Asenjo.

Le doute profite à l'accusé.
Un juré donnent son intime conviction.


--
Que l'homme s'aime c'est peu dire
Mais c'est là mon pauvre labeur
Je le dis à vos poêles à frire
Moi le petit soldat de beurre
Que l'homme s'aime c'est ne dire
Qu'une parole rebattue
Et sur ma dérisoire lyre
Voyez, déjà, elle s'est tue