意味ってなに？ ポール・ポートナー著 片岡 宏仁訳

意味を形式化して考えるツールとして言語学や分析哲学で広く使われていながら、へんてこな記号が乱舞する形式意味論。気になるけれどなかなか入門できずにいる読者を、形式意味論の核心に手引きします。論理記号は控えめ、図解はたっぷり。語り口はくだけているけれど、いたって大まじめです。 謝辞 凡例 第1章 基本的な問い 1.1 意味とはなにか？ 1.2 意味はこの世界にある 1.3 文の意味は真理条件で考えるべき 第2章 部品をまとめて1つの意味にする 2.1 名前は指示する 2.2 不完全命題 2.3 述定とは飽和のことだ 2.4 構成性 2.5 統語論と意味論 第3章 さらに述語について 3.1 他のタイプの述語──形容詞，述語的名詞類 3.2 他動詞 3.3 関係節 3.4 話題化 3.5 原子未満の意味論 3.6 集合と関数で属性をモデル化 第4章 修飾語 4.1 形容詞＋Nの結合 4.2 形容