基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2011-01-18から1日間の記事一覧

成績について

授業スライド p.34 を参考にしてください。

本日の授業資料・宿題

授業スライド こちらから

授業内容

前回の復習 ランベック計算 範疇文法 範疇文法の意義 今後の予定

授業第二十六回目、今回が最終回です。本日はランベック計算と範疇文法の話をします。範疇文法は、言語学において、証明論(ランベック計算)の技法を応用し文の統辞論的な構成を表現する、文の意味とは何かという問題への広く使われる形式意味論とは別の側…