西方的形式逻辑发展历史

西方的形式逻辑发展历史 西方最早运用了数学方法研究逻辑的系统。 古希腊的学者对形式逻辑进行了全面的研究,徳谟克里特曾经研究了归纳、类比和定义方面的问题,苏格拉底曾经阐述了他对归纳法与演绎法的一些看法,...
阅读全文

东方的古典逻辑发展历史

东方的古典逻辑以中国和印度为代表。 古代中国是逻辑学的发源地之一。春秋战国时期,有不少学派、学者研究过属于逻辑学方面的问题,主要表现在墨子与墨家学派、惠施、公孙龙、荀况等人的著作和言论中。 其中,以《...
阅读全文
直言判断之间的对当关系 逻辑学

直言判断之间的对当关系

直言判断之间的对当关系,是指有相同的主词和宾词的A、E、I、O四种类型。 判断之间的真假关系,这就是下面的逻辑关系: 这个方阵的每一条线,都表示两种判断之间的一定关系: (1)反对关系——A与E; (...
阅读全文
直言三段论的公理:举例说明 逻辑学

直言三段论的公理:举例说明

直言三段论的公理:举例说明 直言三段论之所以能从前提必然地推出结论,是因为它以直言三段论的公理为依据。所谓公理是不证自明的道理。例如在平面几何中,“整体大于局部”“两点间距离最短”等,就是不证自明的公...
阅读全文