Johannes Baagoe :

À vue de nez, c'est [la logique classique] 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.

Nabztag/tag. Aussi futé qu'un âne a liste. :

Le doute profite à l'accusé.

Un juré donnent son intime conviction.

La justice ne se réduit pas au pénal, et encore moins aux assises.

Selon quels principes va-t-on décider le sort du petit Mohamed trouvé
seul à Marseille et qui fit les gros titres en août, à présent
qu'un test ADN a montré que l'Algérienne résidant légalement en
France qui se prétendait sa mère ne l'est pas ?

Je parle de choses concrètes, de décisions pouvant faire le malheur
des gens sinon leur bonheur, et qui, au-delà, engagent notre avenir en
le tournant vers un but plutôt qu'un autre.

--
Johannes
L'idée que toutes les idées se valent en vaut bien une autre,
mais laquelle ?