一,笛卡尔(1596-1650)与“方法论” 《方法论》(Discours de la méthode),是笛卡尔在1637年出版的著名哲学论著,全名“Discours de la méthode pour bien conduire sa raison, et chercher la vérité dans les sciences”,对西方人的思维方式,思想观念和科学研究方法有极大的影响,有人曾说:欧洲人在 ...
溯源 “Horn 子句 ” 来自于逻辑学家 霍恩( Alfred Horn )在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”, 首次强调了这种子句的重要性。 Horn 子句 在命题逻辑中,Horn子句是带有最多一个肯定变元的子句(文字的析取)。有且只有 ...