Insert title here
左侧导航栏
  • 论坛声明:本帖由网友上传,只代表网友个人观点,转帖请注明作者及出处。

亚里士多德与莱布尼茨在概念代数学中握手

  • 概念客
  • 等级:白银
  • 经验值:5046
  • 积分:0
  • 84
  • 33232
  • 2017-08-13 09:09:02

亚里士多德与莱布尼茨在概念代数学中握手

用直言(分类)命题解读三段律【3 0】

先生最近在【直言命题的数学表达式】一文中指出,这个“直言命题”的实质含义是对命题中的主,谓两类概念之间关系的分类。亚里士多德为了使由“是”和“不是”所建立的命题有确定的概念之间关系而引入了修饰词“所有”和“有的”,被后人冠名为“量词”,引出了一个叉枝……

由于历史发展的局限性,虽然后人看到亚里士多德引入修饰词的目的是为了对事物的分类,故此建立了研究事物分类的数学—集合论。既便建立了集合论,使集合之间的初等关系可以用运算(併,交,补)来表达了。但是尚不能用运算符表达由亚里士多德的建立的四个直言命题(分类命题)。直到【概念代数学】于本世纪初建立,使亚里士多德的分类命题可以用【概念代数学】中的复合运算符表达。从而使由【概念代数学】建立而被发掘出来的逻辑定律可以用分类命题表达出来。使莱布尼茨的“逻辑是数学”之手,通过【概念代数学】与亚里士多德的逻辑握在了一起。

这里利用拓展所的直言命题把逻辑定律表达出来,以饷网友。先从三段论【3  0】开始。

第1组

如果所有A是B,所有B是C,那么所有A是C

如果所有A不是非B,所有B是C,那么所有A不是非C

如果没有A是非B,所有B是C,那么某个A是C

如果没有A不是B,所有B是C,那么某个A不是非C

如果某个A是B,所有B是C,那么某个A是C

如果某个A不是非B,所有B是C,那么某个A是C


点赞


  • 分享到
    谢谢您的阅读, 您是本文第 33232 个阅览者

网友回复

用分类命题解读三段律【3 3

由于亚里士多德的直言(分类)命题的真实含义的发现<分类命题的数学表达式>,使我们发现经典逻辑研究的重大缺陷。即使从中世纪算起,这几百年的逻辑研究,尚不能辨别一些简单断言的真假。例如,有两个断言

1.     如果这位先生不是校长,最高身材者是校长,那么这位先生不是最高身材者。

2.     如果这位先生不是校长,校长是最高身材者,那么这位先生不是最高身材者。

如何分辨这两个断言的对错。这种简单的断言,在日常生活中是经常出现的.然而,用现在教课书中知识是无法判断的。中世纪以来的逻辑研究和教育怎么啦?抱残守缺,不思创新的思维模式充塞了逻辑教学部分.对那些权威的再教育是打破逻辑界沉闷现状的必要一步.这样才能使逻辑走向各行各业,成为文理科的共同基础,近读吴士珑先生论文“争论是可以计算的”,上面这个问题就迎刃而解了。又一次证明了逻辑研究的出路在于数学化。【概念代数学】的建立使亚里士多德的逻辑之手和莱布尼茨的数学之手紧紧地握在一起。由此可见:

二十世纪的相对论为人类能源革命推开了一扇大门

二十一世纪的概念代数学为人类智力文明推开了另外一扇逻辑思维的智慧之门

以上我们已经用亚里士多德的简单命题解读了他的三段论3  0】和编号为【3  1】【3  2】三段律。尚有五个三段律也可用扩展后分类命题来解读。从用亚里士多德的简单命题解读逻辑定律可见

亚里土多德在开创逻辑研究的初心是研究世间客体(包括存在和意识)之间关系规律的哲理思考.由于概念代数学的建立,大量的逻辑定律用完整的分类命题解读了出来.由此,人们就可以很容易分辨出来,这些逻辑定律成为人类逻辑思维依据.从而恢复了亚里士多德在逻辑研究的初心,使逻辑研究进入了正确方向!

至此,我们可以确定,逻辑是以概念之间的确定关系为基础,以逻辑定律为支柱一门实用学科.正像门捷列夫的元素周期表使化学研究脱离了练丹术一样.逻辑定律排序表的建立,使逻辑研究排除了中世纪以来的逻辑练丹术的困扰,使逻辑学成为人类智力上一个新的台阶.这是人类智力复兴的一个标志..

一条三段论逻辑定律已被人类使用了两千多年,其它七条三段律的逻辑定律从现在开始被人类利用,人类的智力水平将会得到如何拓展呢……

   让我们继续逐日发丧,用扩展后的亚里士多德的分类命题来解读从【概念代数学】发掘出来的第三号三段律【3  3(所有以下解读结果,由逻辑思维能力训练系统自动生成.)如下:

 

((A B) & (B > C)) (A C)

 



[101] 如果所有A不是B, B含有所有C, 那么没有A不是非C

[102] 如果没有A不是非B, 所有非B是非C, 那么所有A不是C

[103] 如果某个A不是B, 所有非B是非C, 那么某个A不是C

[104] 如果A不含有所有B, 所有非B不是C, 那么没有A不是非C

[105] 如果A不含有所有B, 没有非B不是非C, 那么A不含有所有C

[106] 如果A不含有所有B, 没有非BC, 那么没有AC

[107] 如果某个A是非B, B含有所有C, 那么某个A不是C

[108] 如果没有AB, 所有非B不是C, 那么没有A不是非C

[109] 如果没有A不是非B, 所有非B不是C, 那么所有A是非C

[110] 如果没有AB, 没有非BC, 那么A不含有所有C


    谢谢您的阅读, 您是本文第 33232 个阅览者

用分类命题解读三段律【3 3

由于亚里士多德的直言(分类)命题的真实含义的发现<分类命题的数学表达式>,使我们发现经典逻辑研究的重大缺陷。即使从中世纪算起,这几百年的逻辑研究,尚不能辨别一些简单断言的真假。例如,有两个断言

1.     如果这位先生不是校长,最高身材者是校长,那么这位先生不是最高身材者。

2.     如果这位先生不是校长,校长是最高身材者,那么这位先生不是最高身材者。

如何分辨这两个断言的对错。这种简单的断言,在日常生活中是经常出现的.然而,用现在教课书中知识是无法判断的。中世纪以来的逻辑研究和教育怎么啦?抱残守缺,不思创新的思维模式充塞了逻辑教学部分.对那些权威的再教育是打破逻辑界沉闷现状的必要一步.这样才能使逻辑走向各行各业,成为文理科的共同基础,近读吴士珑先生论文“争论是可以计算的”,上面这个问题就迎刃而解了。又一次证明了逻辑研究的出路在于数学化。【概念代数学】的建立使亚里士多德的逻辑之手和莱布尼茨的数学之手紧紧地握在一起。由此可见:

二十世纪的相对论为人类能源革命推开了一扇大门

二十一世纪的概念代数学为人类智力文明推开了另外一扇逻辑思维的智慧之门

以上我们已经用亚里士多德的简单命题解读了他的三段论3  0】和编号为【3  1】【3  2】三段律。尚有五个三段律也可用扩展后分类命题来解读。从用亚里士多德的简单命题解读逻辑定律可见

亚里土多德在开创逻辑研究的初心是研究世间客体(包括存在和意识)之间关系规律的哲理思考.由于概念代数学的建立,大量的逻辑定律用完整的分类命题解读了出来.由此,人们就可以很容易分辨出来,这些逻辑定律成为人类逻辑思维依据.从而恢复了亚里士多德在逻辑研究的初心,使逻辑研究进入了正确方向!

至此,我们可以确定,逻辑是以概念之间的确定关系为基础,以逻辑定律为支柱一门实用学科.正像门捷列夫的元素周期表使化学研究脱离了练丹术一样.逻辑定律排序表的建立,使逻辑研究排除了中世纪以来的逻辑练丹术的困扰,使逻辑学成为人类智力上一个新的台阶.这是人类智力复兴的一个标志..

一条三段论逻辑定律已被人类使用了两千多年,其它七条三段律的逻辑定律从现在开始被人类利用,人类的智力水平将会得到如何拓展呢……

   让我们继续逐日发丧,用扩展后的亚里士多德的分类命题来解读从【概念代数学】发掘出来的第三号三段律【3  3(所有以下解读结果,由逻辑思维能力训练系统自动生成.)如下:

 

((A B) & (B > C)) (A C)

 


[111] 如果没有A不是非B, 没有非B不是非C, 那么没有A不是非C

[112] 如果某个A是非B, 没有非B不是非C, 那么某个A是非C

[113] 如果没有A不是非B, 没有非BC, 那么所有A不是C

[114] 如果A不含有所有B, 所有非B不是C, 那么A不含有所有C

[115] 如果没有AB, 没有非BC, 那么没有A不是非C

[116] 如果所有A是非B, B含有所有C, 那么所有A不是C

[117] 如果所有A是非B, B含有所有C, 那么没有AC

[118] 如果所有A不是B, 所有非B不是C, 那么没有AC

[119] 如果某个A不是B, 所有非B不是C, 那么某个A不是C

[120] 如果没有AB, 没有非B不是非C, 那么没有A不是非C


    谢谢您的阅读, 您是本文第 33232 个阅览者

用分类命题解读三段律【3  2

由于亚里士多德的直言(分类)命题的真实含义的发现<分类命题的数学表达式>,使我们发现经典逻辑研究的重大缺陷。即使从中世纪算起,这几百年的逻辑研究,尚不能辨别一些简单断言的真假。例如,有两个断言

1.     如果这位先生不是校长,最高身材者是校长,那么这位先生不是最高身材者。

2.     如果这位先生不是校长,校长是最高身材者,那么这位先生不是最高身材者。

如何分辨这两个断言的对错。这种简单的断言,在日常生活中是经常出现的.然而,用现在教课书中知识是无法判断的。中世纪以来的逻辑研究和教育怎么啦?抱残守缺,不思创新的思维模式充塞了逻辑教学部分.对那些权威的再教育是打破逻辑界沉闷现状的必要一步.这样才能使逻辑走向各行各业,成为文理科的共同基础,近读吴士珑先生论文“争论是可以计算的”,上面这个问题就迎刃而解了。又一次证明了逻辑研究的出路在于数学化。【概念代数学】的建立使亚里士多德的逻辑之手和莱布尼茨的数学之手紧紧地握在一起。由此可见:

二十世纪的相对论为人类能源革命推开了一扇大门

二十一世纪的概念代数学为人类智力文明推开了另外一扇逻辑思维的智慧之门

以上我们已经用亚里士多德的简单命题解读了他的三段论3  0】和编号为【3  1】三段律。尚有六个三段律也可用扩展后分类命题来解读。从用亚里士多德的简单命题解读逻辑定律可见

亚里土多德在开创逻辑研究的初心是研究世间客体(包括存在和意识)之间关系规律的哲理思考.由于概念代数学的建立,大量的逻辑定律用完整的分类命题解读了出来.由此,人们就可以很容易分辨出来,这些逻辑定律成为人类逻辑思维依据.从而恢复了亚里士多德在逻辑研究的初心,使逻辑研究进入了正确方向!

至此,我们可以确定,逻辑是以概念之间的确定关系为基础,以逻辑定律为支柱一门实用学科.正像门捷列夫的元素周期表使化学研究脱离了练丹术一样.逻辑定律排序表的建立,使逻辑研究排除了中世纪以来的逻辑练丹术的困扰,使逻辑学成为人类智力上一个新的台阶.这是人类智力复兴的一个标志..

让我们逐日发丧,用扩展后的亚里士多德的分类命题来解读从【概念代数学】发掘出来的第二号三段律【3  2(所有以下解读结果,由逻辑思维能力训练系统自动生成.)如下:

 

((A B) & (B C)) (A < C)

   

 

 

[121] 如果没有A不是非B, 所有非BC, 那么没有A不是C

[122] 如果没有AB, 没有非B不是C, 那么所有A不是非C

[123] 如果所有A是非B, 没有非B不是C, 那么所有AC

[124] 如果A不含有所有B, C含有所有非B, 那么没有A不是C

[125] 如果所有A是非B, 没有非B不是C, 那么C含有所有A

[126] 如果A不含有所有B, 没有非B不是C, 那么所有AC

[127] 如果某个A是非B, 所有非BC, 那么某个A不是非C

[128] 如果所有A不是B, 所有非B不是非C, 那么没有A不是C

[129] 如果某个A不是B, C含有所有非B, 那么某个AC

[130] 如果没有AB, 没有非B是非C, 那么所有AC


    谢谢您的阅读, 您是本文第 33232 个阅览者

用分类命题解读三段律【3 3

由于亚里士多德的直言(分类)命题的真实含义的发现<分类命题的数学表达式>,使我们发现经典逻辑研究的重大缺陷。即使从中世纪算起,这几百年的逻辑研究,尚不能辨别一些简单断言的真假。例如,有两个断言

1.     如果这位先生不是校长,最高身材者是校长,那么这位先生不是最高身材者。

2.     如果这位先生不是校长,校长是最高身材者,那么这位先生不是最高身材者。

如何分辨这两个断言的对错。这种简单的断言,在日常生活中是经常出现的.然而,用现在教课书中知识是无法判断的。中世纪以来的逻辑研究和教育怎么啦?抱残守缺,不思创新的思维模式充塞了逻辑教学部分.对那些权威的再教育是打破逻辑界沉闷现状的必要一步.这样才能使逻辑走向各行各业,成为文理科的共同基础,近读吴士珑先生论文“争论是可以计算的”,上面这个问题就迎刃而解了。又一次证明了逻辑研究的出路在于数学化。【概念代数学】的建立使亚里士多德的逻辑之手和莱布尼茨的数学之手紧紧地握在一起。由此可见:

二十世纪的相对论为人类能源革命推开了一扇大门

二十一世纪的概念代数学为人类智力文明推开了另外一扇逻辑思维的智慧之门

以上我们已经用亚里士多德的简单命题解读了他的三段论3  0】和编号为【3  1】【3  2】三段律。尚有五个三段律也可用扩展后分类命题来解读。从用亚里士多德的简单命题解读逻辑定律可见

亚里土多德在开创逻辑研究的初心是研究世间客体(包括存在和意识)之间关系规律的哲理思考.由于概念代数学的建立,大量的逻辑定律用完整的分类命题解读了出来.由此,人们就可以很容易分辨出来,这些逻辑定律成为人类逻辑思维依据.从而恢复了亚里士多德在逻辑研究的初心,使逻辑研究进入了正确方向!

至此,我们可以确定,逻辑是以概念之间的确定关系为基础,以逻辑定律为支柱一门实用学科.正像门捷列夫的元素周期表使化学研究脱离了练丹术一样.逻辑定律排序表的建立,使逻辑研究排除了中世纪以来的逻辑练丹术的困扰,使逻辑学成为人类智力上一个新的台阶.这是人类智力复兴的一个标志..

一条三段论逻辑定律已被人类使用了两千多年,其它七条三段律的逻辑定律从现在开始被人类利用,人类的智力水平将会得到如何拓展呢……

   让我们继续逐日发丧,用扩展后的亚里士多德的分类命题来解读从【概念代数学】发掘出来的第三号三段律【3  3(所有以下解读结果,由逻辑思维能力训练系统自动生成.)如下:

 

((A B) & (B > C)) (A C)

 


[132] 如果没有A不是非B, 没有非BC, 那么没有A不是非C

[133] 如果没有A不是非B, 没有非B不是非C, 那么所有A不是C

[134] 如果A不含有所有B, 没有非BC, 那么A不含有所有C

[135] 如果所有A不是B, 没有非BC, 那么没有A不是非C

[136] 如果某个A是非B, 没有非BC, 那么某个A是非C

[137] 如果所有A是非B, 没有非BC, 那么所有A是非C

[138] 如果所有A是非B, 所有非B是非C, 那么没有A不是非C

[139] 如果所有A是非B, 没有非B不是非C, 那么没有A不是非C

[140] 如果没有A不是非B, 没有非BC, 那么所有A是非C


    谢谢您的阅读, 您是本文第 33232 个阅览者
单张最大不超过1M!

    用户名: 密码:         注册新用户     找回密码