Die Formalisierung des Rechts

Das Recht reagiert nicht nur regulierend auf den digitalen Wandel, sondern ist selbst Gegenstand einer digitalen Transformation, nämlich in Gestalt von Legal Tech. Damit ist gemeint die digitale Realisierung juristischer Arbeit und juristischer Prozesse. Grundlegend hierfür ist zunächst die Formalisierung des Rechts, also die Abbildung rechtlicher Strukturen mit mathematischen Mitteln, insbesondere der Aussagenlogik und der Prädikatenlogik. Die hierbei anzutreffenden Herausforderungen richten den Blick auf neue und innovative Ansätze.