tt

言語と論理についての覚え書き

[tt @tt99kuze]

人文学を”正しく”修めれば、人は心から清らかな人間になりいわゆる”社会正義”を信奉するとでも思っているのか。まったく人の心がわかっていない。人文学は人を理解するための学問のはずなのに。

[tt @tt99kuze]

人文学を修めても異なる政治的立場を嫌悪する気持ちは当たり前だがなくならない。人文学が役立つのはそこで立ち止まり、相手の立場を理解し、共存のための妥協点を探ることでは。いまの人文界隈は、社会正義の立場をとるのが気持ちよくて、敵を排除することに夢中に見える。それは人文的でない。

[tt @tt99kuze]

人文学は役に立つかという話、わたしはどう考えても政治的主張や実践のために役に立つとしか思えないんだが、そう主張する人文系の人を本当に見かけない。人文系を席巻していまも現役のマルクス思想も、政治的主張に役立つからこそここまで息が長いのでは。

[tt @tt99kuze]

たとえば日本の政治団体や人文界隈では、リベラルな立場でナショナリズムを嫌悪する人が多すぎるように思う。嫌悪するだけならいい。わたしも嫌悪することはやめられない。問題は共存を考えず排除に向かうことだ。純化して一部の界隈しか残らないならまったく人文学が活かせていない。

[tt @tt99kuze]

人文学は政治的主張に役立つと堂々と主張すればいいのに。どいつもこいつも政治的主張のために人文学を使っていて、実際それは正しいとわたしは思う。問題は人文界隈の生態系が左に偏り過ぎていることだ。ウイングの左右を広く取れて活発かつオープンに議論すればいいが、実態はクローズドで陰湿。

[rionaoki @rionaoki]

ただ、人文学は戦争を防ぐみたいなことを言っている中の人たちが多いように、本人たちは人文学な帰結が政治的主張だと心から信じているので、その区別は実際には難しいそう。

[tt @tt99kuze]

わたしはナショナリストでリベラルな立場を支持している。そして、その立場を擁護するために人文学は役に立つし、わたしが嫌いな共産主義や無政府主義を理解するのにも役に立つ。ナショナリストとして、同じ日本国民である以上、共産主義者とどう共存するか考えるのにも人文学は必要だ。

[tt @tt99kuze]

100年ぶりに英語の勉強をする。疎かにしていた母音について、目から鱗が落ちまくっている。発音練習、シャドーイング、ディクテーションあるのみ。やはり英語は根性。

[tt @tt99kuze]

『まじめにエイリアンの姿を想像してみた』
言語の章を読んでる途中だけど、おもしろい。動物学者が言語について語ると、コミュニケーションと言語を同一視して「動物が言語を持たないなんて嘘！」みたいな議論をしがちなイメージだが、本書は一貫して言語は地球上ではヒト特有の形質だという立場。

[tt @tt99kuze]

日本語だとアクセスしにくい情報というのがあって、それはなぜかというと日本語圏で需要がないからだろう。要するに、さまざまな理由で金にならない。
それでもそうした需要のない情報にアクセスしたいときはある。ネット上に翻訳や文献紹介を落としてしてくださっている方々には頭が下がるばかり。

[tt @tt99kuze]

論理結合子->の真理値表がなぜそのようになるのか。真理値が0と1しかないこと。反対称であること。推移律を満たすこと。この３つを同時に満たす結合子を考えると、真理値表をそのようにとることになる。

[tt @tt99kuze]

https://t.co/CkBXomyXKv

[tt @tt99kuze]

Kihara labの計算論の動画、本当に勉強になる。本では理解しにくかった箇所が、動画でこんなにわかりやすく説明してくれるのかと感動している。

[tt @tt99kuze]

propositions as typesというのは確かにそうだなぁと感じられたのだけれど、proofs as programsはすぐにピンと来なかった。最近ようやく意味がわかりはじめて、λ項(プログラム)の構成が証明図の構成と対応してるのだな。

[tt @tt99kuze]

我々人類はイデオロギーが絡むと、データを読み違えるどころか、まともに文章すら読めなくなることを肝に銘じておきたい。

[tt @tt99kuze]

数理科学の分野で博士号を取り、データサイエンスで飯食ってる立派な大先生が、データの誤読を狙った反体制な記事に賛意を示し、大衆を小馬鹿にしているのを見ると、本当にこの国が民主主義でよかったと思うよ。

[tt @tt99kuze]

そもそも排中律を受け入れると「A→B」と「¬ A∨B」が同値になるらしい. この辺りはもう少し勉強したい.

[tt @tt99kuze]

前件のAが偽の場合に「A→B」が真になるとなぜ都合がいいのか. 戸田山『論理学をつくる』p81が参考になった. まず, 「A→B」と「B→A」の真理値表が異なっていてほしい. 次に推移律が成り立って(常に真であって)ほしい. この性質を満たすためには前件が偽のときに命題全体が真である必要がある.

[Paul Krugman @paulkrugman]

He was also, however, an innovative economic leader, willing to break with fiscal and monetary orthodoxy in an attempt to break Japanese deflation. And unorthodox in surprising other ways too 3/

[Paul Krugman @paulkrugman]

OK, one more shock: the assassination of Japan's former Prime Minister Abe. I have zero to say about what might lie behind it and what it means. But I can talk about my meeting with Abe in 2016; he was a complicated and interesting leader, not easy to characterize 1/