搜索

【后台管理入口】丨分享到:

【各省社科联网站】

友情链接:

【市州社科联网站】

【省级学会(协会、研究会)】

版权所有:贵州省社会科学学界联合会 地址:贵州省贵阳市省府路51号 网站建设:中企动力西安 黔ICP备05001426号

北京市社科联上海市社科联天津市社科联 丨 黑龙江省社科联 丨 吉林省社科联辽宁省社科联 丨 内蒙古社科联 丨 河北省社科联   更多>>

>
>
>
贵州制约逻辑学会著作《当代名辨学导论》出版发行

资讯详情

贵州制约逻辑学会著作《当代名辨学导论》出版发行

分类:
社团管理(资讯)
作者:
来源:
2015/12/24 15:54
浏览量
【摘要】:
由贵州制约逻辑学会理事长龚启荣教授执笔主著,集体讨论完成的著作《当代名辨学导论》于2015年10月出版。                      本书创新之处在于:一、挖掘出中国古代有等同于古希腊逻辑学的名辩学理论,而且有具有素朴逻辑客体说思想倾向、彪炳古今的名辩规律和名辩思想。譬如:1.李耳内涵排中律:李耳说“道可、道非,常道。”亦即:“事件或其否定事件——常有事件”。用当代名辩学的符号表达为

 

由贵州制约逻辑学会理事长龚启荣教授执笔主著,集体讨论完成的著作《当代名辨学导论》于2015年10月出版。                      

本书创新之处在于:

一、挖掘出中国古代有等同于古希腊逻辑学的名辩学理论,而且有具有素朴逻辑客体说思想倾向、彪炳古今的名辩规律和名辩思想。譬如:

1.李耳内涵排中律:李耳说“道可、道非,常道。”亦即:“事件或其否定事件——常有事件”。用当代名辩学的符号表达为(A  ↑﹁A)。

 2.韩非不自相矛盾律:韩非子说“夫不可陷之盾,与无不陷之矛,不可同世而立。”用当代名辩学的符号表达为①├ ﹁{[Ux)⇀pe1x)] ∧[Uy)⇀﹁pye2)]}。这比德国数理逻辑教授弗里德里希·路德维希·戈特洛布·弗雷格的关系逻辑早21个世纪!。

3.韩非不矛盾律:对于《韩非子·难一》里的绝妙的诘问:“以子之矛,陷子之盾,何如?那个吹牛过头的楚人的回答不是pe1e2)(吾矛可陷吾盾),就是﹁pe1e2(吾矛不可陷吾盾),然而,韩非和那个寓言中的楚国商人全都明白,在客观世界中,恒无pe1e2)∧﹁pe1e2);于是,其否定为恒有(因为恒有,我们就加上定律号├),即:

②├ ﹁[pe1e2)∧﹁pe1e2)](韩非不矛盾律)

韩非不矛盾律的一般形式可表示为:├ ﹁(A∧﹁A

4.韩非从自相矛盾得出矛盾法则:为什么面对这个客观的名辨定律不矛盾律,那个牛皮吹过头了的商人“弗能应也”呢?那是由于韩非和那个楚国商人都清楚,楚国商人吹牛时其语言所指谓的自相矛盾事件[Uxpe1x)∧[Uy⇀﹁pye2)],是矛盾事件pe1e2∧﹁pe1e2)的充分条件,亦即他们都知道存在下述客观世界的名辨法则:

③[Ux)⇀pe1x)∧[Uy)⇀﹁pye2)]├─ pe1e2)∧﹁pe1e2

这就是韩非从自相矛盾得出矛盾法则的表达式。

5.本书发掘出的韩非名辩学定律还有:

④├(AB)⇀(﹁B⇀﹁ A)(逆否律)

AAB├─B  (分离法则)。韩非据③、④、⑤才能得出:

⑥﹁[pe1e2)∧﹁pe1e2)]├─ ﹁{[Ux)⇀pe1x)]∧[Uy)⇀﹁pye2)]}  

(韩非从不矛盾得出不自相矛盾法则)

6.本书还发掘出墨翟的名辩客体说倾向:墨翟研究客观世界的名辨结构和名辩规律

的名辩客体说倾向(即具有唯物论思想的客体逻辑倾向)对后世影响极深刻。

二、著作更揭举出国外没有的真正的名副其实的当代名辨学(逻辑)形式化公理系统

本书介绍了数十个精彩的、崭新的形式定理,含推理和导出。可举:

第一,尽举选择推理

尽举选择推理分为三种,即:尽举相容选择推理、尽举不相容选择推理和尽举反相容选择推理。

1.尽举相容选择推理的有效式共两个否定肯定式

(a)A∧(AB)⇀B

(b)B∧(AB)⇀A

称为断定号,读作“双闸”,表示其后为具有名辩的两个独立性的推理式。

2.尽举反相容选推理的有效式为肯定否定式,也有两个:

(a)A∧(AB)⇀﹁B

(b)B∧(AB)⇀﹁A

3.尽举不相容选择推理的有效式有下述4个:

1否定肯定式

(a)A∧(ABB

(b)B∧(ABA

2肯定否定式

(a)A∧(AB⇀﹁B     

(b)B∧(AB⇀﹁A

第二,归谬推理

归谬推理分强归谬推理、弱归谬推理两种:

1.强归谬式:AB)∧(A⇀﹁B)⇀﹁A

2.弱归谬式AA

第三,二元关系“必然”、“可能”的推理

1.“必然”、“可能”的上反对关系推理

2个有效式为:

(i)(U(X)⇀A)⇀﹁(U(X)⇀﹁A

    (ii)(U(X)⇀﹁A)⇀﹁(U(X)⇀A

2.“必然”、“可能”的下反对关系推理

2个有效式为:

(iii)﹁(U(X)!A)⇀(U(X)!﹁A

    (iv)﹁(U(X)!﹁A)⇀(U(X)!A

3.“必然”、“可能”的矛盾关系推理

4个有效式::

(ⅴ)(U(X)⇀A)⇀﹁(U(X)!﹁A

     (ⅵ)﹁(U(X)⇀A)⇀(U(X)!﹁A

     (ⅶ)(U(X)!﹁A)⇀﹁(U(X)⇀A

     (ⅷ)﹁(U(X)!﹁A)⇀(U(X)⇀A

4.“必然”、“可能”的差等关系推理

4个有效式:

(xiii)(U(X)⇀A)⇀(U(X)!A

    (xiv)﹁(U(X)!A)⇀﹁(U(X)⇀A

    (xv)(U(X)⇀﹁A)⇀(U(X)!﹁A

    (xvi)﹁(U(X)!﹁A)⇀﹁(U(X)⇀﹁A

5.关于“实然”与“必然”、“可能”的推理

扩展了的名辩方阵为:

 

       

 

这又有8个推理:

(xvii)(U(X)⇀A)⇀A

(xviii)A⇀﹁(U(X)⇀A

 (xix)A⇀(U(X)!A

(xx)﹁(U(X)!A)⇀﹁A

        (xxi)(U(X)⇀﹁A)⇀﹁A

(xxii)﹁﹁A⇀﹁(U(X)⇀﹁A

        (xxiii)A⇀(U(X)!﹁A

(xxiv)﹁(U(X)!﹁A)⇀﹁﹁A

第四,可能限制规则

可能的限制规则可表述为:

U(x)!A(x) ├─ U(e)!A(e) 

读作:若U(x)!A(x),则U(e)!A(e)。其语义是从x在论域U中可能A(x),得出,e在论域U中可能A(e)。

等等,不一一列举。都是原创性的。

相关附件

暂时没有内容信息显示
请先在网站后台添加数据记录。