戸次さんTalk-20130613

6/13(木)18:00～より、TokyoCLの新年度の勉強会を行います。

皆さまふるってお越しください。

―――――――――――――――――――――――――――

日時：6/13(木) 18:00-20:00

場所：NII 1509 セミナー室

発表：戸次さん (お茶大)

概要：

Title: Dependent type semantics: the framework

This talk introduces dependent type semantics, a new framework of

natural language semantics based on dependent type theory. Main

features of dependent type semantics are the following:

1) it is dynamic: it analyzes E-type/donkey anaphora with well-

formed representations.

2) it is proof-theoretic: entailments between the representations

can be calculated without recourse to their models.

3) it is compositional: the semantic representations of sentences

are derived from the lexicalized representations by a fixed

number of combinatory rules.

4) it explains accessibility: accessibility/inaccessibility of

anaphora is reduced to the structural differences between

proofs.

These are achieved by a specific way of combining type theoretical

approaches (cf. Ranta (1994)) and the continuation-based

approaches (cf. de Groote (2006)) to dynamic binding. From the

perspective of dependent type semantics, the source of dynamics in

natural language is the dependence on proofs of the preceding

discourses.

―――――――――――――――――――――――――――