Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung : (UFORED)
著者
書誌事項
Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung : (UFORED)
(Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 3180 : Fachgruppe Geisteswissenschaften)
Westdeutscher Verlag, 1984
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
目次
1. Informatik und Recht.- 1.1. Untersuchungsansatz.- 1.2. Objektivierung und Entfremdung.- 1.3. Ansatze zu einer Theorie der Formalisierung.- 1.3.1. Begriffe und Formalisierungsgebiete (Regelungen, Arbeit, Kommunikation).- 1.3.2. Der Prozess der Formalisierung und verwandte Begriffe.- 1.3.3. Ansatze zu einer Theorie der Formalisierung und des Informationstechnikeinsatzes in der oeffentlichen Verwaltung.- 2. Formale Methoden im Recht - Bestandsaufnahme.- 2.1. Formalisierung juristischer Entscheidungen.- 2.1.1. Syllogistik.- 2.1.2. Strukturierung juristischer Entscheidungen: Massenentscheidungen der Verwaltungsautomation.- 2.2. Formale Methoden als Grundlage von Datenverarbeitung im Recht.- 2.2.1. Logik.- 2.2.2. Mathematik.- 2.2.3. Informatik.- 2.3. Grundsatzliche 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 Formalisierungsansatze.- 4. Beziehungen zu Konzepten der Rechtstheorie.- 5. Vergleich formaler Methoden im Recht.- 5.1. Klassifizierung der Formalisierungsmethoden.- 5.2. Kriterienkatalog fur den Vergleich formaler Methoden im Recht anhand der Bedeutungsdimensionen "Formalisierung rechtlicher Regelungen", "Formalisierung von Arbeit" und "Formalisierung der Burger-VerwaltungKommunikation".- 5.3. Tabellarische Obersicht uber 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.1.1. Formalisierung der Verwaltungsarbeit.- 6.1.2. Auswirkungen der Formalisierung auf die Burger-Verwaltung-Kommunikation.- 6.2. Thesen zu den Auswirkungen der Formalisierung.- 6.2.1. Informationstechnik und Gesellschaft.- 6.2.2. Formalisierung und Entfremdung.- 7. Literaturverzeichnis.
「Nielsen BookData」 より