一、什么是因明因明是古印度有关推理、论证方法以及思维方法的学说。后由印度传往中国与日本。唐代名僧玄奘在《大唐西域记》中，记述了他所了解的印度的教育情况：开蒙诱进，

创立于19世纪末、20世纪初的现代逻辑在短短的100多年时间里发展迅猛，不仅形成了以命题演算、谓词演算、集合论、递归论、证明论和模型论等为基础的完备、庞大的理论体系，而且迅

自然化的逻辑（NaturalizedLogic）是加拿大学者约翰伍兹（JohnWoods）①最新发展起来的一种逻辑学说。他将处于当代学术前沿的心理与认知科学、经济学以及自然化的认识论加以改造与融合

逻辑学是联合国教科文组织确定的七门基础学科之一。以山东大学哲学系本科生的逻辑学课程设置为例。哲学系会为本专业学生开设两门逻辑学课程：（1）应用逻辑，主要介绍概念、判

实质蕴涵怪论问题是逻辑哲学领域历久而弥新的焦点话题之一，对于现代逻辑基础教学也具有特殊的重要意义。我在《从形式蕴涵看实质蕴涵怪论---怪论定理之反例化解路径新探》（以

早在上世纪末期，逻辑学就已被联合国教科文组织列第7大基础学科之一，同时逻辑学还被1977年出版的大英百科全书排为五大学科的第一位。逻辑学的基础作用是对人思维的培养，作为一