|
基本上就是扯蛋
[这个贴子最后由ygq的马甲在 2010/10/12 06:33am 第 1 次编辑]
.
附图:语言坐标与逻辑结构的配合

“语言坐标与逻辑结构的配合”附图中的“语用真实”,是对所有的各种理论体系都有“约束”的,当然也包括我(俞根强、ygqkarl)自己的理论体系。其意思是说:理论体系必须与事实有对应,必须能够“真实”地反映事实,等等。
.
***************************************************
.
“新”分类,“新”文化,“新”未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"﹁∈"∪"Φ"
.
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="﹁∈" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
楼主( popo )提到的,很多是“概念”层次的,原因之一就是:以前的“基础(公理、前提、假设、立论、公设、……)”是不完整的
举例来说,(本帖第 7 楼)
有人能够告诉我,现在的数学
有一套能非常好的处理变维的数学工具吗?
据我这个数学的门外汉所知,好象没有吧 这个所谓的“变维”,正规的学术名称是“分维、分数维度”,在逻辑上是需要 R(·,·)="﹁∈" 对应的是 A←→﹁A 。
再次特别强调一下,更完整的“基础(公理、前提、假设、立论、公设、……)”是【扩张、扩展、拓展extension】运算过程之后的,例如上面列出的体系
|
|