Welcher logischen Struktur folgt die juristische Fallprüfung? Kann man Recht rechnen? Wie viel Rechtsanwendung kann man Computern zutrauen und wo liegen ihre Grenzen?(3:17) Vorbemerkungen(7:30) Lernmaterialien(22:06) Subsumtion als Kern juristischer Arbeit(31:15) Beispiele automatischer Subsumtion aus der Rechtspraxis(38:46) Rechtsökonomische Perspektive(47:42) Die kurze Geschichte der Rechtsinformatik(51:46) Denken in Baumstrukturen(1:04:00) Wägen und Werten(1:09:42) Subsumtion als subjektive Konstruktion(1:16:01) Kriterien für die Automatisierbarkeit juristischer Subsumtion(1:24:57) Alternativen zur Subsumtionsautomation