Overview
- Authors:
-
-
Barbara H. Partee
-
Department of Linguistics, University of Massachusetts, Amherst, USA
-
Alice Meulen
-
Departments of Philosophy and Linguistics, Indiana University, Bloomington, USA
-
Robert E. Wall
-
Department of Linguistics, University of Texas, Austin, USA
Access this book
Other ways to access
Table of contents (22 chapters)
-
Front Matter
Pages i-xxii
-
Set Theory
-
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 3-26
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 27-37
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 39-53
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 55-73
-
-
Logic and Formal Systems
-
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 87-96
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 97-134
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 135-178
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 179-235
-
Back Matter
Pages 237-244
-
Algebra
-
Front Matter
Pages 245-245
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 247-253
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 255-274
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 275-294
-
- Barbara H. Partee, Alice Ter Meulen, Robert E. Wall
Pages 295-307
-
Back Matter
Pages 309-312
-
English as a Formal Language
-
Front Matter
Pages 313-313
About this book
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.
Forupper-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.
Authors and Affiliations
-
Department of Linguistics, University of Massachusetts, Amherst, USA
Barbara H. Partee
-
Departments of Philosophy and Linguistics, Indiana University, Bloomington, USA
Alice Meulen
-
Department of Linguistics, University of Texas, Austin, USA
Robert E. Wall