Last debt to a dead friend

Scroll for English

Gerade eben korrigierte ich Hansens Beitrag in UNILOG 2013 in Rio de Janeiro fertig. Die Kongressakten mit dem wenig bescheidenen aber akkuraten Titel: The Aftermath of the Logical Paradise, hg. von Béziau et al., werden bald erwartet.

Hans wollte noch vor der Publikation des logischen Paradieses lieber schnell das himmlische Paradies erleben.

Enough with scrolling

I just finished the proof-reading of Hans’s contribution in UNILOG 2013 in Rio de Janeiro. The Aftermath of the Logical Paradise, ed. by Béziau et al., is expected to be shortly published and to give a picture of the event.

Hans, unfortunately if you ask me, preferred to see the heavenly paradise before the logical one.

Advertisements

TeX and rust

Scroll for English

Nach Jahren der Pause arbeite ich wieder mit TeX. Ich kämme Hans Burkhardts Text aus Jean-Yves Béziaus Universallogik-Kongress in Rio de Janeiro. Ein letzter Dienst an den toten Freund.

Nun, es ist unglaublich, wie schnell ich verrostete. Ich gucke die ganze Zeit nach! „Hmmm, wie war jetzt noch mal die TeX-Syntax dazu?“


Enough with scrolling

Years after, I’m working with TeX again. Just proofreading Hans Burkhardt’s paper from Jean-Yves Béziau’s Universal-Logic congress in Rio de Janeiro. A last service to the friend who passed away.

And it’s ridiculous how fast I got rusty. I have to check for the syntax of TeX features I had been using constantly.

5th World Congress on Universal Logic

SCROLL FOR ENGLISH

Die Philosophie der Logik lehrt unter anderem, was alle Logiken gemeinsam haben: Sie sind deduktiv abgeschlossene Satzmengen, die wir mit HIlfe von Axiomen und Schlussregeln konstruieren können. Das ist aber zu wenig. Es lässt z.B. auch völlig uninteressante und alberne Satzmengen als Logiken bezeichnen. Die universale Logik ist nicht nur eine Philosophie der Logik, sondern eine neue formale Teildisziplin, die Strukturen untersucht, welche verschiedenen Logiken gemeinsam sind.

Die universale Logik ist Jean-Yves Béziaus Kind. Und Jean-Yves bat mich, die Summer School und den 5. Weltkongress zur universalen Logik zu propagieren. Sie finden im dritten Drittel des Monats Juni in Istanbul statt. Seiner Aufforderung komme ich mit diesem Beitrag nach.

Jean-Yves mag es, sich in der Hagia Sophia zu präsentieren. Ich habe ihm, glaube ich, noch nicht gesagt, dass der einzige richtig kreative Logiker, der diese Kirche oft betrat, Johannes Italos im 11. Jh., zum Schluss ebendaselbst wegen seiner Philosophie zur Rechenschaft gezogen wurde – und glimpflich mit einer bloßen Amtsenthebung davonkam.

Hätte Johannes Italos seiner Zeit die Aussage vorgebracht, mit der sich Jean-Yves in seiner Webpräsenz schmückt, dann wäre er ganz schnell wieder der Liebling des Palastes und der Kaisertochter Anna Komnena gewesen, die ihn wegen seiner Vernunft rügte.

jean-yves beziau challenges Justinian

The most famous trial of a philosopher in Byzantium took place in the Hagia Sophia and condemned the philosophy of John Italos, the most creative logician in 10 centuries of Byzantine logic.Had John used in the trial the motto from Jean-Yves Béziau‘s webpage, I doubt whether he would be condemned. I mean, Anna Komnena, the emperor’s daughter, thought that his reason was the only negative thing he had.

Unlike his colleague from the 11th century, Jean-Yves loves to stand in the Hagia Sophia. Now he also organizes the Summer School and the 5th World Congress on Universal Logic there. I mean, not directly in the Hagia Sophia – but in Istanbul.

The Universal Logic is a new discipline which investigates structures common in diverse logics. But it’s not philosophy of logic. What philosophy of logic teaches in this respect is not much: essentially the fact that a logic is a deductively closed set of sentences which we construct with the help of axioms and rules of inference. This, however, allows for uninteresting and silly sets of sentences to be called logics..

Since Universal Logic is his child, Jean-Yves wanted me to propagate his congress of the last third of June. And this is what I’m doing with this post.