| dbo:abstract |
Type shifter je ve monáda přiřazující prvku typu jím generovaný ultrafiltr typu : Tuto konstrukci zavedla v jazykovědě pro reprezentaci kvantifikátorů. Její myšlenku později rozšířil na používání kontinuací pro reprezentaci . Implementace je možná v teorii typů pomocí závislostních typů. (cs) In formal semantics, a type shifter is an interpretation rule which changes an expression's semantic type. For instance, while the English expression "John" might ordinarily denote John himself, a type shifting rule called Lift can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter which it generates. 1. * Without type shifting: 2. * Type shifting with Lift: Type shifters were proposed by Barbara Partee and in 1983 to allow for systematic type ambiguity. Work of this period assumed that syntactic categories corresponded directly with semantic types and researchers thus had to "generalize to the worst case" when particular uses of particular expressions from a given category required an especially high type. Moreover, Partee argued that evidence in fact supported expressions having different types in different contexts. Thus, she and Rooth proposed type shifting as a principled mechanism for generating this ambiguity. Type shifters remain a standard tool in formal semantic work, particularly in categorial grammar and related frameworks. Type shifters have also been used to interpret quantifiers in object position and to capture scope ambiguities. In this regard, they serve as an alternative to syntactic operations such as quantifier raising used in mainstream generative approaches to semantics. Type shifters have also been used to generate and compose alternative sets without the need to fully adopt an alternative-based semantics. (en) |
| dbo:wikiPageID |
66672458 (xsd:integer) |
| dbo:wikiPageLength |
4525 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1068892393 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Compositionality dbr:Generative_grammar dbr:English_language dbr:Function_(mathematics) dbr:Denotation dbr:Barbara_Partee dbc:Semantics dbr:Type_conversion dbr:Type_theory dbr:Alternative_semantics dbr:Ambiguity dbr:Formal_semantics_(natural_language) dbr:Syntax‐semantics_interface dbr:Categorial_grammar dbr:Syntactic_category dbr:Scope_(formal_semantics) dbr:Principal_ultrafilter dbr:Quantifier_raising dbr:Mats_Rooth |
| dbp:wikiPageUsesTemplate |
dbt:Reflist dbt:Smallcaps dbt:Semantics-stub dbt:Formal_semantics |
| dcterms:subject |
dbc:Semantics |
| rdfs:comment |
Type shifter je ve monáda přiřazující prvku typu jím generovaný ultrafiltr typu : Tuto konstrukci zavedla v jazykovědě pro reprezentaci kvantifikátorů. Její myšlenku později rozšířil na používání kontinuací pro reprezentaci . Implementace je možná v teorii typů pomocí závislostních typů. (cs) In formal semantics, a type shifter is an interpretation rule which changes an expression's semantic type. For instance, while the English expression "John" might ordinarily denote John himself, a type shifting rule called Lift can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter which it generates. 1. * Without type shifting: 2. * Type shifting with Lift: (en) |
| rdfs:label |
Type shifter (cs) Type shifter (en) |
| owl:sameAs |
wikidata:Type shifter dbpedia-cs:Type shifter https://global.dbpedia.org/id/FqwbM |
| prov:wasDerivedFrom |
wikipedia-en:Type_shifter?oldid=1068892393&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Type_shifter |
| is dbo:wikiPageWikiLink of |
dbr:Syntactic_movement dbr:Intersective_modifier dbr:Combinatory_categorial_grammar dbr:Categorial_grammar dbr:Scope_(formal_semantics) dbr:Syntax–semantics_interface dbr:Outline_of_logic |
| is foaf:primaryTopic of |
wikipedia-en:Type_shifter |