Abstract
Kant spricht bezüglich der Widerlegung des Idealismus von einem „Beweis”. Das ist sicher der höchste Status, den er bereit ist, einem Argument zuzuschreiben. Diese Notiz hier soll zeigen, daß Kant diesen Anspruch zu Recht erhebt. Dazu reicht eine an der sprachlichen Oberflächenstruktur orientierte Formalisierung. Nun hat Kant natürlich die moderne Prädikatenlogik nicht gekannt, aber für den Gebrauch dieser Logik und ein dem gemäßes Räsonieren bedarf es bekanntlich ja auch nicht der ausdrücklichen Kenntnis eines entsprechenden Kalküls. Es reicht aus, daß es mindestens eine Formalisierung gibt, in die sich Kants Argument bringen läßt, um zu zeigen, daß es formal schlüssig ist