意味は、真理値を返す関数だった。【意味論勉強会】#336

温泉旅館で意味論の勉強をしたら、「意味は関数」という結論にたどり着きました。

【補足】
・動画では「述語が個体を取って真理値を返す」と言っていますが、正確には述語は個体を取って命題を返すにとどまり、真理値を返すのは解釈関数です。
・『神話と意味』について
自信がないままに話したこの説明はやっぱり少し違っているっぽく、レヴィ＝ストロースのアプローチを言語学に応用するというよりは、音韻論などで見られた構造主義的な手法を使って神話を分析しており、むしろ言語学の手法を文化人類学に持ち込んだという話でした。

【目次】
0:00 互いの分野から「意味」を掘る
5:51 研究者たちに無視されてきた「意味」
10:05 手段がないのならば借りてくればいい
13:50 「水野さんはケチ」は狭義の「意味」で関数
20:38 文を関数的に捉えたら分かりあえそう？
26:12 型理論は電子レンジ
30:21 文は関数的に扱えるのか？
41:19 プログラミング言語からみた意味論
44:04 意味論をもっとガッツリ教わりたい方必見

【参考文献のリンク】
◯言語の科学4 意味
https://amzn.to/3yIgV4j

◯形式意味論入門
https://amzn.to/4c129E8

◯型理論
https://amzn.to/3KugmNT

◯プログラミング言語の形式的意味論
https://amzn.to/3R4TIiQ

◯教養悪口本
https://amzn.to/453jkm4

【サポーターコミュニティへの加入はこちらから！】
⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://yurugengo.com/support⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【我々の初の著書『言語沼』はこちら！】
⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.valuebooks.jp/bp/VS0058755147⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【実店舗プロジェクト：ゆる学徒カフェ】
⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@yurugakuto⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【姉妹チャンネル：ゆるコンピュータ科学ラジオ】
⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@yurucom⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【Twitterあるよ！】
ゆる言語学ラジオのTwitterアカウントがあるので、是非フォローしてください！面白語源ネタなどが流れてきてあなたの知識欲が満たされます。
→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://twitter.com/yuru_gengo⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【おたよりフォーム】
⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://forms.gle/mTGM7A9QNqgjZMgN7⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠
※皆様からの楽しいおたよりをお待ちしています！

【お仕事依頼はこちら！】
info@pedantic.jp

【堀元見プロフィール】
慶應義塾大学理工学部卒。専攻は情報工学。理屈っぽいコンテンツを作り散らかすことで生計を立てている。
Twitter→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://twitter.com/kenhori2⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠
noteマガジン→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://note.com/kenhori2/m/m125fc4524aca⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠
個人YouTube→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@kenHorimoto⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【水野太貴プロフィール】
名古屋大学文学部卒。専攻は言語学。出版社で雑誌編集者として勤務。言語学の知識が本業に活きているかと思いきや、そうでもない。
Twitter→⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://twitter.com/yuru_mizuno⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

【BGM提供】
・フリーBGM・音楽素材MusMus様 ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://musmus.main.jp⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠
・OtoLogic様 ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://otologic.jp/⁠