Die Sprachen der Logik und die Logik der Sprache