Semantics Workshop in Tokai and Kansai

第65回 

東海・関西意味論研究会

  2026年2月21日 (土) 13時30分 (13:30 ~ onwards, 21st February 2025)

名古屋学院大学白鳥学舎 曙館 607 (Nagoya Gakuin University, Shiratori Campas, Akebonokan room 607)/Zoom

https://www.ngu.jp/english/location-access/access/ (map) 地図

研究発表 (Lecture)：13:30~15:00

Daiki Matsuoka (Tokyo University)

An accommodation-based theory of supplements

The content of supplements (e.g., appositive relative clauses; Potts, 2005) has traditionally been regarded as independent of at-issue content, due to their apparently scopeless behavior. However, this multidimensional view of supplements has been questioned by evidence for "interdimensional" anaphoric dependencies, namely, binding into and out of supplements. Moreover, these anaphora-related behaviors of supplements pattern with those of presuppositions, calling for a unified account of how supplements and presuppositions interact with at-issue content. Against this backdrop, this talk puts forward the idea that the semantic behavior of supplements is driven by the same mechanism as presupposition accommodation. After motivating this idea empirically, I present a formal account within Dependent Type Semantics, a type-theoretical framework that handles anaphora and presuppositions with underspecified semantic representations. Specifically, I demonstrate how this framework allows supplements and presuppositions to enter into scopal relations with quantifiers, thereby uniformly accounting for their anaphoric interactions with at-issue content.

研究発表 (Lecture)：15:15~ onwards

Daisuke Bekki (Ochanomizu University)

依存型意味論が前提とする証明の概念

依存型意味論(Dependent Type Semantics: DTS)(Bekki 2014, Bekki Mineshima 2017, Bekki 2021)は、直観主義型理論に基づく自然言語の検証主義的意味論である。DTSは照応・前提・慣習的含みといった投射的内容に合成原理に基づいた分析を与えられること、実装を通した理論検証が実現しつつあること、既存の動的意味論に対する経験的優位性が示されていることなどの特筆すべき性質を持った意味理論であるが、形式意味論のいわゆるメインストリームである可能世界意味論とは意味の理論としての立て付けが異なるため、研究者の間でその示唆が十分に共有されているとは言い難い。

本講演の前半では、DTSにおける意味の考え方の基礎である、自然演繹と型付きラムダ計算の間のカリー・ハワード対応、そこから導かれる「証明」と「計算」の概念、それらの依存型への拡張等について解説する。後半では、可能世界的意味論への批判としてBarwise and Perry (1981)で論じられた論理的同値性(logical equivalence)の問題や、Cooper and Ginzberg (2015)で論じられた粒度の粗さ(coarseness of grain)の問題を取り上げ、CooperによるType Theory of Records (TTR)による解決をDTSが受け継いでいることや、DTSにおける検証条件、真理条件の概念等を解説する。