符号逻辑是研究传统逻辑的有力工具

已经老化了的传统逻辑如何充实改进,以便适应今日科学发展的需求?对此,我国逻辑学界议论纷纷。笔者在教学实践中运用符号逻辑讨论和处理了若干在传统逻辑中难以解决的问题,从而也对古老的科学如何新生获得了一些认识,兹将其中的两个问题与拙见叙述如下。(一) 让我们从几年前的一场逻辑争论说起。我们假定下面这个经验命题是真实的:“如果某人骄傲,那么某人落后”。将这个命题再加上小前提:“某人骄傲”,可以有效地推出“某人落后”。将这个经验命题加上另一小前提“某人落     

附性推理规范化尝试——兼评墨家“杀盗非杀人”

一、这是三段论推理吗? 莱布尼茨曾经从琼金·雍吉厄斯的《汉堡逻辑》中,选出一个很有名的例子。这个例子与下述推理相当: 所有的圆都是几何图形, 某人画了一个圆, 某人画了一个几何图形。这个推理的正确性是十分直观的,但是为这类推理寻找一个形式的表达方法却不很容易。有人认为是三段论,这是不对的。亚里士多德把这类推理与三段论作了区分。用亚里士多。德或者琼金·雍吉厄斯的话来说,“圆”、“几何图形”在第一句中是“主格”,而在第二句中和第三句中是“从格”,因而这是所谓由主格到从格的简单推理。用今天的话来说,亚里士多德在三段论中仅仅讨论主宾结构的四种直言命题,“某人画了一个圆”,     

“白马非马”论辨

先秦名家公孙龙的命题“白马非马”被当作诡辩,已有两千多年。近来有几篇翻案文章问世,然而似不够彻底,为之辩诬总留条“片面性”的尾巴。为了恢复“白马论”的本来面目,本文也来发表一孔之见,以就教于方家。     

为芝诺悖论一辩

一、黑格尔没有遗忘芝诺运动在概念上如何表述,这在今天已成为常识.但人们解决这个问题的道路却是漫长的.直到上世纪初,黑格尔才首次对运动从概念上作了辩证法的表述.早在两千多年前,古希腊哲学家芝诺提出四个悖论即"二分法","阿基里斯追乌龟","飞矢不动","运动场",涉及到了运动的概念表述问题.虽然他没有获得成功,     

庄、惠“濠梁之辩”解

著名数学家德摩根有句名言:"数学家对于逻辑不如逻辑学家对于数学那样关心,数学和逻辑是精确科学的两只眼睛:数学派闭上逻辑眼睛,逻辑派闭上数学眼睛,各自相信一只眼睛能比两只看得更好."在哲学史的研究中,也有类似的情形.许多问题本来都是逻辑与哲学交织在一起的,但有的研究者往往是睁开了哲学眼睛而闭上了逻辑眼睛.逻辑上没搞清楚就说哲学上如何如何,难免成为空中楼阁.对古希腊的芝诺悖论、先秦公孙龙的"白马非马"论的研究都存在着上述问题.本文就中国古代著名的庄、惠"濠梁之辩",从逻辑和哲学的结合上加以解释,以就教于广大读者.先引原文如下: