Higher Order Unification and the Interpretation of Focus
Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and f...
Gespeichert in:
| Veröffentlicht in: | Linguistics and philosophy 1997-02, Vol.20 (1), p.73-115 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 115 |
|---|---|
| container_issue | 1 |
| container_start_page | 73 |
| container_title | Linguistics and philosophy |
| container_volume | 20 |
| creator | Pulman, Stephen G. |
| description | Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked 'focus', or various semantic constructs which are sensitive to focus. Similarities and differences between this approach, and theories using 'alternative semantics', 'structured meanings', or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. |
| doi_str_mv | 10.1023/A:1005394619746 |
| format | Article |
| fullrecord | <record><control><sourceid>jstor_proqu</sourceid><recordid>TN_cdi_proquest_miscellaneous_85628537</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>25001654</jstor_id><sourcerecordid>25001654</sourcerecordid><originalsourceid>FETCH-LOGICAL-a359t-20c8b4de08d6b900a46f0a4613ae30c71e4e8bd1cfdf07ac92876988b510f2133</originalsourceid><addsrcrecordid>eNp10E1LAzEQBuAgCtbq2ZOwqHhbnXwn3kqxtlDoxZ6XbDaxW7a7Ndk9-O9NaUEQvMzAzMPwMgjdYnjGQOjL5BUDcKqZwFoycYZGmEuaA2f6HI0AC55Dmlyiqxi3AECk1iOk5vXnxoVsFapU123ta2v6umsz01ZZv3HZou1d2AfXH8edz2adHeI1uvCmie7m1MdoPXv7mM7z5ep9MZ0sc0O57nMCVpWscqAqUWoAw4Q_FEyNo2AldsypssLWVx6ksZooKbRSJcfgCaZ0jJ6Od_eh-xpc7ItdHa1rGtO6boiF4oIoTmWC93_gthtCm7IVSlEJgmGd0MN_CHOsKGWc8KQeT8pEaxofTGvrWOxDvTPhuzhEBCYSuzuybey78LvmcPg2oz99oXZ4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>883706419</pqid></control><display><type>article</type><title>Higher Order Unification and the Interpretation of Focus</title><source>SpringerNature Journals</source><source>Periodicals Index Online</source><source>JSTOR</source><creator>Pulman, Stephen G.</creator><creatorcontrib>Pulman, Stephen G.</creatorcontrib><description>Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked 'focus', or various semantic constructs which are sensitive to focus. Similarities and differences between this approach, and theories using 'alternative semantics', 'structured meanings', or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation.</description><identifier>ISSN: 0165-0157</identifier><identifier>EISSN: 1573-0549</identifier><identifier>DOI: 10.1023/A:1005394619746</identifier><identifier>CODEN: LIPHD6</identifier><language>eng</language><publisher>Heidelberg: Kluwer Academic Publishers</publisher><subject>Adverbs ; Categorical grammar ; Computational linguistics ; Ellipsis ; Formal languages and grammars ; Linguistics ; Logic ; Mathematics and linguistics ; Predicates ; Presuppositions ; Semantics ; Syntactics</subject><ispartof>Linguistics and philosophy, 1997-02, Vol.20 (1), p.73-115</ispartof><rights>Copyright 1997 Kluwer Academic Publishers</rights><rights>1997 INIST-CNRS</rights><rights>Kluwer Academic Publishers 1997</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a359t-20c8b4de08d6b900a46f0a4613ae30c71e4e8bd1cfdf07ac92876988b510f2133</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/25001654$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/25001654$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>315,781,785,804,27873,27928,27929,58021,58254</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2876046$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Pulman, Stephen G.</creatorcontrib><title>Higher Order Unification and the Interpretation of Focus</title><title>Linguistics and philosophy</title><description>Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked 'focus', or various semantic constructs which are sensitive to focus. Similarities and differences between this approach, and theories using 'alternative semantics', 'structured meanings', or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation.</description><subject>Adverbs</subject><subject>Categorical grammar</subject><subject>Computational linguistics</subject><subject>Ellipsis</subject><subject>Formal languages and grammars</subject><subject>Linguistics</subject><subject>Logic</subject><subject>Mathematics and linguistics</subject><subject>Predicates</subject><subject>Presuppositions</subject><subject>Semantics</subject><subject>Syntactics</subject><issn>0165-0157</issn><issn>1573-0549</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1997</creationdate><recordtype>article</recordtype><sourceid>K30</sourceid><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AIMQZ</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNp10E1LAzEQBuAgCtbq2ZOwqHhbnXwn3kqxtlDoxZ6XbDaxW7a7Ndk9-O9NaUEQvMzAzMPwMgjdYnjGQOjL5BUDcKqZwFoycYZGmEuaA2f6HI0AC55Dmlyiqxi3AECk1iOk5vXnxoVsFapU123ta2v6umsz01ZZv3HZou1d2AfXH8edz2adHeI1uvCmie7m1MdoPXv7mM7z5ep9MZ0sc0O57nMCVpWscqAqUWoAw4Q_FEyNo2AldsypssLWVx6ksZooKbRSJcfgCaZ0jJ6Od_eh-xpc7ItdHa1rGtO6boiF4oIoTmWC93_gthtCm7IVSlEJgmGd0MN_CHOsKGWc8KQeT8pEaxofTGvrWOxDvTPhuzhEBCYSuzuybey78LvmcPg2oz99oXZ4</recordid><startdate>19970201</startdate><enddate>19970201</enddate><creator>Pulman, Stephen G.</creator><general>Kluwer Academic Publishers</general><general>Springer</general><general>D. Reidel Publishing Company</general><general>Springer Nature B.V</general><scope>IQODW</scope><scope>HFIND</scope><scope>HQAFP</scope><scope>K30</scope><scope>PAAUG</scope><scope>PAWHS</scope><scope>PAWZZ</scope><scope>PAXOH</scope><scope>PBHAV</scope><scope>PBQSW</scope><scope>PBYQZ</scope><scope>PCIWU</scope><scope>PCMID</scope><scope>PCZJX</scope><scope>PDGRG</scope><scope>PDWWI</scope><scope>PETMR</scope><scope>PFVGT</scope><scope>PGXDX</scope><scope>PIHIL</scope><scope>PISVA</scope><scope>PJCTQ</scope><scope>PJTMS</scope><scope>PLCHJ</scope><scope>PMHAD</scope><scope>PNQDJ</scope><scope>POUND</scope><scope>PPLAD</scope><scope>PQAPC</scope><scope>PQCAN</scope><scope>PQCMW</scope><scope>PQEME</scope><scope>PQHKH</scope><scope>PQMID</scope><scope>PQNCT</scope><scope>PQNET</scope><scope>PQSCT</scope><scope>PQSET</scope><scope>PSVJG</scope><scope>PVMQY</scope><scope>PZGFC</scope><scope>0-V</scope><scope>3V.</scope><scope>7T9</scope><scope>7XB</scope><scope>88J</scope><scope>8BJ</scope><scope>8BM</scope><scope>8FK</scope><scope>8G5</scope><scope>AABKS</scope><scope>ABSDQ</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AIMQZ</scope><scope>ALSLI</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>CCPQU</scope><scope>CPGLG</scope><scope>CRLPW</scope><scope>DWQXO</scope><scope>FQK</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>JBE</scope><scope>LIQON</scope><scope>M2O</scope><scope>M2R</scope><scope>MBDVC</scope><scope>PADUT</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope></search><sort><creationdate>19970201</creationdate><title>Higher Order Unification and the Interpretation of Focus</title><author>Pulman, Stephen G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a359t-20c8b4de08d6b900a46f0a4613ae30c71e4e8bd1cfdf07ac92876988b510f2133</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1997</creationdate><topic>Adverbs</topic><topic>Categorical grammar</topic><topic>Computational linguistics</topic><topic>Ellipsis</topic><topic>Formal languages and grammars</topic><topic>Linguistics</topic><topic>Logic</topic><topic>Mathematics and linguistics</topic><topic>Predicates</topic><topic>Presuppositions</topic><topic>Semantics</topic><topic>Syntactics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Pulman, Stephen G.</creatorcontrib><collection>Pascal-Francis</collection><collection>Periodicals Index Online Segment 16</collection><collection>Periodicals Index Online Segment 23</collection><collection>Periodicals Index Online</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - West</collection><collection>Primary Sources Access (Plan D) - International</collection><collection>Primary Sources Access & Build (Plan A) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Midwest</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Northeast</collection><collection>Primary Sources Access (Plan D) - Southeast</collection><collection>Primary Sources Access (Plan D) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Southeast</collection><collection>Primary Sources Access (Plan D) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - UK / I</collection><collection>Primary Sources Access (Plan D) - Canada</collection><collection>Primary Sources Access (Plan D) - EMEALA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - International</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - International</collection><collection>Primary Sources Access (Plan D) - West</collection><collection>Periodicals Index Online Segments 1-50</collection><collection>Primary Sources Access (Plan D) - APAC</collection><collection>Primary Sources Access (Plan D) - Midwest</collection><collection>Primary Sources Access (Plan D) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Canada</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - EMEALA</collection><collection>Primary Sources Access & Build (Plan A) - APAC</collection><collection>Primary Sources Access & Build (Plan A) - Canada</collection><collection>Primary Sources Access & Build (Plan A) - West</collection><collection>Primary Sources Access & Build (Plan A) - EMEALA</collection><collection>Primary Sources Access (Plan D) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - Midwest</collection><collection>Primary Sources Access & Build (Plan A) - North Central</collection><collection>Primary Sources Access & Build (Plan A) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - Southeast</collection><collection>Primary Sources Access (Plan D) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - APAC</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - MEA</collection><collection>ProQuest Social Sciences Premium Collection</collection><collection>ProQuest Central (Corporate)</collection><collection>Linguistics and Language Behavior Abstracts (LLBA)</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Social Science Database (Alumni Edition)</collection><collection>International Bibliography of the Social Sciences (IBSS)</collection><collection>ComDisDome</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Research Library (Alumni Edition)</collection><collection>Philosophy Collection</collection><collection>Philosophy Database</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest One Literature</collection><collection>Social Science Premium Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>ProQuest One Community College</collection><collection>Linguistics Collection</collection><collection>Linguistics Database</collection><collection>ProQuest Central Korea</collection><collection>International Bibliography of the Social Sciences</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>International Bibliography of the Social Sciences</collection><collection>ProQuest One Literature - U.S. Customers Only</collection><collection>Research Library</collection><collection>Social Science Database</collection><collection>Research Library (Corporate)</collection><collection>Research Library China</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><jtitle>Linguistics and philosophy</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Pulman, Stephen G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Higher Order Unification and the Interpretation of Focus</atitle><jtitle>Linguistics and philosophy</jtitle><date>1997-02-01</date><risdate>1997</risdate><volume>20</volume><issue>1</issue><spage>73</spage><epage>115</epage><pages>73-115</pages><issn>0165-0157</issn><eissn>1573-0549</eissn><coden>LIPHD6</coden><abstract>Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked 'focus', or various semantic constructs which are sensitive to focus. Similarities and differences between this approach, and theories using 'alternative semantics', 'structured meanings', or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation.</abstract><cop>Heidelberg</cop><pub>Kluwer Academic Publishers</pub><doi>10.1023/A:1005394619746</doi><tpages>43</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0165-0157 |
| ispartof | Linguistics and philosophy, 1997-02, Vol.20 (1), p.73-115 |
| issn | 0165-0157 1573-0549 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_85628537 |
| source | SpringerNature Journals; Periodicals Index Online; JSTOR |
| subjects | Adverbs Categorical grammar Computational linguistics Ellipsis Formal languages and grammars Linguistics Logic Mathematics and linguistics Predicates Presuppositions Semantics Syntactics |
| title | Higher Order Unification and the Interpretation of Focus |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-17T02%3A55%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Higher%20Order%20Unification%20and%20the%20Interpretation%20of%20Focus&rft.jtitle=Linguistics%20and%20philosophy&rft.au=Pulman,%20Stephen%20G.&rft.date=1997-02-01&rft.volume=20&rft.issue=1&rft.spage=73&rft.epage=115&rft.pages=73-115&rft.issn=0165-0157&rft.eissn=1573-0549&rft.coden=LIPHD6&rft_id=info:doi/10.1023/A:1005394619746&rft_dat=%3Cjstor_proqu%3E25001654%3C/jstor_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=883706419&rft_id=info:pmid/&rft_jstor_id=25001654&rfr_iscdi=true |