2024.02.01
https://gyazo.com/6dd447325d69b7fef5bfc6fa964a23b5
前:
2024.01.31
後:
2024.02.02
#日報
メモ
様相論理
の
$ \Box,\Diamond
の代わりに
$ L, M
を使っている記法は誰が始めたんだろう?と思った
1980年ぐらいの論文でも見るので…
教えてもらった
https://philosophy.stackexchange.com/questions/41491/why-do-l-and-m-name-the-strong-and-weak-modal-operators-in-modal-logic
Jan Łukasiewicz
らしい.
もっと言えば,
Jan Łukasiewicz
は
ポーランド記法
を論理式でも採用していたっぽい.
https://en.wikipedia.org/wiki/Polish_notation#Polish_notation_for_logic
正確にはこれらの業績は
Robert Feys
が早い?
Les systèmes formalisés des modalités aristotéliciennes
思った
今日で全部が終了です!
メモ
明日は神戸に行く.