半符号逻辑介于符号逻辑和传统逻辑之间,是两者沟通的桥梁可以用传统逻辑的观念、借助半符号逻辑解读符号逻辑;也可以用符号逻辑的理念,借助半符号逻辑解读传统逻辑
顾名思义,半符号逻辑具有符号逻辑的部分特质——借助符号进行逻辑演算;又因为不是完全的符号化,部分保留了传统逻辑中自然语言直观、语义性的特性,所以利用半符号逻辑可以同时在“语法”和“语义”的基础上进行逻辑演绎(演算),进而渗入各种应用领域为达此目的,书中分析了100多道例题,给出100余道练习题
半符号逻辑的基础在符号逻辑(数理逻辑),因此对符号逻辑的基本概念和基础理论,书中有所交代;半符号逻辑是对传统逻辑的适当抽象,所以对相关的传统逻辑内容书中也有阐述但是本书的**在于教授如何用半符号逻辑进行逻辑演算的方法和技巧
在学习**章(尤其重要的是§13逻辑的基本规律)、第二章和第四章的基础部分的基础上,目的不同的读者,可以采用不同的方法学习、阅读本书
如果用本书作教材,建议按章节循序渐进,但是标有“*”的章��可以视需要暂予省略。如果为备考而学习,可以忽略书中将传统逻辑和半符号逻辑作比较沟通的内容在了解(第二章、第四章)逻辑连接词的定义、半符号化原则和方法、半符号逻辑演算原则和方法后,可以**阅读第三章、第五章。