Advertisement

Mathematical Methods in Linguistics

  • Barbara H. Partee
  • Alice Ter Meulen
  • Robert E. Wall

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 30)

Table of contents

  1. Front Matter
    Pages i-xxii
  2. Set Theory

    1. Front Matter
      Pages 1-1
    2. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 3-26
    3. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 27-37
    4. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 39-53
    5. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 55-73
    6. Back Matter
      Pages 75-84
  3. Logic and Formal Systems

    1. Front Matter
      Pages 85-85
    2. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 87-96
    3. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 97-134
    4. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 135-178
    5. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 179-235
    6. Back Matter
      Pages 237-244
  4. Algebra

    1. Front Matter
      Pages 245-245
    2. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 247-253
    3. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 255-274
    4. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 275-294
    5. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 295-307
    6. Back Matter
      Pages 309-312
  5. English as a Formal Language

    1. Front Matter
      Pages 313-313
    2. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 315-369
    3. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 371-399
    4. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 401-428
  6. Languanges, Grammars, and Automata

    1. Front Matter
      Pages 429-429
    2. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 431-452
    3. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 453-484
    4. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 485-504
    5. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 505-525
    6. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 527-532
    7. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 533-551
    8. Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
      Pages 553-557
  7. Back Matter
    Pages 559-666

About this book

Introduction

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts.
For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language.

Keywords

computational linguistics language linguistics logic predicate logic semantics

Authors and affiliations

  • Barbara H. Partee
    • 1
  • Alice Ter Meulen
    • 2
  • Robert E. Wall
    • 3
  1. 1.Department of LinguisticsUniversity of MassachusettsAmherstUSA
  2. 2.Departments of Philosophy and LinguisticsIndiana UniversityBloomingtonUSA
  3. 3.Department of LinguisticsUniversity of TexasAustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-2213-6
  • Copyright Information Springer Science+Business Media B.V. 1993
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-277-2245-4
  • Online ISBN 978-94-009-2213-6
  • Series Print ISSN 0924-4662
  • Buy this book on publisher's site