[color=rgba(0, 0, 0, 0.9)]论证结构
[color=rgba(0, 0, 0, 0.9)](一)演绎论证:由前置假设到后置结论,线性论证
[color=rgba(0, 0, 0, 0.9)]演绎论证是运用演绎推理模式的论证,是依据有效的推理形式,从已经接受为真的命题(作为前提)出发,得出某个或某些新的真命题(作为结论)的论证。前提必然蕴涵结论的称为演绎的,前提不必然蕴涵结论或者说前提与结论的关系是或然的,称为非演绎的。
[color=rgba(0, 0, 0, 0.9)]1、直言命题或直接推理
[color=rgba(0, 0, 0, 0.9)]直言命题也叫直言判断,是断定对象具有或不具有某种性质的简单判断。如:所有蛇都会爬。
[color=rgba(0, 0, 0, 0.9)]直言推理的主体论证结构为三段论:是由包含一个共同的项的两个直言命题推出一个直言命题的推理,即三段论由大前提、小前提和结论组成。继续以上文的蛇为例,如下:
[color=rgba(0, 0, 0, 0.9)]所有蛇都会爬。(大前提)
[color=rgba(0, 0, 0, 0.9)]眼镜蛇是蛇。(小前提)
[color=rgba(0, 0, 0, 0.9)]所以,所有眼镜蛇都会爬。(结论)
[color=rgba(0, 0, 0, 0.9)]2、复合命题推理
[color=rgba(0, 0, 0, 0.9)](1)联言命题,即P且Q,表示为P∧Q,既要又要,读作合取。
[color=rgba(0, 0, 0, 0.9)](2)选言命题,即p或Q,表示为P∨Q,读作“P析取Q”。
[color=rgba(0, 0, 0, 0.9)]3、等值推理
[color=rgba(0, 0, 0, 0.9)]各种复合命题都有其负命题,并还可以得到这些负命题的等值推理。否定一个命题,也就是肯定了一个与被否定命题相矛盾的命题。所以,总是可以从一个负命题推得一个与它等值的新命题,这就是等值推理。
[color=rgba(0, 0, 0, 0.9)]如联言命题的负命题是一个相应的选言命题,即:
[color=rgba(0, 0, 0, 0.9)]并非“P∧Q”等值于“非P∨非Q”。用公式表示为:(P∧Q)↔P∨¬Q
[color=rgba(0, 0, 0, 0.9)](二)归纳论证:由特殊到一般,多点论证,先发散再集中
[color=rgba(0, 0, 0, 0.9)]归纳论证是指对经验科学以及日常思维中非演绎论证类型的推理过程与方法的种种研究。需要注意的是:归纳推理的前提与结论之间的联系不是必然性的,而是或然性的。也就是说,其前提为真而结论为假是可能的,所以,归纳推理是一种或然性推理。
[color=rgba(0, 0, 0, 0.9)]1、一般性归纳推理
[color=rgba(0, 0, 0, 0.9)]根据一类事物的部分对象具有某种性质,推出这类事物的所有对象都具有这种性质的推理。
[color=rgba(0, 0, 0, 0.9)](1)完全归纳推理:在前提中考察的是某类事物的全部对象,进而得出普遍性结论,故完全归纳属于特殊的归纳推理,属于或然推理中的必然性推理,即由真前提必然推出真结论。
[color=rgba(0, 0, 0, 0.9)](2)不完全归纳推理:包括简单枚举法、科学(模型)归纳法,这一类方法则是更普遍的归纳论证方法,因为在实操中很难百分之一百的辨别所有样本变量。
[color=rgba(0, 0, 0, 0.9)]2、统计推理
[color=rgba(0, 0, 0, 0.9)]统计推理是利用统计数字进行的推理,是由样本总体具有某种性质而推出对象总体也具有该种性质的归纳推理。从某种程度而言,统计推理只是以概率语言对一般性归纳进行了数量化、模型化解读,属于科学归纳法中的一种,但同样是一种或然性推理,即过去已发生并不能精准的预测未来,但可以定性解释未来。
[color=rgba(0, 0, 0, 0.9)]3、因果推理
[color=rgba(0, 0, 0, 0.9)]一个现象的出现必然引起另一个现象的出现,那么,这两个现象之间就有着因果联系。引起另一现象出现的现象叫原因,被引起的现象叫结果。
[color=rgba(0, 0, 0, 0.9)]原因分为四类:充分原因,必要原因,充要原因,既非充分也非必要原因,最后一类需特别说明,指那些在统计上有趋势、但在事理上无必然联系的因果。
[color=rgba(0, 0, 0, 0.9)]4、类比推理
[color=rgba(0, 0, 0, 0.9)]根据两个或两类事物在某些属性上相同或相似,进而推出它们在其他属性上也相同或相似的推理。类比是或然性推理,属于扩展性的推理,因此属于广义的归纳推理。
[color=rgba(0, 0, 0, 0.9)]类比推理的结构,可表示如下:
[color=rgba(0, 0, 0, 0.9)]因A有属性a、b、c、d , B有属性a、b、c。所以,B有属性d。
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]逻辑基本规律
[color=rgba(0, 0, 0, 0.9)]1、同一律
[color=rgba(0, 0, 0, 0.9)]形式逻辑的基本规律之一。其内容是:在同一论断过程中,每一个思想都必须保持其自身的同一性,即我是我。
[color=rgba(0, 0, 0, 0.9)]公式表达为:“A是A”,或“A→A”。
[color=rgba(0, 0, 0, 0.9)]2、矛盾律
[color=rgba(0, 0, 0, 0.9)]在同一思维过程中,两个互相矛盾或反对的思想不能同时是真的,即黑、白不并立。
[color=rgba(0, 0, 0, 0.9)]公式表达为:A必不非A,或¬(A∧¬A)。
[color=rgba(0, 0, 0, 0.9)]3、排中律
[color=rgba(0, 0, 0, 0.9)]同一思维过程中,两个相互矛盾的思想不能同假。
[color=rgba(0, 0, 0, 0.9)]公式表达:A∨¬A。
[color=rgba(0, 0, 0, 0.9)]4、充足理由律
[color=rgba(0, 0, 0, 0.9)]同一思维过程中,一个思想被认定为真,要有充足的理由。
[color=rgba(0, 0, 0, 0.9)]A成立的充分条件是:B∧(B→A)。
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]附表:常用的逻辑与数理符号
[color=rgba(0, 0, 0, 0.9)]