HOME > 상세정보

상세정보

Foundations of intensional semantics

Foundations of intensional semantics

자료유형
단행본
개인저자
Fox, Chris, 1965-. Lappin, Shalom.
서명 / 저자사항
Foundations of intensional semantics / Chris Fox and Shalom Lappin.
발행사항
Malden MA :   Blackwell Pub.,   2005.  
형태사항
xiii, 192 p. ; 24 cm.
ISBN
9780631233756 (hardcover : alk. paper) 063123375X (hardcover : alk. paper) 9780631233763 (pbk. : alk. paper) 0631233768 (pbk. : alk. paper)
서지주기
Includes bibliographical references (p. [172]-179) and index.
일반주제명
Semantics. Semantics (Philosophy) Intension (Logic) Semantics -- Data processing.
000 01118camuu2200337 a 4500
001 000045713565
005 20120731115328
008 120727s2005 mau b 001 0 eng
010 ▼a 2005010277
020 ▼a 9780631233756 (hardcover : alk. paper)
020 ▼a 063123375X (hardcover : alk. paper)
020 ▼a 9780631233763 (pbk. : alk. paper)
020 ▼a 0631233768 (pbk. : alk. paper)
035 ▼a (KERIS)REF000011050309
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a P325 ▼b .F657 2005
082 0 0 ▼a 401/.43 ▼2 22
084 ▼a 401.43 ▼2 DDCK
090 ▼a 401.43 ▼b F791f
100 1 ▼a Fox, Chris, ▼d 1965-.
245 1 0 ▼a Foundations of intensional semantics / ▼c Chris Fox and Shalom Lappin.
260 ▼a Malden MA : ▼b Blackwell Pub., ▼c 2005.
300 ▼a xiii, 192 p. ; ▼c 24 cm.
504 ▼a Includes bibliographical references (p. [172]-179) and index.
650 0 ▼a Semantics.
650 0 ▼a Semantics (Philosophy)
650 0 ▼a Intension (Logic)
650 0 ▼a Semantics ▼x Data processing.
700 1 ▼a Lappin, Shalom.
945 ▼a KLPA

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 401.43 F791f 등록번호 111671560 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

Chris Fox(지은이)

Shalom Lappin(지은이)

정보제공 : Aladin

목차

Preface.

1. Introduction.

1.1 Montague’s Intensional Logic.

1.2 Architectural Features of IL.

1.3 Structure of the Book.

2. Alternative Approaches to Fine-Grained Intensionality.

2.1 An Algebraic Representation of Possible Worlds Semantics.

2.2 Two Strategies for Hyperintensionalism.

2.3 Thomason’s Intentional Logic.

2.4 Bealer’s Intensional Logic.

2.5 Structured Meanings and Interpreted Logical Forms.

2.6 Landman’s Data Semantics.

2.7 Situation Semantics and Infon Algebras.

2.8 Situations as Partial Models.

2.9 Topos Semantics.

2.10 Conclusion.

3 Intensions as Primitives.

3.1 A Simple Intensional Theory.

3.2 Types and Sorts.

3.3 Abstraction and Application.

3.4 PT: An Untyped Theory.

3.5 Intensionality in FIL and PTCT.

3.6 Conclusions.

4. A Higher-Order, Fine-Grained Intensional Logic.

4.1 Introduction.

4.2 Fine-Grained Intensional Logic.

4.3 A Semantics for FIL.

4.4 Conclusion.

5. Property Theory with Curry Typing.

5.1 PTCT: A Curry-Typed Theory.

5.2 PTCT: Syntax of the basic theory.

5.3 A Proof Theory for PTCT.

5.4 Example Proof.

5.5 Intensional Identity v. Extensional Equivalence.

5.6 Extending the Type System.

5.7 A Model Theory for PTCT.

5.8 Types and Properties.

5.9 Separation Types and Internal Type Judgements.

5.10 Truth as a Type.

5.11 Conclusion.

6. Number Theory and Cardinaltiy.

6.1 Proportional Cardinality Quantifiers.

6.2 Peano Arithmetic.

6.3 Number Theory in FIL.

6.4 Proportional Generalized Quantifiers in FIL.

6.5 Number Theory in PTCT.

6.6 Proportional Generalized Quantifiers in PTCT.

6.7 Presburger Arithmetic.

6.8 Presburger Arithmetic in PTCT.

6.9 Conclusions.

7. Anaphora and Ellipsis.

7.1 A Type-Theoretical Approach to Anaphora.

7.2 Ellipsis in PTCT.

7.3 Comparison with Other Type-Theoretical Approaches.

7.4 Conclusion.

8. Underspecified Interpretations.

8.1 Underspecified Representations.

8.2 Comparison with Other Theories.

8.3 Conclusion.

9. Expressive Power and Formal Strength.

9.1 Decidability and Completeness.

9.2 Arguments For Higher-Order Theories.

9.3 Arguments Against Higher-Order Theories.

9.4 Self-application, Stratification and Impredicativity.

9.5 First-Order Status and Finite Cardinality.

9.6 Relevance of PTCT to Computational Semantics.

9.7 Conclusions.

10. Conclusions.

10.1 Montague Semantics and the Architecture of Semantic Theory.

10.2 Algebraic Semantics and Fine-Grained Alternatives to MS.

10.3 A Conservative Revision of MS.

10.4 Enriching Property Theory with Curry Typing.

10.5 An Intensional Number Theory.

10.6 A Dynamic Type-Theoretic Account of Anaphora and Ellipsis.

10.7 Underspecified Interpretations as _-Terms of the Representation Language.

10.8 PTCT and Computational Semantics: Directions for Future Work.

Bibliography.

Author Index.

Subject Index.


정보제공 : Aladin

관련분야 신착자료