读过《逻辑、语言与意义(第1卷)》 🌕🌕🌕🌕🌕
挺好看的。虽说第一卷是“入门”并且编排上也是从最基础的一步一步构造,但相比一般关于逻辑学的intro ,这书更突出对相关问题的语义讨论(当然也会兼顾逻辑的句法规则,和专门讲一下语用学),即所谓的形式语义学进路,像什么第三章引入的基于塔斯基的model-theoretic semantics、第四章对语义有效性的讨论之类。所以还是要前置一般的逻辑基础?不然对有些时候他来得陡了容易懵逼.........ps1: 中文编辑是屑,各种重要证明,真值表都能搞错也是牛批ps2: 第七章讲形式句法(什么自动机,计算分析之类)就,完全,堕入了知识盲区.........
Book
逻辑、语言与意义(第1卷) Douban
《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法(也叫形式语义学或语言逻辑)教材。由荷兰五位逻辑学、语言学学者合作撰写,并共用“哈姆特”之名出版。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。
全书分为两卷,第一卷从分析自然语言的需要出发,系统地介绍了现代逻辑的基础部分(古典命题逻辑和谓词逻辑)、现代逻辑的变异部分(多值逻辑),以及进行形式语言学研究所需要的其他知识(语用学和形式文法等内容)。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍,它以自然语言语义研究为目的,主要介绍有关的思想背景。讲解深入浅出,很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透,精心介绍了相关的核心发展成果,加上丰富的例子,可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。