Gabbay: New Logics qua Labelled Deductive System

Paul Natterer

2002
2 Seiten
Sprache: Deutsch
Reihe: Aufsätze zur Logik und Wissenschaftstheorie
Ausgabe: PDF-Datei
Format: DIN A4

Datenübertragung:

Gabbay: New Logics qua Labelled Deductive System

Artikelbeschreibung

Die nachklassische [intensionale/modale] formalisierte Logik und auch die Kognitionswissenschaft (als technisches Pendant der logischen Theorie der Kognition) beabsichtigt die logische Analyse und Einbeziehung aller Leistungen und Gegenstandsbereiche der Kognition in einem universellen Formalismus.

Gabbay/Hogger/Robinson (Handbook of Logic in Artificial Intelligence and Logic Programming, 4 Bde., 2. Aufl. Oxford 1996) belegen die Anstrengungen der sich der genannten Herausforderung stellenden Logik und Kognitionswissenschaft durch Schwerpunktbildung auf der „formal analysis of human behaviour and environment“, welche einen kombinierten „declarative-deductive approach“ fordere. Das bedeutet: neben bzw. besser: vor die deduktive Konsequenzlogik bestehend aus (a) formaler rekursiver Grammatik und (b) mathematisch idealisierten Deduktionsregeln, tritt die logische Bewältigung der von Ersterer stillschweigend vorausgesetzten und unreflektiert aus Wahrnehmung und Sprache übernommenen (c) Abduktion und Induktion der Datenbasis und deren Speicherung und Strukturierung in der (d) Wissensrepräsentation.

Die nachklassische logische Grundlagenforschung der Gegenwart arbeitet somit genau an der Formalisierung von Intentionen und Intensionen in logischen Datenbasen (logical databases), d.h. komplexen, strukturierten Aggregaten von grammatisch wohlgeformten deskriptiven Formeln (declarative units) mit entsprechenden Formationsregeln (knowledge representation formalisms). Dazu tritt die dementsprechende Ausweitung und Differenzierung der konsequenzlogischen Transformationsregeln, sowie die Ausarbeitung von semantischen Entscheidungs- bzw. ableitungssyntaktischen Verfahren für eine entsprechend leistungsfähige Beweistheorie. Vgl. Gabbay / Hogger / Robinson (1996), insbesondere Bd. I, V–VII; 14–21 und Boolos / Burgess / Jeffrey: Computability and Logic, 5. Aufl. Cambridge 2007.

Gabbay: What is a Logical System? In: Gabbay, D. M. (ed.) What is a Logical System?, Oxford 1994, 179–216) formuliert unter dem Namen Labelled Deductive System (LDS) einen allgemeinen Rahmen für das Programm der Neuen Logik (New Logics). Eine jüngste Darstellung ist Gabbay: Sampling Labelled deductive systems. In: Jacquette / Gabbay et al. (eds.): Philosophy of Logic, Amsterdam 2007, 742-770. Hier mehr zu LDS.