This paper analyses some current jurisprudential and conceptual issues in evidence and procedure from the perspective of a computational legal theory. It introduces a specific investigative device, Trojans operated by police during crime investigation, and analyses whether current formal approaches to legal reasoning can be modified in such a way that the software code underlying this device can represent the relevant legal constraints that should govern its operation. We will argue that traditional formalist theories of legal reasoning are typically restricted to reasoning within a system, and incapable therefore of making the notion of “legal system” sufficiently explicit. We discuss possibilities to expand on these approaches and identify the necessary elements of a computational theory of legal reasoning in an age of porous borders.Resumen:En este ensayo se analizan algunos tópicos conceptuales y filosóficos de actualidad sobre el procedimiento y las pruebas desde la óptica de una teoría del derecho computacional. En él se presenta un mecanismo específico de investigación, relativo a los “troyanos” operados por la policía durante la investigación de delitos, y analiza si los enfoques formales contemporáneos sobre el razonamiento jurídico pueden ser modificados de tal modo que el código de sofware que subyace a este mecanismo puede representar las limitaciones jurídicas relevantes que deberían regir su operación. Los autores sostienen que las teorías formalistas tradicionales del razonamiento jurídico se limitan por lo general al razonamiento dentro de un sistema y, por lo tanto, son incapaces de hacer la noción de “sistema jurídico” suficientemente explícita. Asimismo, se discuten las posibilidades de ampliar estos enfoques e identificar los elementos necesarios de una teoría computacional del razonamiento jurídico en una era de fronteras porosas.En este ensayo se analizan algunos tópicos conceptuales y filosóficos de actualidad sobre el procedimiento y las pruebas desde la óptica de una teoría del derecho computacional. En él se presenta un mecanismo específico de investigación, relativo a los “troyanos” operados por la policía durante la investigación de delitos, y analiza si los enfoques formales contemporáneos sobre el razonamiento jurídico pueden ser modificados de tal modo que el código de sofware que subyace a este mecanismo puede representar las limitaciones jurídicas relevantes que deberían regir su operación. Los autores sostienen que las teorías formalistas tradicionales del razonamiento jurídico se limitan por lo general al razonamiento dentro de un sistema y, por lo tanto, son incapaces de hacer la noción de “sistema jurídico” suficientemente explícita. Asimismo, se discuten las posibilidades de ampliar estos enfoques e identificar los elementos necesarios de una teoría computacional del razonamiento jurídico en una era de fronteras porosas.Abstract:This paper analyses some current jurisprudential and conceptual issues in evidence and procedure from the perspective of a computational legal theory. It introduces a specific investigative device, Trojans operated by police during crime investigation, and analyses whether current formal approaches to legal reasoning can be modified in such a way that the software code underlying this device can represent the relevant legal constraints that should govern its operation. We will argue that traditional formalist theories of legal reasoning are typically restricted to reasoning within a system, and incapable therefore of making the notion of “legal system” sufficiently explicit. We discuss possibilities to expand on these approaches and identify the necessary elements of a computational theory of legal reasoning in an age of porous borders.

Instituto de Investigaciones Jurídicas de la UNAM