形式逻辑

有狭义和广义之分。狭义的形式逻辑,是指研究演绎推理及其规律的科学,包括对于词项和命题形式的逻辑性质的研究。在西方国家中,这一研究开始于古希腊。亚里士多德建立了第一个演绎逻辑系统,即三段论理论,从而被公认为形式逻 ......    （本文共 221 字 ）     [阅读本文]>>