Logic, Language, and Meaning, Volume 1

Logic, Language, and Meaning, Volume 1:IntroductiontoLogic

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

内容简介

Although the two volumes of "Logic, Language, and Meaning" can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.

Volume 1, "Introduction to Logic," begins with a historical overview and then offers a thorough introd...

(展开全部)

作者简介

Although the two volumes of "Logic, Language, and Meaning" can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.

Volume 1, "Introduction to Logic," begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic.

In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.

Logic, Language, and Meaning, Volume 1是1990年由UniversityOfChicagoPress出版,作者L.T.F.Gamut。

得书感谢您对《Logic, Language, and Meaning, Volume 1》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
Go语言趣学指南 电子书
Go是谷歌公司为了解决重大问题而设计的一种小型编程语言。完成大型项目需要大型团队,而大型团队中团队成员的经验水平往往各不相同。Go是一种小巧却功能强大的语言,它能够被任何人理解和使用,无论其经验如何。 快速、现代的编程语言能让业余爱好者、初学者和专业人员都受益。你需要的正是这样的语言。本书针对Go语言基础知识提供了实操性的指导,使你能够掌握Go语法,使用类型和函数,探索状态和并发等更重要的概念,并通过大量练习来巩固学到的知识。 本书包括以下内容: ●切片、接口、指针和并发等重要语言概念; ●地鼠太空航行、火星探测器、文本加密以及人类繁衍模拟等7个单元实验; ●无须安装即可在Go Playground中运行的示例。 本书面向所有熟悉计算机编程以及渴望获得这一技能的人。
问,就对了!用提问掌控人生主动权 电子书
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。
从零开始学数字电路 电子书
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
计算机数学:算法基础线性代数与图论 电子书
计算机专业数学教材:六章涵盖核心知识,培养逻辑编程思维。
计算机图形学编程(使用OpenGL和C++)(第2版) 电子书
本书以OpenGL和C++作为工具,介绍计算机图形学编程的相关内容。