Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
Georg Klaus
A partir de 1954, Klaus empezó a dictar una cátedra de dos semestres sobre lógica en el Instituto de Filosofía de la Universidad Humboldt de Berlín, entendiendo por lógica su forma moderna, denominada lógica matemática. Esta cátedra sirvió de base para sus escritos posteriores, publicados en varias ediciones sucesivamente mejoradas y ampliadas, acerca de la lógica moderna (ver obra). En el marco de esta cátedra, Klaus desarrolló también una polémica aguda en contra de ciertas interpretaciones filosóficas, a su juicio, equivocadas de la lógica moderna, como por ejemplo la lógica formal en el sentido de David Hilbert. Su crítica rigurosa de la valoración filosófica de la lógica por parte del marxista húngaro Béla Fogarasi le significó más de una reprimenda en la RDA.