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.

Advertisements