具体描述
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
作者简介
目录信息
I Introduction
1. Two traditions
2. Lambda calculus and theory of types
3. Categorial grammar
II A logical perspective
4. The hierarchy of implicational logics
5. Proofs, terms and meanings
III Proof theory
6. Exploring categorial deduction
7. Cut limitation and decidability
8. Recognizing power
IV Model theory
9. Enumerating readings
10. Computing denotational constraints
11. Boolean structure
V Variations and Extensions
12. Intensionality
13. Variable polymorphism and higher type theories
VI Toward a logic of information
14. Language families
15. Modal logic of information patterns
16. Relational algebra of control
17. Dynamic logic
VII A tour of basic logic
· · · · · · (收起)
读后感
用户评价
本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读
本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读
本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读
本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读
本学期选修《一阶逻辑》的教材,Johan教授是当代逻辑学的领军人物之一,是阿姆斯特丹大学地位很高的university professor 之一(一个大学只有不到十个)。这本书是动态逻辑基础读物,内容非常详细,详细到啰嗦的地步。此书很有见地的内容是information update的思想,把逻辑作为筛选信息的条件与手段,是本书与传统逻辑书籍最大的不同。这套思想很好地向初学者展示了现代逻辑学是如何指导语言、人工智能等学科的发展的。值得一读