（重複して受け取られた場合はご容赦ください）
以下の研究会を予定しています。参加費や事前登録等は不要ですので、 興味をお持ちの方は、是非ご参加ください。
講演者 Kristina Liefke氏 (Tilberg University)
日時 2011/1/13(木) 16:00-18:00
タイトル A Single-Type Semantics for Natural Language
概要 In this talk, I develop a single-type semantics for natural language along the lines explored by Partee (2006). Such a theory of meaning takes different semantic domains (e.g. individuals, propositions, worlds) to be constructed from a single basic type. I formalize Partee's hypothesis in a one-sort variant of Church's Simple Theory of Types (1940) and show that it models a standard fragment of English. I finish by assessing the semantics' relative merits and limitations. More than providing a fine-grained alternative to Montague's Intensional Logic that elucidates the relationship between different types of objects, the proposed theory constitutes a further step towards the unification of mathematical and empirical perspectives on meaning.
Keywords: Single-type hypothesis, Data semantics, Montague grammar , Partial logic, Type theory.
参考文献 Church, Alonzo. 1940. "A Formulation of the Simple Theory of Types ", Journal of Symbolic Logic 5/2, 56-68.
Montague, Richard. 1973. "The Proper Treatment of Quantification in Ordinary English", Formal Philosophy (Richmond Thomason, ed.), Yale UP, New Haven and London, 1976.
Partee, Barbara. 2006. "Do We Need Two Basic Types?", Snippets: Special Issue in Honor of Manfred Krifka (Sigrid Beck and Hans- Martin Gaertner, eds.), Vol. 20, Berlin, 2009.
場所 お茶の水女子大学 理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線 茗荷谷駅徒歩7分、または 有楽町線 護国寺駅徒歩7分） 備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提 示を求められます。
_/ 戸次 大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学 理学部情報科学科 _/_/ [email protected] _/ http://www.is.ocha.ac.jp/%E2%80%BEbekki/