图书介绍：该选题主要从4个方面对当代逻辑进行了的多向度研究：第一部分对当关系主项存在问题、周延性理论及其欧拉图解、模态逻辑方阵以及其他若干问题进行了探讨，并阐述一些思维形式辩证法的思想。第二部分着重对广义量词理论，主要包括广义量词语义对三段论有效性的扩展、广义量词的推理模式、现代对当方阵、直言三段论推理规则的广义量词形式化以及对一阶逻辑的扩展等问题加以研究，对增强逻辑的表达力，对计算机更好地进行自然语言信息处理具有重要意义。第三部分以现代逻辑语义学成果为工具，对指称论语义学思想的形成、荀子约定论语义学思想、《墨经》中的的语义学思想以及《吕氏春秋》对先秦语义学思想的总结等进行了梳理和概括，描绘了一幅先秦语义学思想的画卷。第四部分对邓小平思维特征中的客观性、简约性、互动性以及批判性思维的生成、实践和价值等给以了创造性研究，展示了伟人丰富的理性思维品格，有助于人们对博大精深的邓小平理论的多维度把握。