Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
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.