哥德尔不完备性定理简介

elimqiu

下面引用由ygq的马甲在 2009/10/12 07:49pm 发表的内容：
“（Ｒ）规则Ｒｕｌｅ”举例
在“形式ｆｏｒｍａｌ”逻辑范围之内，p∪﹁p →q
在“辩证ｄｉａｌｅｃｔｉｃ”逻辑之内 ，p∪﹁p →à(p,﹁p) ，即由这两都组成的更大的一级【层次】，并不是任意的东西
例　...

这些东西只是形式化的范式，跟经典的辩证法没有本质的差别：没有具体的推理功效，任何进一步的解释都是马后炮。
“辩证逻辑”顶多就是给出变化的范式，不可能再进一步形式化了。

ygq的马甲

[这个贴子最后由ygq的马甲在 2009/10/13 04:21am 第 3 次编辑]

下面引用由elimqiu在 2009/10/12 07:02pm 发表的内容：
这些东西只是形式化的范式，跟经典的辩证法没有本质的差别：没有具体的推理功效，任何进一步的解释都是马后炮。
“辩证逻辑”顶多就是给出变化的范式，不可能再进一步形式化了。

总的来说，“形式”逻辑与“辩证”逻辑之间是“一与一对应”的“﹁非、逆、反、【否定】、……”运算，类似于欧氏几何与非欧几何
“辩证逻辑”顶多就是给出变化的范式 ============> “辩证”逻辑就是讲变化的呀，难道你（elimqiu）还指望其它的 ？？？
别人的所谓“辩证”是什么【概念】，我（俞根强、ｙｇｑｋａｒｌ）管不着。
没有具体的推理功效  ============> 这需要【足够】多的定理和规则，目前还是【量变】的积累阶段
不可能再进一步形式化了  ============> 还是不争论，用实际成果来说话
跟经典的辩证法没有本质的差别  ============> 如果有【本质】的差别，就不能叫辩证了，因为我说的“形式化ｆｏｒｍａｌｉｚｅｄ”，实质上是“语形ｓｙｎｔａｃｔｉｃｓ”化，只是换成其它的表达方式

ygq的马甲

“形式”这个术语，是有【歧义】的。
含义之一是指“形式ｆｏｒｍａｌ”逻辑的“形式”，指“同一律Ａ＝Ａ”这种关系
含义之二是“形式与内容”这个“形式”，相当于“方式、格式”，实际上是“语形ｓｙｎｔａｃｔｉｃｓ”
在我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”中，“形式”是专指“同一律Ａ＝Ａ”了
那么“形式化ｆｏｒｍａｌｉｚｅｄ”又又又……又什么？？？
如果指“同一律Ａ＝Ａ”，那么当然不可能处理“辩证”逻辑的
如果指“语形ｓｙｎｔａｃｔｉｃｓ”化、符号化，只是“数学化”，换成不同的表达方式而已。不是“不可能”的

*************************
附图：语言坐标与逻辑结构的配合

“语言坐标与逻辑结构的配合”附图中的“语用真实”，是对所有的各种理论体系都有“约束”的，当然也包括我（俞根强、ygqkarl）自己的理论体系。其意思是说：[B]理论体系必须与事实有对应，必须能够“真实”地反映事实，等等。[/B]

ygq的马甲

[这个贴子最后由ygq的马甲在 2009/10/13 04:55am 第 1 次编辑]

下面引用由elimqiu在 2009/10/12 07:02pm 发表的内容：
这些东西只是形式化的范式，跟经典的辩证法没有本质的差别：没有具体的推理功效，任何进一步的解释都是马后炮。
“辩证逻辑”顶多就是给出变化的范式，不可能再进一步形式化了。

能否先【解释】一下，你（elimqiu）们的“形式化”，是什么含义 ？？？[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
似乎还没有“syntactize”这种词，即“语形化”的对应洋文
搜索了一下，已经有人在用了

elimqiu

下面引用由ygq的马甲在 2009/10/13 04:10am 发表的内容：
总的来说，“形式”逻辑与“辩证”逻辑之间是“一与一对应”的“﹁非、逆、反、【否定】、……”运算，类似于欧氏几何与非欧几何
“辩证逻辑”顶多就是给出变化的范式 ============> “辩证”逻辑就是讲变化的呀，难道你（elimqiu）还指望其它的 ？？？

要是像欧氏几何与非欧几何，那么就还是“形式”逻辑。
‘“辩证”逻辑就是讲变化’不错，可也就是在质的水平上的变化无法形式化。你只能停留在指出有质变而已，一切进一步的解释都只能在事情已经发生后出现。就是说没有推理功用，只有说现成话的分。

ygq的马甲

下面引用由elimqiu在 2009/10/12 09:34pm 发表的内容：
要是像欧氏几何与非欧几何，那么就还是“形式”逻辑。
‘“辩证”逻辑就是讲变化’不错，可也就是在质的水平上的变化无法形式化。你只能停留在指出有质变而已，一切进一步的解释都只能在事情已经发生后出现。就　...

要是像欧氏几何与非欧几何，那么就还是“形式”逻辑。
**********************************
【真理】的对立面，并不是谬误，而是另外的【真理】。这个“另外”就是“﹁非、逆、反、【否定】、……”运算之后的 R(·,·)=" Ï "
而你（elimqiu）的“非”，是“﹁ 非”在什么上 ？？？“同一律Ａ＝Ａ”上的“A” ，还是“等号＝” ？？？
就是说没有推理功用，只有说现成话的分。
**********************************
已经【解释】过了，目前已经找出的【定理】和【规则】还太少
[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
可也就是在质的水平上的变化无法形式化。你只能停留在指出有质变而已，
**********************************
“形式”逻辑，是与其所处的状态无关的，即不需要考虑目前是什么状态
而“辩证”逻辑却是有关的，例如“临界点”

ygq的马甲

能否先【解释】一下，你（elimqiu）们的“形式化”，是什么含义 ？？？

申一言

下面引用由wangyangke在 2009/10/13 08:32am 发表的内容：
哈， ygq的马甲，又在干大事啊；

  哈哈!
       干鬼事!
       干坏事!
       不干人事!!
       如今时代是在推陈出新!
      它ygq的马甲在借尸还魂!
             别人在摧古拉朽!
             它却搞邪门歪道!
             别人搞化繁为简!
             它专搞越繁越好!
                             不以为耻,反以为荣?
                             逆潮流而上,必然头破血流!
                                                       钟馗启.

ygq的马甲

下面引用由申一言在 2009/10/13 09:32am 发表的内容：
  哈哈!
       干鬼事!
       干坏事!
       不干人事!!
...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（申一言）
人“蠢”就安静些嘛，没人硬要“蠢货”（申一言）你出来的
“蠢货”（申一言）你在这个帖子中的“垃圾”，与这个帖子有关吗 ？？？

申一言

下面引用由ygq的马甲在 2009/10/13 10:05am 发表的内容：
【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（申一言）
人“蠢”就安静些嘛，没人硬要“蠢货”（申一言）你出来的
“蠢货”（申一言）你在这个帖子中的“垃圾”，与这个帖子有关吗 ？？？

     哈哈!
          当然有关了!
           1.老鼠过街----人人喊打!
           2.鬼画符一出--三味真火烧之!
           3.再美的画皮也是害人精!必五雷轰顶!!
        有关吧?
                                                钟馗.