Obwohl das Kästchen und die Raute die gebräuchlicheren Darstellungen der starken und schwachen Modaloperatoren in der Modallogik sind, werden auch „L“ und „M“ verwendet. Ich vermute, dass diese Buchstaben ausgewählt wurden, weil sie sich jeweils auf englische oder deutsche Wörter beziehen, aber ich kann keine Referenz finden, die erwähnt, welche.
Vom polnischen Logiker und Philosophen Jan Łukasiewicz , der die polnische Notation für Logik erfand (benannt nach seiner Nationalität):
M ϕ für możliwość : Möglichkeit
L ϕ für konieczność : Notwendigkeit [leider: K wurde bereits für koniunkcja : Konjunktion verwendet].
Zu M vgl. Jan Lukasiewicz, Selected works , North-Holland (1970), Philosophical reviews on much-valued systems of propositional logic (Polnische Ausgabe, 1920), Seite 154:
es ist möglich, dass p in den Symbolen Mp [wobei] „ M “ den Wörtern „es ist möglich, dass“ entspricht.
Łukasiewicz verwendete „ L “ für „es ist notwendig, dass“ in: Aristoteles Syllogistic From the Standpoint of Modern Formal Logic (1. Auflage, 1951).
Aber eine frühere Verwendung findet sich in Robert Feys, Les systèmes formalisés des modalités aristotéliciennes , Revue Philosophique de Louvain , Band 48 (1950).
Fizz