Contributions

Iudex non calculat?

Synthese von Recht und Mathematik: Analyse juristischer Argumentation durch Mengenlehre und Boolesche Operatoren

Adrian König

Roman Wixinger

Cornelia Stengel

Proposition de citation: Adrian König / Roman Wixinger / Cornelia Stengel, Iudex non calculat?, in : Jusletter 9 septembre 2024

La présente contribution examine comment des concepts mathématiques, en particulier la théorie des ensembles et les opérateurs booléens, peuvent être utilisés pour analyser des textes juridiques. L'approche interdisciplinaire présentée a le potentiel de rendre des argumentations juridiques complexes compréhensibles et lisibles par des machines. Avec l'importance croissante des formes les plus diverses de ce que l'on appelle l'« intelligence artificielle », les domaines d'application des méthodes d'analyse de la cohérence logique des chaînes d'argumentation devraient également augmenter. (xf)

Table des matières

1. Einleitung
2. Grundlagen
- 2.1. Mengenlehre, Boolesche Algebra und Logik
- 2.2. Methodik und Vorgehensweise
  - 2.2.1. Variablen
  - 2.2.2. Operatoren
    - a) Implikation (⇒)
    - b) Wenn und nur wenn (⟺)
    - c) Und (˄)
    - d) Entweder-oder (∨)
    - e) Nicht (⌐)
    - f) Universalquantor (∀)
    - g) Existenzquantor (∃)
    - h) Teilmenge (⊆)
    - i) Vereinigung (∪)
    - j) Schnittmenge (∩)
    - k) Leere Menge (∅)
    - l) Implikation (→)
  - 2.2.3. Präzedenz
  - 2.2.4. Äquivalenz von Boolescher Logik und Mengenlehre
- 2.3. Zwischenfazit
3. Rechtswissenschaftliches Anwendungsbeispiel
- 3.1. Vermögenswerte
- 3.2. Digitale Vermögenswerte
- 3.3. Token
- 3.4. Überprüfung, Beweisführung und Erweiterung
- 3.5. Zwischenfazit
4. Schlussdiskussion und Fazit