语言学中的逻辑

本书对形式逻辑进行了大致的介绍。人工语言研究中的形式逻辑发展出了一些概念和理论，它们在某段时期对自然语言的研究有过很大的推动作用，这些知识对当前语言学，特别是语义学的学生尤其有帮助。有鉴于此，对集合理论、指称理论、命题和谓语逻辑、推理、模态和内涵逻辑以及这些方面的最新进展，作者作了一个简明扼要的介绍。同时，本文也讨论了语言学和逻辑分析，还有逻辑和自然语言之间的关系，另外，作者也扩大逻辑学家和研究语言结构的语言学家之间的合作范围，这种合作范围的扩展也是整本书的目的。