Este documento presenta un taller sobre el control de la lógica en el razonamiento judicial. Explica conceptos como los principios lógicos de contradicción y razón suficiente, y cómo estos principios deben aplicarse para garantizar que el razonamiento del juez sea coherente y esté fundamentado. También analiza cómo la lógica formal se relaciona con la lógica jurídica y cómo el razonamiento práctico en el derecho puede volverse entimemático. El documento provee varios ejemplos para ilustrar estos conceptos