《语言逻辑分析》美_麦考莱着_杭大_汉语言文字学书籍

《语言逻辑分析》美_麦考莱着_杭大_汉语言文字学书籍

语言逻辑分析 语言学家关注的一切逻辑问题(美)J.D.麦考莱著 王维贤徐颂列等译 王维贤 校Jame D.McCawley Everything that Linguists have Always Want- ed to Know about Logic x x but were ashamed to ask SecondEdition Licensed by The University of Chicago Press, Chicago,Illinois, U.S.A.Copyright 1981,by the University of Chicago.All rights reserved.经本书版权所有者授权在中国出版本书中文 译本。3由命题逻辑补充的谓词逻辑 推理规则如何限制真值 语言与元语言 不同类型的完全性 附录A:对元语言的进一步讨论 附录B:一个语义完全性证明的概述 集合的运算 有穷集和无穷集 关系和函项 谓词逻辑ⅡI:语义 谓词逻辑中的真值 带相等的谓词逻辑 空真和域的语用限制 约束和非约束的量词 可满足性和有效性