Jusletter IT

Der Tammelo-Klinger-Baumkalkül

  • Author: Diogo Campos Sasdelli
  • Category of articles: AI & Law
  • Field of law: AI & Law
  • Collection: Conference proceedings IRIS 2023
  • DOI: 10.38023/3dcaeded-05bf-4276-9610-f06ab784aa11
  • Citation: Diogo Campos Sasdelli, Der Tammelo-Klinger-Baumkalkül, in: Jusletter IT 30 March 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

No comments

There are no comments yet

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.