de en
Jusletter IT
AI & Recht DOI: 10.38023/3dcaeded-05bf-4276-9610-f06ab784aa11

Der Tammelo-Klinger-Baumkalkül

Diogo Campos Sasdelli

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.

Table of contents

  • 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
Please log in to read the full text.
Register for Campus? More
Forgot password?
Login Poster
Top
More jobs Post jobs
Suter.Legal. AG
Anwältin / Anwalt mit Schwerpunkt [...] Suter.Legal. AG
Kanton St. Gallen (Amt für Handelsregister und Notariate - Amtsnotariat Wil)
Auditor*in (juristische*r Praktikant*[...] Kanton St. Gallen (Amt für [...]
Prof. Giger & Partner Rechtsanwälte
Rechtsanwältin / Rechtsanwalt Prof. Giger & Partner Rechtsanwälte
Kanton St. Gallen (Amt für Handelsregister und Notariate - Amtsnotariat St. Gallen)
Jurist*in als Abteilungsleiter*in [...] Kanton St. Gallen (Amt für [...]
Kanton St. Gallen (Arbeitslosenversicherung - Kantonale Amtsstelle KAST)
Fachexperte*in KAST (m/w/d) Kanton St. Gallen (Arbeitslosenversic[...]
Kaiser Simmen Cattin Partner
Rechtsanwalt / Rechtsanwältin 50-100% Kaiser Simmen Cattin Partner
Kanton St. Gallen (Amt für Handelsregister und Notariate - Amtsnotariat St. Gallen)
Auditor*in (juristische*r Praktikant*[...] Kanton St. Gallen (Amt für [...]
Bürgi Nägeli Rechtsanwälte
Rechtsanwältin / Rechtsanwalt 60-100% Bürgi Nägeli Rechtsanwälte
Gründler & Partner Rechtsanwälte
Anwalt / Anwältin 80–100% Gründler & Partner Rechtsanwälte
CMS (Zürich)
Rechtsanwältin / Rechtsanwalt 100% [...] CMS (Zürich)
Wenger Plattner
Rechtsanwältin / Rechtsanwalt mit [...] Wenger Plattner
Blum&Grob Rechtsanwälte AG
Steuerexpert*in oder Jurist*in mit [...] Blum&Grob Rechtsanwälte AG
Kanton St. Gallen (Versicherungsgericht)
Gerichtsschreiber*in Versicherungsger[...] Kanton St. Gallen (Versicherungsgericht)
MV Legal Partners Inc.
Rechtsanwältin / Rechtsanwalt 50-100% MV Legal Partners Inc.
MIOTTI_HUMBEL_BRUNNER AG
Rechtsanwältin / Rechtsanwalt 70-100% MIOTTI_HUMBEL_BRUNNER AG
Kanton St. Gallen (Staatsanwaltschaft - Kantonales Untersuchungsamt)
Juristische*r Mitarbeiter*in (m/w/d) Kanton St. Gallen (Staatsanwaltschaf[...]
Altenburger Ltd legal + tax
Erfahrene Steueranwältin oder Steueranwalt Altenburger Ltd legal + tax
Kanton St. Gallen (Amt für Handelsregister und Notariate - Amtsnotariat St. Gallen)
Amtsnotar*in und Fachperson [...] Kanton St. Gallen (Amt für [...]
SingleCase GmbH
Executive Sales – Legal Tech (Switzerland) SingleCase GmbH
Domenig & Partner Rechtsanwälte AG
Rechtsanwältin / Rechtsanwalt für [...] Domenig & Partner Rechtsanwälte AG
Domenig & Partner Rechtsanwälte AG
Career Start als Rechtsanwältin / [...] Domenig & Partner Rechtsanwälte AG
BGPartner AG (Bern)
Anwältin | Anwalt 80-100% BGPartner AG (Bern)
EMMENEGGER RECHTSANWÄLTE
Rechtsanwältin / Rechtsanwalt 60-100% EMMENEGGER RECHTSANWÄLTE
More events Post events
/dam/jcr:83f09d58-4a62-41b1-9c9c-02abeb440d40
12. Weblaw Forum LegalTech - AI für [...] Weblaw Academy
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Art & Law 2026
/dam/jcr:e5a71336-e322-478a-bc1e-ec7f5bf6021a/VUR_logo.svg
Tagung Naturgefahrenrecht im Klimawandel
/dam/jcr:3cfeaf44-6ba0-4ad8-8355-bcaf565349b5/universite_de_neuchatel.webp
Journée du CERT 2026: Algorithmes, [...]
/dam/jcr:83f09d58-4a62-41b1-9c9c-02abeb440d40
Online-Kurs: AI für die juristische [...] Weblaw Academy
/dam/jcr:d85df556-4302-43d6-aece-94d632ee9245/uni_li_logo.jpg
Intensivkurs „Strafrecht und [...]
/dam/jcr:2513d656-4f19-4079-ac7b-20994bb9e76e/uzh%20logo.webp
CAS Safety in Healthcare
/dam/jcr:8a7f3354-213a-43de-a59d-a7475e221373
Rechtssicher mit KI - Kompaktseminar [...] Begrenzte Plätze.
/dam/jcr:2e9579bd-bc09-4fea-a327-9cd7e3831be2/HSLU_Logo_DE_Schwarz.jpg
MAS Economic Crime Investigation
/dam/jcr:0ed7ae66-e1c1-4249-9dea-27540e12da8d/unisg.webp
St.Galler Arbeitsrechtstagung
/dam/jcr:c2a09a2e-ee26-4225-a6e7-2d9825723fad
CAS Compliance in Financial Services Institut für Rechtswissenschaft und [...]
/dam/jcr:d85df556-4302-43d6-aece-94d632ee9245/uni_li_logo.jpg
Executive Master of Laws (LL.M.) in [...]
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Das neue Investitionsprüfgesetz [...]
/dam/jcr:48e078d1-06c6-4c49-81c7-3704e8d9abf9/Uni_StGallen_irph_logo.webp
CAS Haftpflicht- und Versicherungsrec[...]
/dam/jcr:d85df556-4302-43d6-aece-94d632ee9245/uni_li_logo.jpg
Executive Master of Laws (LL.M.) im [...]
/dam/jcr:035facb2-bbcb-4286-8a34-0499af8dbf1a/uni_freiburg_logo_final.PNG
19. Schweizerischer Datenschutzrechts[...]
/dam/jcr:9e9ce6db-0f4a-45c0-bb41-6f9887b960a9/zhaw.webp
CAS AI Law and Legal Tech
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Praxis im Baurecht
/dam/jcr:d85df556-4302-43d6-aece-94d632ee9245/uni_li_logo.jpg
Executive Master of Laws (LL.M.) im [...]
/dam/jcr:db2bffcf-48e3-4984-af80-012f88784e26/Paulus_akademie.png
Tagung der Fachgruppe «Reform im [...]
/dam/jcr:2e9579bd-bc09-4fea-a327-9cd7e3831be2/HSLU_Logo_DE_Schwarz.jpg
MAS Information & Cyber Security
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Gutachten im Strafprozess
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Recht aktuell: Basler ZPO-Tag 2026
/dam/jcr:8a7f3354-213a-43de-a59d-a7475e221373
Rechtssicher mit KI - Kompaktsemina[...] Begrenzte Plätze.
/dam/jcr:274399e0-95f5-417e-8939-fe54d7fbfc49/Uni_Basel_Recht_aktuell_Neues_Logo.webp
Recht aktuell: 10. Basler Sozialversi[...]
/dam/jcr:2e9579bd-bc09-4fea-a327-9cd7e3831be2/HSLU_Logo_DE_Schwarz.jpg
CAS Data Protection & Technology