HOME > Detail View

Detail View

Modern perspectives in type-theoretical semantics

Modern perspectives in type-theoretical semantics (Loan 1 times)

Material type
단행본
Personal Author
Chatzikyriakidis, Stergios. Luo, Zhaohui.
Title Statement
Modern perspectives in type-theoretical semantics / Stergios Chatzikyriakidis, Zhaohui Luo, editors.
Publication, Distribution, etc
New York, NY :   Springer,   c2017.  
Physical Medium
viii, 296 p. : ill. ; 25 cm.
Series Statement
Studies in linguistics and philosophy,0924-4662 ; v. 98
ISBN
9783319504209
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Type theory. Semantics (Philosophy).
000 00000cam u2200205 a 4500
001 000046000815
005 20191008114959
008 190930s2017 nyua b 000 0 eng d
020 ▼a 9783319504209
035 ▼a (KERIS)BIB000014991299
040 ▼a KR-SlNAL ▼b eng ▼c KR-SlNAL ▼e rda ▼d 211009
082 0 4 ▼a 401.4301 ▼2 NAL
084 ▼a 401.4301 ▼2 DDCK
090 ▼a 401.4301 ▼b M689
245 0 0 ▼a Modern perspectives in type-theoretical semantics / ▼c Stergios Chatzikyriakidis, Zhaohui Luo, editors.
260 ▼a New York, NY : ▼b Springer, ▼c c2017.
300 ▼a viii, 296 p. : ▼b ill. ; ▼c 25 cm.
490 1 ▼a Studies in linguistics and philosophy, ▼x 0924-4662 ; ▼v v. 98
504 ▼a Includes bibliographical references.
650 0 ▼a Type theory.
650 0 ▼a Semantics (Philosophy).
700 1 ▼a Chatzikyriakidis, Stergios.
700 1 ▼a Luo, Zhaohui.
830 0 ▼a Studies in linguistics and philosophy ; ▼v v. 98.
945 ▼a KLPA

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 401.4301 M689 Accession No. 111815398 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Intro -- Contents -- Contributors -- Introduction: Modern Perspectives in Type Theoretical Semantics -- 1 Type Theories: Historical Development -- 2 Type Theories as Foundational Languages of Formal Semantics -- 3 Contents of the Volume -- References -- Part I Foundational Issues -- Context-Passing and Underspecification in Dependent Type Semantics -- 1 Introduction -- 1.1 Natural Language Semantics via Dependent Type Theory -- 1.2 Compositionality Problem of Discourse Anaphora -- 1.3 Partial Solutions in Dependent Type Theory -- 1.4 The Interpretation of Common Nouns in Dependent Type Theory -- 2 Verification Conditions of Discourse and Empirical Tests -- 3 Toward Dependent Type Semantics -- 3.1 Context-Passing Mechanism -- 3.2 Underspecified Terms -- 3.3 Syntactic Calculus and Semantic Composition -- 3.4 Type Checking as the Felicity Condition -- 3.5 Anaphora Resolution and Presupposition Binding -- 3.6 (In)accessibility -- 3.7 Inferences as Tests -- 4 Presuppositions as Type Inferences -- 4.1 Presupposition Phenomena -- 4.2 Projection -- 4.3 Filtering -- 4.4 Bridging Inferences and Gender Presuppositions of Pronouns -- 4.5 Factive Presupposition -- 5 Conclusion -- References -- On the Interpretation of Common Nouns: Types Versus Predicates -- 1 Introduction -- 2 Common Nouns as Types or Predicates: Different Approaches -- 2.1 Types Versus Predicates -- 2.2 Different Approaches to Interpretation of CNs -- 3 Predicational Forms of Judgements in Formal Semantics -- 3.1 Predicational Forms of Non-hypothetical Judgements -- 3.2 Predicational Forms of Negated Judgements -- 3.3 Conditionals: Predicational Forms of Hypothetical Judgements -- 4 Examples with Coq Experiments -- 4.1 General Set-Up for Predicational Forms -- 4.2 Examples with Explanations -- 5 Indexed Types for Interpretation of CNs -- 6 Concluding Remarks -- References -- Adapting Type Theory with Records for Natural Language Semantics -- 1 Rich Type Theory, Cognition and the Formal Semantics Tradition -- 2 Type Theory Without Records -- 3 Type Theory with Dependent Record Types -- 4 Dependent Types -- 5 Conclusion -- References -- Generalized Quantifiers on Dependent Types: A System for Anaphora -- 1 Unbound Anaphora -- 2 Main Features of the System -- 2.1 Context and Type Dependency -- 2.2 Many-Typed (Many-Sorted) Analysis -- 2.3 Generalized Quantifiers on Dependent Types -- 2.4 English-to-Formal Language Translation -- 3 Dynamic Extensions of Contexts -- 3.1 Maximal Anaphora to Quantifiers -- 3.2 Quantificational Subordination -- 3.3 Cumulative and Branching Continuations -- 3.4 `Donkey Anaphora'' -- 3.5 Nested Dependencies -- 3.6 Escaping Dependencies -- 3.7 Iterated `Donkey Examples'' -- 4 System - Syntax -- 4.1 Alphabet -- 4.2 Contexts -- 4.3 Type Formation: Σ-Types and Π-Types -- 4.4 Quantifier-Free Formulas -- 4.5 Quantifier Phrases -- 4.6 Packs of Quantifiers -- 4.7 Pre-chains and Chains of Quantifiers -- 4.8 Formulas, Sentences and ast-Sentences -- 4.9 Type Formation T -- 4.

New Arrivals Books in Related Fields