Dieser Beitrag aus dem Tagungsband des Internationalen Rechtsinformatik Symposiums 2004 steht Ihnen hier zum Download zur Verfügung.
Formalisierung im Recht
Entwicklungen in der Zeit der Informationstechnik
Das Thema «Formalisierung im Recht» wird hier konzentriert auf Entwicklungen in der Zeit der Informationstechnik. Andere Entwicklungslinien werden genannt. Für die Zeit der IKT wird unterschieden zwischen Formalisierung im Rahmen allgemeiner IKT-Anwendungen im Recht und der speziellen Linie von «Artificial Intelligence and Law"». Die Bedeutung auch der allgemeineren Linie wird betont, eine engere Verbindung zwischen theoretischen und praktischen Bemühungen gefordert. Für "offene" Umgehungen wird die Wichtigkeit von Transparenz, Sicherheit und Verlässlichkeit von Systemen betont, auch als Anliegen für die Rechtsinformatik Es wird versucht, das Schlagwort «Transparenz» in einen interdisziplinären Kontext wissenschaftlicher Begriffsbildung einzubringen.