A farewell to UNILOG 2018

English (italicised) just after the German paragraph

Gerade weil es wie Fritz Langs Metropolis anmutet: Überall lässt sich Ruhe finden. Einen schönen Sonntag von der Sankt-Blasien-Kirche in Vichy.

Even if and even because it resembles Fritz Lang’s scenery in Metropolis: peace of mind can be found everywhere. My wishes for a nice Sunday from St. Blaise’s church in Vichy, France.

Advertisements

Indeterminacy of translation on a higher level

Scroll for English

Paul sagt: „Alle Profs nach alten C-Tarifverträgen erhalten mehr Geld als GEWISSE Profs, die keine alten Verträge haben“

Zwei Übersetzungen sind hier möglich (das Problem ist natürlich das Wort „gewisse“, aber es gibt nun mal solche Wörter in den natürlichen Sprachen):

und

Welche Übersetzung ist die richtige? Das wissen wir natürlich nicht. Es sei denn, sagte Davidson, wir legen ein pragmatisches Kriterium der Wahrheit und ergo Übersetzung zu Grunde.

Und wenn Paul lügen wollte? Ohne dass sich das aus dem Text ergeben sollte?

Deshalb mein Rat an die Kollegen: Bringt doch jungen Menschen nicht bei, die natürliche Sprache in die Sprache der Logik zu übersetzen. Sondern bringt ihnen bei, dass es sich dabei um zwei inkommensurable Systeme handelt! Und dann bringt ihnen Logik um ihrer selbst willen bei!

Enough with scrolling

Paul says: „All professors who are administrators earn more than CERTAIN professors who are not administrators“.

You can translate this in two different ways (the problem being the word „certain“ – but you can’t just prohibit words of ordinary language without ad hoc deforming it to resemble logical language):

and

Of course, we don’t know which translation is correct. But stop! You can presuppose Davidson’s pragmatic criterion of truth and translation.

OK, assume you did that! And if Paul is supposed to lie without giving a hint for it? (I mean, we normally lie without hints – at least Freudian ones – don’t we?)

I recommend my colleagues: don’t teach these young people how to translate ordinary language into logical language! Teach them that these two are incommensurable systems instead. And then teach them logic in its own right.

Entertaining June

Scroll for English

Keine hochfliegenden Gedanken für heute. Bloß zwei Juni-Musikstücke vor und nach dem Englischtext, die ich seit eh‘ und je liebe, und der Link zu einer Konferenz, in der ich die aristotelische Sau rauslasse.

Enough with scrolling

No big philosophy for today. Just two songs that pertain to June and that I’ve loved for years and years, and a link to a conference in which I’ll have an Aristotelian agenda to defend.

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.

Today’s category mistakes

Scroll for English

„Wie unverantwortlich! Es schneit!“

„Im Elsass sind die Farben abgeschafft worden“

„Der Schnee ist megaabsurd“

PS: Ich bin mir nicht so sicher, ob Marie Liebys „Είναι γελοίο“ (griechisch für „Es ist lächerlich“) auf den Schnee angewandt ein Kategorienfehler ist. Jedenfalls verdanke ich ihr obiges Foto.

Enough with scrolling

„Irresponsibly enough, it’s snowing again“

„In Alsace colours are abolished“

„Snow is so absurd“

PS: I don’t know if Marie Lieby’s „Είναι γελοίο“ (Greek for „It’s ridiculous“) is a category mistake if you refer to snow. I just want to say that the credit for the first picture goes to her.

This natural language whose knowledge operator is not closed under known implication is worth zillions

Scroll for English

Deutschsprachige Nichtlogiker, bitte, bis zur gestrichelten Linie nach dem Fachchinesisch

Das logische Allwissen, d.h. der Umstand, dass sich aus □p und □(p→q) in S5 (genau genommen in jeder kanonischen Modallogik, d.h. in K und jeder konservativen Erweiterung desselben) □q für beliebiges q ableiten lässt, ist ein Problem. Denn es gibt unendlch viele qs bzw. logische Wahrheiten. Da nun die Box (□) in S5 als K, d.h. als Wissensoperator zu interpretieren ist, zieht diese Interpretation nach sich, dass unendlich viele Theoreme (alle K-Theoreme sind S4-Theoreme, da S4 eine konservative Erweiterung von K ist) nicht nur wahr, sondern bekannt sind, wenn nur ein Theorem bekannt ist… Das ist natürlich paradox. Wir alle sind in der Lage, mindestens eine logische Wahrheit (ein p) zu wissen; etwa das aussagenlogische Schema (α→β)→β). Trotzdem ist keiner von uns in der Lage, alle beliebigen Theoreme als bekannt anzugeben.

Ich finde, dass die prima facie Verblüffung aus diesem Resultat sofort entkräftet wird, sobald man bedenkt, dass wir, die wir jedes q als wahr erkennen sollen, durch die Zeit beschränkte Möglichkeiten haben, beliebiges q als wahr zu erkennen. Selbst wenn du das eine oder das andere erkannt hast: irgendwann ist deine Zeit um… Mit anderen Worten ist S5 allein deshalb inadäquat zur Beschreibung unserer Möglichkeiten, logische Wahrheiten als wahr zu erkennen, weil nur eine multimodale zeitepistemische Logik dazu fähig wäre – und S5 ist eben nicht multimodal. Die Modaloperatoren in S5 sind entweder epistemisch oder temporal zu interpretieren aber nicht Beides. Da der angenommene multimodale Kontext stärker als K wäre – ich brauche ihn nicht zu beschreiben, um das zu wissen – würde das logische Allwissen in demselben natürlich wieder hervorgehen, was aber harmlos wäre, da die metrischen Indizes der temporalen Operatoren problemlos gegen unendlich tendieren könnten. S5 ist ungeeignet dazu, natursprachliche epistemische Prädikate wiederzugeben. Nieder mit S5!

Problem also auf gordische Art gelöst. Spitzfindigkeiten, um es anders, in einem monomodalen Kontext zu lösen, sehe ich als karikaturistische Neurosen an. Wenn das logische Allwissen paradox ist, dann ist es das nicht in Anbetracht des Formalismus, sondern in Anbetracht der Möglichkeiten unserer Rechenapparate, Gehirne oder Computer. Die Paradoxie monomodal lösen zu wollen, unter Abstraktion von der Zeit, die diese Apparate brauchen, ist analog damit, ein Fußballspiel ohne seine pragmatischen Bedingungen gewinnen zu wollen. Man kann zwar behaupten, in einer Computersimulation, den FC Barcelona zu besiegen, aber viel mit einer gewonnenen Fußballpartie hat das nicht. Fußball macht mit echten Fußballern auf echtem Rasen Sinn und die Paradoxie des logischen Allwissens macht unter der Voraussetzung Sinn, dass kein Rechner, egal ob Person oder Nichtperson, in der Lage ist, in endlicher Zeit alle Theoreme herzustellen, abzuleiten oder was auch immer.

Meine gordische, ja natürliche Lösung ließe vermuten, dass natürliche Sprachen wie Englisch, Deutsch usw.  anders als die Formalneurotikerlösungen das Wissensprädikat niemals als zeitlos betrachten. Weit verfehlt!

– – – – – – – – – – – – – – – – – –

In vielen natürlichen Sprachen wohnt ein Platonismus inne. In meinen Ohren klingt z.B. die Present-Continuous-Form „I am knowing“ als inkorrekt, obwohl sie grammatikalisch in Ordnung ist. Ebenso die Past-Continuous-Form „I was knowing“. Was wäre damit überhaupt gemeint? Das Englische geht offenbar von einem Wissensbegriff ohne Dauer und Ablaufdatum aus.

Die Zeit, als ich das Schwäbisch des schwäbelnden Teils meiner Bekanntschaft lustig fand, ist, gottlob, vorbei. Es war, wie man naiv-alltagspsychologisch sagt, nur eine Phase. Ich fand wieder zu meinem alten Geschmack zurück. Der Wiener und der Münchener Dialekt, das sind die Mundarten meines Herzens – letztere auch meiner Zunge, wenn ich mich etwas freier fühle.

Trotzdem muss ich anerkennen, dass die Mundart um Augsburg eine Perle der epistemischen, ja der multimodalen Logik in sich birgt.

Wenn sich die Leute dort bei Peter erkundigen, was er gerade mit Otto besprach, fragen sie:

– Was ha’ d’r Otto g’wuscht?

Diese multimodale, durch und durch unplatonische Redewendung bezieht sich nicht auf Ottos Wissensschatz, sondern auf die ihm aktuell vorschwebenden und schließlich geäußerten Überzeugungen während der Besprechung. Das ist sonderbar unplatonisch und antiaristotelisch. Denn daraus, dass Otto gerade gewusst hat, dass Sparsamkeit zu Thesaurierung führt und Thesaurierung die soziale Ungleichheit erhöht, folgt im Schwäbischen nicht, dass Otto weiß, dass seine Sparsamkeit ungleichheitsfördernd ist.

Mit großer Verspätung fing ich an, Thomas Picketty zu lesen. Erfrischenderweise bezieht er Wissensfelder in seine Analyse des modernen Kapitalismus mit ein, die nicht ökonomisch sind. Zu ihnen gehört allerdings nicht die Sprachanalyse.

Schade. Die Sprache dürfte mit unserer Einstellung zu Geld viel zu tun haben.

Enough with scrolling for logicians

Nonlogicians, please continue scrolling until the dashed line

Logical omniscience, i.e. the conclusion □q for any q given □p and □(p→q) in S5 – actually and scandalously in every canonical modal logic, i.e. in K and every conservative extension thereof – becomes a bad pain at the latest when you think of a logical truth as your q. Since there are infinitely many logical truths and logical truths necessarily follow from every formula, infinitely many logical truths must follow if you only know one. To speak of myself: I boast to be in the position to know of quite a few theorems but I don’t see others to follow unless I’ve seen them to follow after hard work.

Paradoxes are often only prima facie paradoxes and I find that logical omniscience does not belong to the few exceptions of this optimistic rule. S5 is not an epistemic logic adequate to express epistemic predicates of natural languages. Α multimodal temporal-epistemic logic could accomplish the task. S5 is both: temporal and epistemic but it’s not multimodal. Which means that one of the two: temporally or epistemically interpreted S5 is not the one we need in natural language.

The most plausible candidate for a failure is the latter.

I don’t mean that there are no contexts in natural language in which the modal operators of S5 expresses the natural epistemic intuitions. In fact…

– – – – – – – – – – – – – – – – – –

Platonism is a feature of many contexts in natural languages, in which epistemic operators occur. E.g. what do you think of the present-continuous form „I am knowing“? My intuition is that it’s incorrect. The same holds of the past continuous „I was knowing“.

Exceptions are there. In the Swabian dialect spoken from the western outskirts of Munich until at least Ulm, they ask „What has he known?“ meaning „What was he talking about“.

Note that if what Otto „knew“ in the above sense, is that money saving makes assets grow but assets for the ones make social disparity more probable, and Otto in principle knows this, Otto didn’t necessarily „know“ that money saving makes social disparity bigger.

It’s a bit late to start reading Thomas Picketty’s Capital but not too late. It’s never too late. Picketty’s analysis involves subjects other than economics, which is very French on one hand, of course, and makes me see how deprived I am, spending an Anglo-Saxon and German life on the other.

On the other hand, linguistic analysis is not one of these subjects, which is a pity.

Being John Malkovich or anyone else – meaning other than myself

Scroll to the next large italics for English

An jemanden zu erinnern, stellt kein Problem dar – jedenfalls kein logisches. Auch damit, tier- oder pflanzenähnlich zu sein, finden viele Faschingsenthusiasten wenig Probleme.

Das Fasnachts-Sprachspiel besagt nun nicht, wir würden an jemanden oder etwas erinnern, sondern vielmehr, wir wären jemand oder etwas anderes. Ich verkleide mich nicht etwa als ein Jimmy Page ähnlicher S.G., sondern direkt als Jimmy Page.

Allerdings gibt es keine logischen Schwierigkeiten darin, dass ich ein Mitglied einer Rockband wäre. Es gibt unendlich viele leibnizsche mögliche Welten, wo ich das bin. Exakt Jimmy Page, John Lennon, irgendein John könnte ich jedoch nicht sein. Aristoteles meinte, dass Eigennamen ausschließlich ihren individuellen Trägern zukommen und deshalb keinen Allgemeinbegriffen zuzuweisen sind. Nach Aristoteles ist im Satz: „Der 45. Präsident der USA ist Donald Trump“ „Donald Trump“ das Satzsubjekt, nie das Prädikat. Denkt man das zu Ende, designiere jeder Eigenname rigide ein Individuum und es gibt keine mögliche Welt, in der diesem Eigennamen der Name eines anderen Individuums zukäme. Wäre ich Jimmy Page, wäre entweder ich oder er vernichtet, was beides es absurd macht, dass ich er wäre.

Damit nicht genug kann mir keine andere Gattung zugewiesen werden als die wahrheitsmäßig mir zuzuweisenden. Als Pflanze, Stein, Tier könnte ich nicht S.G. sein, denn ich muss denken können, da ich als Mensch zur Welt kam.

Fazit: Ich könnte ein Schauspieler sein, aber nicht John Malkovich. Ich könnte eine Auberginennase haben, nicht allerdings der Otto mit der Auberginennase um die Ecke sein. Ich könnte kein Fuchs, keine Eiche kein Stein sein – nichts, was meinen wesentlichen Merkmalen widerspricht. Kit Fines Argumente gegen dieses Verständnis meiner essenziellen Eigenschaften bespreche ich nicht hier. Ich beschränke mich zu sagen, dass Fine einer nichtaristotelischen Ansicht über Essenz verhaftet ist und wahrscheinlich den Fasching zu ernst nimmt. Sokrates könnte angeblich der Eiffelturm sein! Na ja…

Die Mimesis ist, finde ich eher, eine Art Spaß, dem ernsthafte ontologische Analyse unangemessen ist.

Enough with scrolling

You can remind of someone else – no logical problems there… You can even remind of entities alien to humanity like other animals or even plants. Eggplant noses are, for example, very popular in the Basel carnival.

However, as the linguistic convention has it, you’re never disguised like Jimmy Page but rather as Jimmy Page.

There is no logical problem, of course, for me and you to be Led-Zeppelin members. There are infinitely many possible worlds in which we manage to be this. But there is a logical problem in being the Led-Zeppelin member called Page. In fact, there is a logical problem in being anyone. And, although you can be something else, for logical reasons you can’t be anything.

For, if I were Page (I mean really, not this „If I were you“ that simply means „in your stead“) the proper name „Jimmy Page“ would be predicated of a description of me. Aristotle says in the Prior Analytics that a proper name cannot be predicated of any common name and it cannot be predicated of an individual expression that designates another individual. In other words, in: „The 45th president of the US is Donald Trump“ „Donald Trump“ is the grammatical subject despite the form of the sentence. If „John Malkovich“ in „I am John Malkovich“ is supposed to be a predicative – and this is what it must be when I use the sentence, i.e. if I am supposed to say „I“ – then the sentence is nonsense. But even „walrus“ – although a common name – in „I am the walrus“ makes the sentence nonsense given that by „I“ S.G. is meant. I mean, S.G. can be a baker, a rockstar, a Sicilian instead of Euboean, but S.G. can’t be a walrus or anything that contradicts his (my) essence. Kit Fine has arguments against the Aristotelian conception of essence to the effect of assigning Socrates the possibility to be the Eiffel Tower.

I can’t discuss Fine’s modal semantics in a blog post. Only one more thing, a rather polemical point: I discovered at least one thing that is worse than not being Aristotelian. It’s presenting mimesis and ontology to be on the same level.