MARC

 008250123s2024        us                              c    eng  d
■001000017165181
■00520250211153133
■006m          o    d                
■007cr#unu||||||||
■020    ▼a9798346853756
■035    ▼a(MiAaPQ)AAI31837232
■035    ▼a(MiAaPQ)OhioLINKosu1732611563080209
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a160
■1001  ▼aNeedle,  Jordan.
■24510▼aRelational  Dynamic  Categorial  Grammar
■260    ▼a[Sl]▼bThe  Ohio  State  University▼c2024
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2024
■300    ▼a344  p
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  86-06,  Section:  A.
■500    ▼aAdvisor:  Pollard,  Carl  Jesse;Levine,  Robert  Daigon.
■5021  ▼aThesis  (Ph.D.)--The  Ohio  State  University,  2024.
■520    ▼aThe  goal  of  this  dissertation  is  the  development  of  a  unique  theoretic  approach  to  dynamic  semantics;  that  is,  a  theory  of  the  meanings  of  linguistic  expressions  which  aims  to  capture  the  rich  interplay  between  utterances  and  the  contexts  in  which  they  are  uttered.  This  is  accomplished  by  modelling  the  linguistic  context  as  a  type-theoretic  object,  allowing  for  the  meanings  of  linguistic  expressions  to  take  the  context  as  an  argument,  which  they  can  then  extract  information  from  as  well  as  modify.  In  particular,  the  meanings  of  sentences  are  modelled  as  relations  on  contexts,  associating  each  input  context  with  a  (possibly  empty)  set  of  potential  output  contexts.  One  significant  way  in  which  this  approach  differs  from  many  of  the  standard  theories  of  dynamic  semantics  is  that  while  standard  theories  use  sets  of  output  contexts  to  model  the  introduction  of  an  indefinite  discourse  referent  (DR),  in  the  approach  taken  here  the  elements  of  the  set  of  output  contexts  correspond  to  different  semantically  plausible  resolutions  of  anaphors  and  similar  presupposition-like  expressions.  As  such,  the  theory  of  dynamic  semantics  developed  in  this  dissertation,  which  I  have  dubbed  relational  dynamic  categorial  grammar,  or  RelDyCG,  is  able  to  model  semantic  contributions  to  the  resolution  of  such  operators  separately  from  the  contributions  of  other  components,  such  as  syntactic  constraints  or  discourse-structural  effects.In  RelDyCG,  linguistic  contexts  are  modelled  type-theoretically  as  functions  from  a  vector  (fixed-length  list)  of  entities  (the  DRs)  to  a  static  linguistic  proposition.  As  a  result  of  this,  the  theory  necessitates  the  use  of  a  modern  type  theory,  which  makes  use  of  what  are  known  as  dependent  types.  As  such,  a  significant  part  of  this  dissertation  is  devoted  to  describing  these  types,  and  the  theory  I  use  to  implement  them.  In  particular,  I  aim  to  show  how  they  can  be  thought  of  as  a  natural  extension  to  the  types  in  higher-order  logic  (HOL),  which  is  a  more  familiar  setting  to  most  semanticists.Alongside  the  development  of  the  foundational  component  of  RelDyCG,  as  well  as  the  type-theoretical  framework  in  which  it  is  developed,  a  few  other  linguistically  significant  components  of  the  theory  are  developed  in  this  dissertation.  First,  the  semantic  theory  is  built  up  alongside  a  simple  (categorial)  theory  of  syntax,  which  is  used  to  demonstrate  that  RelDyCG  is  entirely  compositional  in  the  usual  Fregean  sense.  Several  syntactic  derivations  are  provided  to  demonstrate  this  compositionality.  Furthermore,  several  extensions  to  the  base  RelDyCG  are  discussed,  as  demonstrations  of  how  its  underlying  architecture  can  be  useful  in  the  semantic  treatment  of  dynamic  phenomena.  One  example  is  an  improvement  on  simple  index-based  approaches  to  the  semantics  of  pronouns,  opting  instead  for  a  non-deterministic  analysis,  which  is  further  extended  to  an  analysis  of  definite  reference  via  "the."  The  other  extension  involves  modifying  the  theory  to  allow  for  the  treatment  of  conventional  implicatures.  The  result  is  a  flexible  framework  for  developing  analyses  of  dynamic  phenomena  while  maintaining  rigorous  enough  type  discipline  to  make  precise  predictions  about  natural  language.
■590    ▼aSchool  code:  0168.
■650  4▼aLogic
■650  4▼aLinguistics
■650  4▼aLanguage
■653    ▼aDynamic  semantics
■653    ▼aDependent  types
■653    ▼aDiscourse  referent
■653    ▼aModern  type  theory
■690    ▼a0290
■690    ▼a0395
■690    ▼a0679
■71020▼aThe  Ohio  State  University▼bLinguistics.
■7730  ▼tDissertations  Abstracts  International▼g86-06A.
■790    ▼a0168
■791    ▼aPh.D.
■792    ▼a2024
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17165181▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서