Gisbert


Scroll for English

Heute erinnerte mich mein Jackett an das von Gisbert Hasenjaeger am Ende jeder von ihm bestrittenen Stunde in den alten Tagen des Bonner Instituts. Allerdings kommt die Kreide auf meinem Jackett nicht wie bei Hasenjaeger nach einer abenteuerlichen Reihe von Folgerungen eines exzentrischen Menschen, sondern als Folge einer exzentrischen Schilderung abenteuerlicher Menschen. Gott weiß, war das letzte Mal, als ich in einen Seminarraum kam, um Logik zu unterrichten, vor Jahren. Ideengeschichte: Das ist, was von mir erwartet wird.

Noch ein Unterschied zwischen  Hasenjaeger und mir besteht darin, dass meine Hose genauso verdreckt mit Kreide war wie mein Jackett. So wie ich heute, hatte Hasenjaeger nämlich ein Jackett voller Kreide, aber anders als ich hatte er ein Handtuch um seinen Gurt gewickelt, an dem er ständig die Kreide von seinen Händen abputzte. Da seine Hose hinter dem Handtuch war, war sie nie verschmutzt. Dafür allerdings nass, da er besagtes Handtuch immer in Wasser tränkte – und zusammenwrang, OK…

Sieht man von den Beweisen an der Tafel ab, war Eleganz nicht seine Stärke. Da unterschieden wir uns nicht. In unserer Berufssparte ist Eleganz sowieso selten. Um so dankbarer dürfen wir sein, wenn sie doch vorkommt.

εзεзεзεзεз

Enough with scrolling

Today my jacket reminded me of the one Gisbert Hasenjaeger had on at the end of every class session back in the old days of the Bonn institute. With the difference that the chalk on my jacket doesn’t come at the end of an adventurous demonstration of eccentric people but rather at the end of an eccentric demonstration of adventurous people. God knows, when I teach, I’m usually more into history of ideas than into logic.

One more difference is that my trousers were worse off – full of chalk, that is – than Hasenjaeger’s had ever been. Hasenjaeger had a wet towel stuffed between his belt and his trousers. He constantly wiped his fingers off on this and his laps were never full of chalk – only humid. This wasn’t elegant, of course, if you exclude the proofs.

But who’s elegant in our profession anyway?

Tossing coins in Heidiland

wahrscheinlichkeiten-und-mehrwertigkeit

Scroll for English

Es ist zwar kein logisches Manifest für die mehrwertige Semantik, aber Johanna Spyris Heidi propagiert eine Haltung gegen Manichaismus, gegen Schwarz-und-weiß, gegen scharfe Dichotomien. Das Land, das Spyri als Umfeld benutzt (und idealisiert), hat ebenfalls diese Eigenschaft wenigstens in Bezug auf einen Kontext, für den wir normalerweise eine scharfe Dichotomie, die Zweiwertigkeit, als adäquat betrachten: den Münzenwurf als Zufallsgenerator.

Es begann, als die Mädels sich zu streiten anfingen, wer als erste vorne Schlitten fährt. Es gab zwei Schlitten für vier Mädchen, d.h. die Wahl nur zwischen E. zuerst vorne und G. zuerst vorne für den einen Schlitten, bzw. zwischen M. zuerst vorne und S. zuerst vorne für den anderen. Ich dachte, wohl einer allgemeinen Wahrnehmung entsprechend, dass ein Münzenwurf ein sehr nützliches Verfahren für eine gerechte Auslosung zwischen zwei Optionen ausmacht, und warf einen Zweifränkler.

Das Ergebnis kann man oben sehen…

Man kann sagen, dass das Münzenwerfen in dieser Umgebung die falsche Methode ist, um zwischen zwei Werten zu entscheiden. Aber man kann dieselbe Einsicht auf eine für unsere Metalogik viel folgenschwerere Weise ausdrücken: Für die Werteverteilung des Münzwerfens ist die Bivalenz bei viel Schnee nicht adäquat.

Führt das zum logischen Pluralismus? Wohl zunächst nur zum Pragmatismus. Es gibt in bestimmten Situationen Gründe, die mehrwertige der zweiwertigen Semantik vorzuziehen. Dass liegengebliebener Schnee, ein empirischer Tatbestand, eine solche Situation ist, zeigt, dass die Logik nicht durch und durch a priori ist. Sie entsteht in der Beziehung zwischen gedachter Apriorität und Tatbestand. So wie die Pädagogik in Heidi aus der Beziehung eines pädagogisch ungeeigneten mürrischen Grobians mit einem eher unscheinbaren, jedenfalls nicht außergewöhnlichen Kind entsteht.

Dass Außergewöhnliches, ja Göttliches, aus der Mischung zweier herkömmlicher Charaktere entsteht, ist ein großes Glück. Ich denke, dass es viel seltener passiert, als es erwartet wird. Für einen Logiker ist es aber die einzige Hoffnung auf die Unsterblichkeit. Für den Alltagsmenschen ebenfalls.

####################################

Enough with scrolling

Although far from being a tractate on multivaluedness, Johanna Spyri’s Heidi is a piece of fiction that definitely doesn’t propagate sharp dichotomies – of pedagogical or social nature. And I just experienced how a very distinctive context for which we usually hold bivalence – obviously a sharp dichotomy – to be adequate, i.e. coin tossing, deviates in the country Spyri chose as the environment of her heroes from everything you knew about coin tossing.

It began when the girls started fighting on who would be the first to sit on the front of the sledge and I thought it a good idea to randomize the choice. Since there were two sledges for four girls, the choice was only between the first and the second to sit in front. And a coin is always useful for randomizing a decision among two options – or so I thought.

I tossed and – well you can see the result above…

You can say that tossing coins is not the right method to decide between two values in this environment. This sounds harmless, not however the following reformulation: Bivalence is not adequate to randomize a choice between exactly two values if you have a coin and much snow.

Does this insight speak for logical pluralism? Well, it does speak for pragmatism, but I doubt that we have to go that far to embrace pluralism. At any rate, there are reasons to prefer this to that semantics and these reasons can be empirical data like much snow. Logic is not only a priori. There is a desiderate to describe something that is a priori, but there are also empirical data that tell you if your description is adequate. Logic emerges in the tension between the a priori in our minds and the a posteriori out of them – out of our minds so to say…

And it is something that drives you crazy to know that the excellence of logic is based on not-so-excellent material. Recall that also Heidi’s education was based on the relationship between a nasty old man and a rather ordinary child.

In logic and in Heidiland it’s not about the materials. They are not quite suitable anyway. It’s rather about how you put them together.

Dubrovnik calling

When I see that Srećko, Kordula and Jean-Yves are in the same time at the same place, I automatically look where my name is mentioned.

Alas, I know that I won’t be able to join them this time AT THIS AWESOME CONFERENCE, FOR THIS AWESOME PROJECT, IN THIS AWESOME CONTEXT:

CALL FOR PAPERS 

Conference FORMAL METHODS AND SCIENCE IN PHILOSOPHY 2, May 4-6, 2017

Inter-University Center (IUC) Dubrovnik, Don Frana Bulića 4, Dubrovnik, Croatia

Keynote speakers  

Jean-Yves Béziau, Federal University of Rio de Janeiro

Wolfgang Künne, University of Hamburg

Conference Committee

Gianfranco Basti, Pontifical Lateran University, Vatican City

Grzegorz Bugajak, Cardinal Stefan Wyszyński University, Warsaw

Johannes Czermak, University of Salzburg

Filip Grgić, Institute of Philosophy, Zagreb

Srećko Kovač, Institute of Philosophy, Zagreb

Edward Nieznański, Łazarski University, Warsaw

Kordula Świętorzecka, Cardinal Stefan Wyszyński University, Warsaw

Berislav Žarnić, University of Split

https://www.iuc.hr/conference-details.php?id=270

The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

The following special topics will be addressed:

– use of formal methods in philosophy,

– philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction),

– philosophical analysis of scientific methods (formalisms, rationality, values and norms, etc.),

– the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

A special session will be organized under the title „Logic, concepts and communication“. The session will address the following topics: the intensional foundations of logic and its primitive concepts, logical foundations of ontology, role of concepts in knowledge, logic and logical concepts in the context of inter-agent communication (in connection with the research project IP-2014-09-9378 funded by the Croatian Science Foundation, http://logiccom.projekti.ifzg.hr/doku.php).

The following panel discussion will be held: „Proposal of a BD/MD/PhD in philosophy on: Philosophy & Computer Science. A perspective for applied formal philosophy“.

Moderator: Gianfranco Basti, Pontifical Lateran University, Vatican City.

There will be also a PhD session with 20 minutes talks followed by 10 minutes discussion.

Language: English; conference fee: 80 EUR.

There are limited possibilities for accommodation at the venue of the conference. Please, see https://www.iuc.hr/accomodation.php or contact us at fmsph@ifzg for the information. Unfortunately, we are not able to cover the costs of the accommodation.

Abstracts

Please, submit a 600 characters abstract for a 30 minutes talk (+ 10 minutes discussion).

Deadline for abstract submission: March 31, 2017.

Please, indicate if the abstract is meant for a PhD session.

Abstracts should be sent to skovac@ifzg.hr or k.swietorzecka@uksw.edu.pl.

Notification of acceptance will be sent within one week after receiving the abstract.

Organizing institutions

Institute of Philosophy, Zagreb

Institute of Philosophy of the Cardinal Stefan Wyszyński University, Warsaw

Inter-University Center, Dubrovnik.

Smullyan’s kiss – the full story

Scroll for English

Den New-York-Times-Nachruf zu Raymond Smullyan habe ich sofort repostet. Der Held unserer logischen Jugendextravaganzen pendelt seit letzter Woche nicht mehr zwischen seiner eigenartigen Mystik und dem Agnostizismus. Entweder weiß er Bescheid und wurde definitiv zum Mystiker, oder er weiß nichts mehr und kann nicht mal als Agnostiker gelten. Tote sind Mystiker oder keine Agnostiker – die Disjunktion ist inklusiv.

Der New-York-Times-Nachruf ist schön geschrieben, aber ich vermisste eine ausführliche Besprechung des lediglich kurz erwähnten Tricks in demselben, mit dem Smullyan einen Kuss im ersten Date mit seiner späteren Ehefrau logisch herbeigeführt haben soll – einen Kuss aus logischer Notwendigkeit. Diese Lücke möchte ich schließen.

Mit dem Kuss aus logischer Notwendigkeit hat es sich folgendermaßen verhalten: Smullyan soll im Laufe des Abends Folgendes behauptet haben:

Wenn ich mich nicht irre, wirst du mich heute Abend noch küssen.

Die Implikation ist entweder wahr oder falsch. Falsch ist eine Implikation nur, wenn das Antecedens wahr aber das Konsequens falsch ist. Mit anderen Worten war die obige Implikation am Anfang des Abends nur dann falsch, wenn sich Smullyan zwar nicht irrte, aber keinen Kuss bekommen hätte. In diesem Fall wäre Smullyan jedoch vor Irrtum gefeit gewesen, während er eine laut Annahme falsche Implikation aussprach. Das ist ein Widerspruch, weshalb die Implikation nicht falsch sein konnte.

Also musste die Implikation wahr sein. Wohlgemerkt hätte Smullyan auch dann keinen Kuss bekommen unter der Bedingung, dass sowohl das Antecedens als auch das Konsequens falsch sind. Das würde allerdings heißen, dass Smullyan sich irrte und dass er keinen Kuss bekam. Aber wie kann sich jemand irren, der eine laut Annahme wahre Implikation ausspricht? Die Frage ist rhetorisch… Beide in Frage kommenden Interpretationen mit falschem Konsequens sind somit auszuschließen.

Deshalb muss das Konsequens („Du wirst mich heute Abend noch küssen“) wahr sein. Das ist auf logisch zwingende Weise die einzige nichtwidersprüchliche Interpretation der Behauptung von Smullyan. Aber das bedeutet, dass Smullyan geküsst wird. QED

Von einem abgeleiteten Sachverhalt zum tatsächlichen gibt es normalerweise keine Distanz, in diesem Fall allerdings schon. Damit der Trick funktioniert, muss die Angebetete erstens logisch geschult sein, ferner die Selbstreferenz, auf der das Ganze fußt, als nicht sinnlos betrachten, drittens Humor haben und – last but not least –  die Bivalenz (es gibt nur wahr und falsch und nichts dazwischen) für den für die gegebene Situation adäquaten semantischen Rahmen halten.

Da die Adäquatheit extralogisch ist, zeugte es nicht nur von Smullyans Genius, wenn Smullyan die Logikerin am Tisch – eigentlich eine Pianistin – zur Bivalenz und eo ipso zum Kuss überzeugte. Die Geschichte zeigt vielmehr, dass Blanche Smullyan drei gerne gerade sein ließ, wenn es um Raymond ging. Logisch geschulte Leser werden’s ja bemerkt haben: In einem vielwertigen Rahmen wäre der Witz pointenlos.

Aber wer denkt an Vielwertigkeit, wenn’s am Tisch nur Platz für zwei und viel Sympathie beiderseits gibt? (Gut, bei viel Sympathie braucht man sowieso keine Argumente, aber das führt jetzt zu weit…)

Als Smullyan jung war, war die Bivalenz zudem die Fachorthodoxie. Selbst die Bilder waren zweiwertig.

Schwarz-und-weiß halt‘.



Enough with scrolling

Many decades ago, Raymond Smullyan, whose obituary in the New York Times I reposted the other day, was a young scholar in a discipline whose semantical orthodoxy prescribed bivalence.

Pictures were, in a way, also bivalent: black and white.

One evening this magician and logician reserved a table for two – two being a very important number in this story that the New-York-Times mention only incompletely – that is for himself and the woman who was about to become his second wife.

It was their very first date and thereby a very improbable occasion for their first kiss. Smullyan, however, inferred logically that he had to be kissed before.the end of the evening. This is the full story of a kiss said to be given for reasons a priori:

Fully out of the blue, Smullyan claimed:

If I’m not wrong, you’ll kiss me tonight.

This is, of course, a conditional, and one that’s either true or false. If false, then the hypothesis is true and the apodosis false. The hypothesis maintains that Smullyan’s not wrong. And it’s supposed to be true if the conditional is about to be false, but this is contradictory because if the conditional is false, Smullyan is wrong after all – against the assumption, that is, that the appdosis is true.

Therefore the conditional has to be  true. But it cannot be true in virtue of a false hypothesis („I’m not wrong“) because if the hypothesis were false then the conditional would be false against the assumption. Therefore the hypothesis must be true. But the only way for an hypothesis and the conditional to be true is that the apodosis („You’ll kiss me tonight“) is true. The a priori consequence was that Blanche (her name, as a matter of fact a pianist and as far as I know not a logician) had to kiss Raymond.

There’s normally no gap between a logical inference and the bringing about of the matter of fact that it describes. Paradoxically, this is not such a case. In order for the trick to work you must have someone with a sense of humour and one with logical training or the corresponding intuition. Plus, she mustn’t think that self-reference is nonsense.

And even then you have to persuade her first that bivalence is the adequate semantical setting for the situation described. This doesn’t go without an argument. Or she must like you, but then no arguments are needed anyway.

But, as I said, it was a time of bivalence and black-and-white pictures.

Die Rätsel sind immer multimodal

Scroll for English

Dass niemand von mir verlangen kann, etwas zu tun, was verboten ist, ist eine Intuition, die sich im von Hughes und Cresswell D genannten modallogischen System widerspiegelt: Lp->Mp.

Aber was passiert, wenn ich das Gebotene aus nichtdeontischen Gründen nicht tun kann? Etwa wenn ich mich wegen der Hunde vor mir nicht in Sicherheit vor der Gefahr hinter mir bringen kann? Dieser Art, multimodal, sind moralische Dilemmas und die Modallogik hat keine Antwort darauf.

Wie kann man Italien nicht lieben? Dieses Land bringt zu Gedanken und ist schön noch dazu.



Enough with scrolling

Blame me ‚cause I love Italy for making me see.

That no one can request that I do what’s prohibited, is the intuition – in fact the characteristic axiom – of the modal system Hughes and Cresswell call D: Lp->Mp.

But this is not what deontic or moral dilemmas are made from. What if I can’t run from a fire behind me because of the dogs in front of me? NB, fleeing from the fire can be a deontic prescription while being afraid of the dogs is not. Modal logic is not the algorithm to settle dilemmas of this kind and Italy is the country to teach you that, probably, there’s not such an algorithm.

Reality is too much of a „mid-shapen chaos of well-seeming forms“, to be captured by logic (Romeo and Juliet, act 1, scene 1).

Um Gott’s Wui’n

 

🇩🇪🇦🇹🇨🇭 Es ist so diskriminierend. Es ist so deprimierend. Um Gottes Willen…
🇬🇧🇺🇸🇨🇦🇮🇪🇳🇿🇦🇺 It’s so discriminating. It’s so degrading and sad. For God’s sake…