Pages Relations and Functions. Properties of Relations. Back Matter Pages Basic Concepts of Logic and Formal Systems.
Statement Logic. Predicate Logic. Formal Systems, Axiomatization, and Model Theory. Ontological semantics. This essay describes and comments on some of the key developments in the history of formal semantics and its relation to syntax, focusing on the period from the beginnings of Chomskyan generative … Expand.
View 1 excerpt, cites background. The myth of language universals: language diversity and its importance for cognitive science. The Behavioral and brain sciences. View 2 excerpts, cites background.
For example, consider the proposal that the syntactic component of a … Expand. Universals in semantics 1. This article surveys the state of the art in the field of semantic universals.
Universals in semantics. Abstract This article surveys the state of the art in the field of semantic universals. The vastness of natural languages. 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.
Pages Properties of Relations Pages Infinities Pages Back Matter Pages Front Matter Pages Statement Logic Pages Predicate Logic Pages Basic Concepts of Algebra Pages Operational Structures
0コメント