"P. Birken" skribis:
Um hier keine Haare spalten zu muessen: Tatsache ist, dass Logik-Vorlesungen an Mathematikfachbereichen seit Jahrzehnten nicht mehr angeboten werden,
Zum Glück hast du hier keinen Allquantor verwendet ;-)
Tatsache ist, dass es Mathematik-Fachbereiche an deutschen Universitäten gibt, wo auch jetzt noch Logik-Vorlesungen angeboten werden (ich habe vor zwei Jahren eine solche gehört), und die wird jedes Jahr angeboten.
Ich kenne sogar ein paar Leute, die in den letzten Jahren ihre (Mathe-)Diplomarbeiten in dem Gebiet geschrieben haben.
statt dessen sind diese in der Informatik und der Philosophie angesiedelt.
Allerdings ist auch bei uns bei der Informatik der Logik-Bereich stärker als bei der Mathematik. Macht aber nichts, man kann ja auch dort Vorlesungen hören (habe ich auch gemacht).
Paul