Mathematische Logik in der Wissensverarbeitung Historisch-philosophische Gründe für eine Kontextuelle Logik

摘要

Die mathematische Logik ist eine innerhalb der Mathematik etablierte und ausgesprochen erfolgreiche Disziplin. Ihre Anwendung in der Wissensverarbeitung dagegen erweist sich als durchaus problematisch. Daher soll ein Ansatz vorgestellt werden, in welcher Form Logik in der Wissensverarbeitung fruchtbarer eingesetzt werden kann. Um diesen Ansatz zu begründen und zu erläutern, wird die historische Entwicklung der mathematischen Logik im Hinblick auf die zunehmende Verengung der Zielsetzungen untersucht, so dass sich das Anknüpfen an die traditionelle philosophische Logik als naheliegender Zugang für eine der Wissensverarbeitung gerecht werdenden Logik erweist.