"klassische Logik" Englisch