ゆる言語学ラジオ

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


Listen Later

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


【補足】

・動画では「述語が個体を取って真理値を返す」と言っていますが、正確には述語は個体を取って命題を返すにとどまり、真理値を返すのは解釈関数です。

・『神話と意味』について

自信がないままに話したこの説明はやっぱり少し違っているっぽく、レヴィ=ストロースのアプローチを言語学に応用するというよりは、音韻論などで見られた構造主義的な手法を使って神話を分析しており、むしろ言語学の手法を文化人類学に持ち込んだという話でした。


【目次】

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⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

※皆様からの楽しいおたよりをお待ちしています!


【お仕事依頼はこちら!】

【堀元見プロフィール】
慶應義塾大学理工学部卒。専攻は情報工学。理屈っぽいコンテンツを作り散らかすことで生計を立てている。

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/⁠

...more
View all episodesView all episodes
Download on the App Store

ゆる言語学ラジオBy Yuru Gengogaku Radio

  • 4.8
  • 4.8
  • 4.8
  • 4.8
  • 4.8

4.8

35 ratings


More shows like ゆる言語学ラジオ

View all
歴史を面白く学ぶコテンラジオ (COTEN RADIO) by COTEN inc.

歴史を面白く学ぶコテンラジオ (COTEN RADIO)

215 Listeners

TAKRAM RADIO by SPINEAR

TAKRAM RADIO

6 Listeners

聴く講談社現代新書 by kodansha

聴く講談社現代新書

10 Listeners

サイエントーク by 研究者レンとOLエマ

サイエントーク

4 Listeners

超相対性理論 by 超相対性理論

超相対性理論

10 Listeners

サイエンマニア by 研究者レン from サイエントーク

サイエンマニア

4 Listeners

超リアルな行動心理学 by FERMONDO

超リアルな行動心理学

27 Listeners

ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

ゆるコンピュータ科学ラジオ

15 Listeners

ゆる民俗学ラジオ by Yuru Minzokugaku Radio

ゆる民俗学ラジオ

3 Listeners

ゆる生態学ラジオ by Yuru Seitai Radio

ゆる生態学ラジオ

1 Listeners

ゆる天文学ラジオ by Yuru Tenmon Radio

ゆる天文学ラジオ

0 Listeners

ゆる音楽学ラジオ by ゆる音楽学ラジオ

ゆる音楽学ラジオ

4 Listeners

日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

日本一たのしい哲学ラジオ

4 Listeners

ゆる哲学ラジオ by ゆる哲学ラジオ

ゆる哲学ラジオ

4 Listeners

これって教養ですか? by shueisha vox

これって教養ですか?

0 Listeners