论文部分内容阅读
<正> (一) 通过长期的刻苦钻研,在深入地分析人类普通的逻辑思维实际的基础上,作者运用数理逻辑的演算技巧,在本书的第五、六两章提出了命题演算Cm系统和名词演算Cn系统。作者所创作的Cm系统和Cn系统是符合某些为人类普通的逻辑思维所强调的方面的命题逻辑和名词逻辑。形式系统Cm和Cn作为从对日常生活和科学研究中的普通的逻辑思维的一些重要方面的体会而产生出来的东西看,颇有研究价值,应该获得普通逻辑和数理逻辑工作者的重视和赞助。鉴于目前在我国事实上存在着普通逻辑和数理逻辑之间的深刻的专业上的区分,而