[logic-ml] 形式意味論研究会のご案内

[BEKKI Daisuke]

（重複して受け取られた場合はご容赦ください）

　以下の研究会を予定しています。参加費や事前登録等は不要ですので、
興味をお持ちの方は、是非ご参加ください。

講演者
  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)
_/_/_/ お茶の水女子大学 理学部情報科学科
_/_/ bekki at is.ocha.ac.jp
_/ http://www.is.ocha.ac.jp/‾bekki/