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

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

【補足】

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

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

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

【目次】

◯言語の科学4 意味

◯形式意味論入門

◯型理論

◯プログラミング言語の形式的意味論

◯教養悪口本

名古屋大学文学部卒。専攻は言語学。出版社で雑誌編集者として勤務。言語学の知識が本業に活きているかと思いきや、そうでもない。

【BGM提供】