Repository | Book | Chapter

Im Teil 8 "Logisches Denken" wurde die Definition des deduktiven Schließens als Explizie­rung impliziter Informationen gegenüber der Definition durch die formale Ableitbarkeit in einem Kalkül bevorzugt. Durch diese weite Definition beschäftigt sich die Logik nicht auto­matisch mit sprachlichem Material. Implizite Informationen können auch in Form von Gra­phiken und Bildern vorliegen, während in der Beweistheorie, wie sie heute größtenteils von Logikern betrieben wird, dafür kein Platz ist: "[The diagram] is only an heuristic to prompt certain trains of inference; ... it is dispensable as a proof-theoretic device; indeed, ... it has no proper place in the proof as such. For the proof is a syntactic object consisting only of senten­ces arranged in a finite and inspectable array."¹

DOI: 10.1007/978-3-322-97663-5_10

Full citation: