Bildliches Vorstellen

pp. 103-171

in: UWE Oestermeier, Bildliches und logisches Denken, Wiesbaden, Deutscher Universitätsverlag, 1998

Abstract

Bei der anfänglichen Orientierung der Computertheorie des Geistes an symbolischen logischen Notationen im engen Sinne kamen mindestens zwei Tendenzen zusammen. Zum einen die Automatisierung des logischen Beweisens mittels symbolischer Programmiersprachen und zum anderen die Sprachorientierung der analytischen Philosophie.