|
何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。
附图:二维几何模型表示的逻辑类型

【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪"Φ"
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)=" Ï " 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
下面引用由tnjian在 2009/04/01 01:33pm 发表的内容:
马甲,我那句话,是回答狐狸的,要他提出问题。因为我回帖较慢,没看到你已经回帖了。
你问我辩证逻辑是怎么定义的?我认为就是贯彻了辩证法思想的形式逻辑。
我知道一本书,《冯契辩证逻辑思想研究》
说实话, ...
说实话,我对书中说的东西不感冒。我觉的那不是逻辑。
像你说的那种,既真又假,这些情况,据我所知,模糊逻辑研究的正是这个,模糊逻辑还针对具体的命题提出了真值度的概念,比如一个人 不高不矮。
模糊逻辑发源于多值逻辑。我是比较喜欢的。 在“新道学”中,所谓的“辩证”逻辑是指 R(·,·)=" Ï " 类型。从【定义】可以看出,与“形式”逻辑具有“﹁ 非、反、逆”等关系。与你的“我认为就是贯彻了辩证法思想的形式逻辑。”是不同的。
以前的“辩证”逻辑,由于【定义】上的缺乏“严谨”,必然会导致应用的“漏洞百出”。至于“多值逻辑”,只是其【属性】之一(多样性)
其它的【属性】,还有非线性、【质变】、……
|
|