Logik in Leipzig

Letztens stolperte ich über SPARQL und das Semantic Web und bloggte dazu: SPARQL für Anfänger. Ein Versuch. Das verschafft mir die Gelegenheit, hier frei herumzuschwadronieren. Der echte Blogpost liegt ja schon auf Fahrrad-Datenautobahn. Währned ich also dem Semantic Web, URIs. rdf. rdfs. SPARQL, OWL und anderem nachging, stolperte ich auch immer wieder über die formale Logik. Und ich dachte "Oh wow. Hätte nicht gedacht, dass ich die wiedersehe." 

In Leipzig bin ich im Rahmen des Philosophiestudiums in einge Kurse formale Logik hineingeraten, habe Klausuren geschrieben, die sich nur aus dem Durchrechnen logischer Formeln bestanden, und es war Highlight. Ende der 1990er Sozialwissenschaften und Philosophie in Leipzig zu studieren, war seltsam. Waren doch die Studiengänge samt Studenten und Lehrpersonal komplett aus dem Westen gekommen. 

Die Professoren teilten sich in die drei Kategorien "Überzeugungstäter, die dem Osten beibringen wollen wie es geht" oder "Zu doof, um ihm Westen was zu werden" oder "zu unkonventionell, um im Westen was zu werden." Veranstaltungen in der dritten Gruppe waren Highlights. Nur DDR-sozialisierte Menschen gab es kaum. Die hatte die Wende dahingefegt. Einige wenige durften sich auf halben Stellen in der Verwaltung halten oder unverfängliche Themen wie "Statistik" oder "Klassiker der Philosophie vor dem Jahr 1000, die gerade komplett nicht in Mode sind" unterrichten. 

Die einzige Sammlung von DDR-sozialiserten Lehrenden war bei den Logikern. Die waren weit weg vom Thema. Und gut. Und diese Logikklausur in einem Drittel der Zeit mit dem besten Ergebnis aller Schreibenden war eines der Highlights meines Studiums. Neben der 7000-Mann-Antifa-Demo in Wurzen, The Jesus-and-Mary-Chain im Ilses Erika hören, meinem ersten Besuch einer Uni-Bibliothek und so. 

Wäre ich damals weiser gewesen (und hätte mir nicht das Bafög-Amt im Nacken gesessen), hätte ich nach Logik umgesiedelt, irgendeinen total seltsamen Logikkrempel den Rest meines Lebens gemacht, würde jetzt als weiser vom Berge Zeichens mit Hagoromo-Kreide Zeichen an Tafeln malen und mir als AI-Entwurfs-Berater ein schönes Leben machen. 

Aber es kommt immer anders. Um so erstaunlicher, dass die Logik von links hinten rum quer durch das Auge wieder in mein Leben trat. Nun in der Form von Datenbanken. Ich bloggte darüber: SPARQL für Anfänger. Ein Versuch. 

 

Nicht Leipzig. Hier Berlin. Bild: 1Europafüralle demonstration Berlin Antifa block 08.jpg Von: Leonhard Lenz Lizenz: Creative Commons CC0 1.0 Universal Public Domain Dedication