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

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

  • 概念客
  • 等级:白银
  • 经验值:4818
  • 积分:0
  • 41
  • 13646
  • 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


点赞


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

网友回复

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。
对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术州开发的器具可似很容易得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第2组


如果某个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



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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第3组

如果某个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



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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第4组

如果所有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不是非


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第5组

如果某个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




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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第6组

如果某个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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第7组

如果所有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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第8组

如果所有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


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

用千变万化的分类命题来解读亚里士多德的三段论,史无前例!

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

概老师:你好!可以指导下《千禧年难题pnp的逻辑探讨《》,翻译或其它,

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

合作发表也行,就是投稿于英文期刊

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

合作也行,就是投稿于英文期刊

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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第9组

如果所有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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第10组


如果所有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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第11组


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

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

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

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




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

编号为【3 0】的三段律是亚里士多德的三段论,用直言命题读取方法,精采纷皇。在数天之后将在此处续次把编号为【3 1】的三段律用直言命题读出。不过,逻辑定律是逻辑推理的依据。在现实世界中描述事物之间关系单单依靠“是”与“不是”两个联项是不夠的。这里之州以运用直言命题来叙述逻辑定律,一方面使逻辑定律口语化,同时也表明定律表达的多样性

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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第12组

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

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

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

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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第13组

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

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

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

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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第14组


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

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

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

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


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

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

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

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

亚里士多德的三段论用命题表达方式就有百余种,那么对于其他七个三段律就有近千种表示方法了。

对八个三段律有近千种表达方法,那么,要表达四段律,五段律……将产生如此庞大的表达方法。这些表达方式,利用【机器逻辑思维神经元】技术而开发的器具可以很容易地得到。这是帮助人类逻辑思维的器具,却被排除在专利申请范围之外,合理吗?

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

第15组


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

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

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

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




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

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