简易三段论(上)

三段论推理有传统的和现代数理逻辑解释的两种基本形态。传统三段论源于亚里士多德,历经扩充、发展、演变而成,内容丰满,现已不能对它再作什么补充了。传统三段论有一个非常繁琐的推理格式系统,本应剔除,但直到今天,人们仍要以它为实际推理的模式。数理逻辑兴起之后,人们纷纷对三段论作现代新解释。现代三段论在理论范围内简化了三段论的格与式,但一到应用领域。人们还是要以繁多的有效式为模式进行实际推理。我国宋代思想家陆九渊说:“简易功夫终久大,支离事业竟浮沉。”这句话当作哲学思想的褒贬标准,很难说是真理,但是,当作思维形式的褒贬标准,却是真     

逻辑学应当研究思维的实现形式

思维的逻辑形式和逻辑规律是逻辑学最富有成果的课题。逻辑学在后来两千多年的发展中,其理论视野基本上未超出逻辑形式和逻辑规律的范围,人们正是根据逻辑科学发展的这一事实将逻辑学定义为“关于思维的逻辑形式和逻辑规律的科学”的。数理逻辑将普通思维的主要逻辑规律刻画成了有效演绎推理形式,因此,我们可以将上述逻辑学的定义简化为“关于思维的逻辑形式的科学”。但是,这个传统定义限制了逻辑理论研究的范围,使逻辑学越来越难以满足实际思维的需要。逻辑学不能仅仅研究思维的逻辑形式(及逻辑规律),还应当研究思维的实现形式。     

简易三段论(下)

三、简易三段论的应用操作简易三段论的应用大体包括实际推理前的理论把握、实际推理和检验三个过程。实际推理之前,必须理论地把握标准式的全体和推理规律的全体。这是实际推理的理论准备。但是这一理论思维的负荷并不重。因为标准式的数量少,仅四个,结构也不复杂,全是第一格的,大前提全称,小前提肯定,因而其简化前提只具有M——P这唯一的模式,并且只有map、mep两种情况;简化前件也只有S——M这唯一的模式,并且只有sam、sim这两种情况。直观、简单是标准式的特点。推理规律数量也不多,仅有五