Iudex non calculat? - Synthese von Recht und Mathematik
Der vorliegende Beitrag untersucht, wie mathematische Konzepte, insbesondere Mengenlehre und Boolesche Operatoren, zur Analyse juristischer Texte eingesetzt werden können. Der vorgestellte interdisziplinäre Ansatz hat das Potential, komplexe juristische Argumentationen nachvollzieh- und maschinenlesbar zu machen. Mit der Zunahme der Bedeutung verschiedenster Formen sogenannter «künstlicher Intelligenz» dürften auch die Anwendungsbereiche für Methoden zur Analyse der logischen Stimmigkeit von Argumentationsketten zunehmen.