Allgemeine deduktive Methoden

Eine klassische Aufgabe deduktiver Verfahren ist es, logische Beweise zu kalkülisieren. Wir werden im Verlaufe dieses Buches vielen Formen der Inferenz begegnen. Manche sind von “streng logischer Art”, andere haben einen ganz anderen Charakter. Dieser Paragraph dient zur Analyse der logischen Beweise und der Methoden zu ihrer Mechanisierung. Logische Beweise garantieren die Richtigkeit ihrer Resultate und sind insofern auch als Erklärungen zu verstehen. Trotzdem wird man sie meist nicht als befriedigende Erklärungen ansehen, weil sie gewöhnlich keinerlei kognitive Aspekte berücksichtigen; vgl. dazu §18.