Suchergebnisse

1. Informatik und Recht -- 1.1. Untersuchungsansatz -- 1.2. Objektivierung und Entfremdung -- 1.3. Ansätze zu einer Theorie der Formalisierung -- 2. Formale Methoden im Recht — Bestandsaufnahme -- 2.1. Formalisierung juristischer Entscheidungen -- 2.2. Formale Methoden als Grundlage von Datenverarbeitung im Recht -- 2.3. Grundsätzliche Probleme bei der Formalisierung im Recht -- 3. Beispiel: Formalisierung der gesetzlichen Erbfolgeregelung — Vergleichende Betrachtung von Formalisierungsinstrumenten -- 3.1. Ein graphentheoretischer Formalisierungsansatz -- 3.2. Die Formalisierung der Vorschriften der gesetzlichen Erbfolge durch Anwendung der Entscheidungstabellentechnik -- 3.3. Diskussion und Vergleich der Formalisierungsansätze -- 4. Beziehungen zu Konzepten der Rechtstheorie -- 5. Vergleich formaler Methoden im Recht -- 5.1. Klassifizierung der Formalisierungsmethoden -- 5.2. Kriterienkatalog für den Vergleich formaler Methoden im Recht anhand der Bedeutungsdimensionen "Formalisierung rechtlicher Regelungen", "Formalisierung von Arbeit" und "Formalisierung der Bürger-VerwaltungKommunikation" -- 5.3. Tabellarische Obersicht über die Ergebnisse des Vergleichs der behandelten formalen Methoden im Recht -- 6. Auswirkungen der Formalisierung -- 6.1. Auswirkungen der Formalisierung und Automatisierung am Beispiel der Steuerverwaltung -- 6.2. Thesen zu den Auswirkungen der Formalisierung -- 7. Literaturverzeichnis.

Vielleicht gibt es irgendwann Wanderungsbewegungen in den Weltraum. Je später die zukünftigen Generationen leben, umso geringer ist unser Wissen um ihre Lebenssituation, ihre Möglichkeiten und ihre daran wohl angepassten Interessen. Die zentrale moralische Rücksicht auf die Interessen der Betroffenen bleibt also mit Bezug auf zukünftige Generationen wenn nicht unbestimmt, so doch unterbestimmt.