Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic (Q5939636)

The aim of the paper is to offer a proposal for the logical foundation of knowledge processing. In a historical digest the changing of the intension of logic from traditional philosophical logic to the present mathematical logic is described, the consequences for the understanding of logic are discussed. Mathematical logic is a very established and successful discipline within the framework of mathematics. Exactness and completeness are its goals, which are reached by formalization and calculus. The author gives reasons why mathematical logic is less suitable to support knowledge communication. In this case logic as the science of the forms of thinking in the sense of traditional logic, as the doctrine of concept, judgement and conclusion is more adequate for the intension of knowledge processing. The historical view leads to the result that contextual logic as presented by \textit{R. Wille} [in: A. Ursini et al. (eds.), Logic and algebra. Proc. Int. Conf. Pontignano, Italy, 1994, Marcel Dekker, New York, Lect. Notes Pure Appl. Math. 180, 267-281 (1996; Zbl 0907.03007)] fulfills the requirements of knowledge processing. Contextual logic is commonly understood as a mathematization of the doctrine of concept, judgement and conclusion. Some methods and results for contextual logic developed by the author [Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Aachen, Shaker Verlag (1998; Zbl 0904.03018)] are sketched.