|
关于罗素悖论的问题
[这个贴子最后由ygq的马甲在 2011/03/08 06:33pm 第 2 次编辑]
附图:语言坐标与逻辑结构的配合

【语言坐标与逻辑结构的配合】附图中的【语用真实】,是对所有的各种理论体系都有【约束】的,当然也包括我(俞根强、ygqkarl)自己的理论体系。其意思是说:理论体系必须与事实有对应,必须能够【真实】地反映事实,等等。
.
术语解释:
“一致性consistency”,也叫相容性。其基本的含义是,推论和结论等不能与【立论】打架,即衍生的不能与原始的有【冲突】
“确定性certainty”,其基本的含义是,无论过程和步骤如何,推论和结论等都是一样的
由上述可以看出,一致性与确定性,还是有区别的。而一致性是【公理】体系的三项要求之一
那么,什么样的【公理】体系,具备“确定性certainty”???
1、对于不允许【循环】的体系,即下面附图的 R(·,·)="Φ" 对应的是 A 和 ﹁A ;
“确定性certainty”是任何一处,换另外的话来说就是,各“点point”都是具备的
2、对于单允许【循环】的体系,即下面附图的 R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
“确定性certainty”是任何一处,换另外的话来说就是,各“点point”都是具备的
“类class”,就是指这种情况!!!楼主( 门外汉 )的提问:
如果允许集合自身是该集合自身中的一个元素,那也就相当于是说:该集合的整体是该集合自身中的一个部分,…………
就是这种情况,单允许【循环】的体系, 3、对于单允许【循环】的体系,即下面附图的 R(·,·)="﹁∈" 对应的是 A←→﹁A 。
“确定性certainty”是不存在。
4、对于混合型的体系,例如我(俞根强、ygqkarl)自己的这种【新道学】——【公理化的中国道学】, R(·,·)="∈"∪"﹁∈"∪"Φ"
“确定性certainty”是部分区域。
举例来说,【语言坐标与逻辑结构的配合】附图中的【语用真实】,其左边对应的逻辑【属性attribute】是 R(·,·)="∈" 。
因此,【语用真实】这一区域是具备“确定性certainty”
再举例来说,辩证类语用————既“真实”又“歪曲”,是不具备“确定性certainty”的
【规则】:为了达到“确定性certainty”标准,【公理化的中国道学】要求达到【语用真实】!!!
*************************************************
.
“新”分类,“新”文化,“新”未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"﹁∈"∪"Φ"
.
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="﹁∈" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
|
|