{"title":"自然语言分析中的类型和类型理论","authors":"Peter R. Sutton","doi":"10.1146/annurev-linguistics-031422-113929","DOIUrl":null,"url":null,"abstract":"This article reviews the set of possible paths from a semantics based on Simple Type Theories (STTs) toward one based on Rich Type Theories (RTTs) and the motivations behind the move from one to the other. The main elements of this review are threefold. First, it provides a systematic overview of different STTs, including options for what to include as members of the set of basic types, and whether to assume type constructors additional to the one for constructing functional types. Second, this review discusses the main differences between STTs and RTTs, namely, that in RTTs but not in STTs, types are part of the object language. That is, one can refer to and reason with and about types. In turn, this makes available an alternative account of propositions to the one assumed in semantics in the Frege–Church–Montague tradition: Instead of being characterized as sets of possible worlds, propositions can be treated themselves as types, that is, as structured semantic objects. Third and finally, this review provides an outline of some of the main applications of RTTs, including hyperintensionality, quantification, anaphora, polysemy, and modification. Expected final online publication date for the Annual Review of Linguistics, Volume 10 is January 2024. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.","PeriodicalId":45803,"journal":{"name":"Annual Review of Linguistics","volume":null,"pages":null},"PeriodicalIF":3.0000,"publicationDate":"2023-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Types and Type Theories in Natural Language Analysis\",\"authors\":\"Peter R. Sutton\",\"doi\":\"10.1146/annurev-linguistics-031422-113929\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article reviews the set of possible paths from a semantics based on Simple Type Theories (STTs) toward one based on Rich Type Theories (RTTs) and the motivations behind the move from one to the other. The main elements of this review are threefold. First, it provides a systematic overview of different STTs, including options for what to include as members of the set of basic types, and whether to assume type constructors additional to the one for constructing functional types. Second, this review discusses the main differences between STTs and RTTs, namely, that in RTTs but not in STTs, types are part of the object language. That is, one can refer to and reason with and about types. In turn, this makes available an alternative account of propositions to the one assumed in semantics in the Frege–Church–Montague tradition: Instead of being characterized as sets of possible worlds, propositions can be treated themselves as types, that is, as structured semantic objects. Third and finally, this review provides an outline of some of the main applications of RTTs, including hyperintensionality, quantification, anaphora, polysemy, and modification. Expected final online publication date for the Annual Review of Linguistics, Volume 10 is January 2024. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.\",\"PeriodicalId\":45803,\"journal\":{\"name\":\"Annual Review of Linguistics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":3.0000,\"publicationDate\":\"2023-10-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Review of Linguistics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1146/annurev-linguistics-031422-113929\",\"RegionNum\":1,\"RegionCategory\":\"文学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"LANGUAGE & LINGUISTICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Review of Linguistics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1146/annurev-linguistics-031422-113929","RegionNum":1,"RegionCategory":"文学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"LANGUAGE & LINGUISTICS","Score":null,"Total":0}
Types and Type Theories in Natural Language Analysis
This article reviews the set of possible paths from a semantics based on Simple Type Theories (STTs) toward one based on Rich Type Theories (RTTs) and the motivations behind the move from one to the other. The main elements of this review are threefold. First, it provides a systematic overview of different STTs, including options for what to include as members of the set of basic types, and whether to assume type constructors additional to the one for constructing functional types. Second, this review discusses the main differences between STTs and RTTs, namely, that in RTTs but not in STTs, types are part of the object language. That is, one can refer to and reason with and about types. In turn, this makes available an alternative account of propositions to the one assumed in semantics in the Frege–Church–Montague tradition: Instead of being characterized as sets of possible worlds, propositions can be treated themselves as types, that is, as structured semantic objects. Third and finally, this review provides an outline of some of the main applications of RTTs, including hyperintensionality, quantification, anaphora, polysemy, and modification. Expected final online publication date for the Annual Review of Linguistics, Volume 10 is January 2024. Please see http://www.annualreviews.org/page/journal/pubdates for revised estimates.
期刊介绍:
The Annual Review of Linguistics, in publication since 2015, covers significant developments in the field of linguistics, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and their interfaces. Reviews synthesize advances in linguistic theory, sociolinguistics, psycholinguistics, neurolinguistics, language change, biology and evolution of language, typology, as well as applications of linguistics in many domains.