Le rôle de la logique formelle dans le raisonnement judiciaire

Au cours des années 1990, en Ontario, au moins quatorze individus furent accusés et déclarés responsables de la mort d’un enfant qui, au moment du décès, était seul en compagnie de l’inculpé. Plusieurs de ces condamnés furent acquittés à la suite de la découverte d’erreurs commises par le pathologiste médicolégal, tant durant l’autopsie qu’au cours de ses témoignages. Pourtant, il n’était pas le seul à en porter la responsabilité. Les erreurs judiciaires survenues lors de ces procès auraient-elles pu être atténuées par l’application de logique formelle au raisonnement judiciaire ? L’analyse qui suit comprend l’élucidation des erreurs, l’étude de théories de logique et du raisonnement, ainsi qu’un survol de la logique symbolique. L’aide-mémoire ainsi conçu représente un recours possible dans le but de rehausser le raisonnement judiciaire. La symbiose entre la logique et le raisonnement judiciaire s’avère possible, malgré l’écart entre les domaines de la science et du droit