Jusletter IT

Der Tammelo-Klinger-Baumkalkül

  • Autor/Autorin: Diogo Campos Sasdelli
  • Beitragsart: AI & Recht
  • Rechtsgebiete: AI & Recht
  • Sammlung: Tagungsband IRIS 2023
  • DOI: 10.38023/3dcaeded-05bf-4276-9610-f06ab784aa11
  • Zitiervorschlag: Diogo Campos Sasdelli, Der Tammelo-Klinger-Baumkalkül, in: Jusletter IT 30. März 2023
Die sog. Gegenformelmethode (GFM) ist ein von I. Tammelo und R. Klinger am Ende der 1960er Jahre entwickeltes syntaktisches Verfahren für Systeme der klassischen Logik. Dabei handelt es sich um einen „unverzweigten“ Baumkalkül, der den Entwicklern zufolge die praktischen Ansprüche des Rechtsdenkens erfüllen kann. Der Beitrag diskutiert die logischen bzw. rechtstheoretischen Vorteile der GFM sowie einige Aspekte ihrer Entstehungsgeschichte. Ein neuer Adäquatheitsbeweis für die GFM bzgl. der Aussagenlogik wird formuliert.

Inhaltsverzeichnis

  • 1. Einleitung
  • 2. Propädeutikum
  • 2.1. Łukasiewicz-Notation
  • 2.2. Klassische Aussagenlogik
  • 3. Logische Aspekte der GFM
  • 3.1. Aufbau der GFM
  • 3.2. Die GFM als Baumkalkül
  • 3.3. Ein neuer Adäquatheitsbeweis für die GFM
  • 3.3.1. Korrektheitsbeweis
  • 3.3.2. Vollständigkeitsbeweis
  • 4. Die GFM in der Rechtswissenschaft
  • Literatur

0 Kommentare

Es gibt noch keine Kommentare

Ihr Kommentar zu diesem Beitrag

AbonnentInnen dieser Zeitschrift können sich an der Diskussion beteiligen. Bitte loggen Sie sich ein, um Kommentare verfassen zu können.