Deduktion

Oberstes Leitziel ist die Konvergenz von Methoden in der Deduktion und, im Gefolge davon, von Deduktionssystemen. Als unmittelbares Teilziel hiervon soll in der verwirrenden Vielfalt von Logiken, Formalismen, Methoden, Strategien, Repräsentationsstrukturen und Implementierungstechniken durch eingehende Vergleiche eine gewisse Sichtung, Ordnung und Vereinheitlichung geschaffen werden, die tragfähig genug ist, um als Richtungsmarkierung und Orientierung zu dienen. Aus der Erkenntnis dieser Analysen soll auf eine möglichst adäquate universelle Deduktionsmethode für eine möglichst ausdrucksstarke Logik hingearbeitet werden, die als Integration der Detailmethoden zu verstehen ist. Ein weiteres gleichrangiges Teilziel ist die Fortentwicklung bewährter, aber noch nicht ausgereifter Methoden ebenso wie bislang noch weniger beachteter Ansätze, immer mit Blick auf das Leitziel.

Alle Nachrichten aus der Kategorie: Fachgebiete

Zurück zur Startseite

Kommentare (0)

Schreiben Sie einen Kommentar

Neueste Beiträge

Evolutionäre Ursprünge des Appetits

Kieler Forschungsteam zeigt am Beispiel des Süßwasserpolypen Hydra, wie schon Lebewesen mit sehr einfachen Nervensystemen die komplexe Koordination des Sättigungsgefühls und damit zusammenhängende Verhaltensweisen regulieren. Im Laufe der Evolution haben…

Österreichischer Minisatellit OPS-SAT verglüht nach erfolgreicher Mission

Viereinhalb Jahre lang fungierte der an der TU Graz gebaute Nanosatellit als fliegendes Labor im All, um missionskritische Software, Betriebskonzepte und neue Technologien zu erproben. Am 18. Dezember 2019 war…

Ein Pilz verwandelt Zellulose direkt in neuartige Plattformchemikalie

Ein neues Verfahren zur Massenproduktion von erythro- Isozitronensäure aus Abfällen könnte die Substanz zukünftig für die Industrie interessant machen. Der Pilz Talaromyces verruculosus kann die vom Markt bisher wenig beachtete…

Partner & Förderer