数学
反馈
修正?更新?遗漏?让我们知道如果你有建议来改进这篇文章(需要登录)。
谢谢您的反馈

我们的编辑将审阅你所提交的内容,并决定是否修改文章。

外部网站

了解本主题在这些文章中:

坎托里亚集合论

  • 芝诺悖论
    逻辑史:格奥尔格·康托

    他们很少开发出处理无限类的工具,也没有人系统地考虑类的元素本身就是类的可能性,这是坎托里安集合理论的一个关键特征。“真实的”或“封闭的”无限事物的概念,而不是……

    阅读更多

Leśniewski mereology

  • stanissawle涅夫斯基:主要的逻辑工作

    一个分配阶级和一个集体阶级在分布用法中,类表达式与通用名称相同;因此,说一个人属于波兰人的阶级,就是说这个人是波兰人。因此,本体论(,“存在”)是名称的逻辑;而且,……

    阅读更多
  • mereology

    莱茨涅夫斯基,他试图阐明阶级的表现形式,并将部分与整体的关系理论化。它试图解释伯特兰·罗素的悖论,即所有这些阶级都不是他们自己的元素。列涅夫斯基声称,分配的和集体的应该有所区别。

    阅读更多

集理论

  • 阿尔弗雷德·诺斯·怀特海
    形式逻辑:集合论

    理论是一种阶级的逻辑。任何类型的对象的集合(有限或无限)或聚集,这些对象被称为所讨论的类的成员。一些逻辑学家交替使用术语“类”和“集”;其他人则对它们进行区分,将集合(例如)定义为类……

    阅读更多
  • 集合论:Neumann-Bernays-Gödel公理

    NBG中有两个未定义的概念:类和成员的二元关系∊(尽管在ZFC中也是如此,∊就足够了)。对于预期的解释,变量将类(与某些属性对应的总和)作为值。一个类被定义为一个集合,如果它是某个…

    阅读更多

符号可拓逻辑

  • 芝诺悖论
    逻辑史:布尔和德·摩根

    类的逻辑或代数(兰伯特的一位通讯员,格奥尔格·冯·霍兰德,曾试验过一种外延理论,1839年,英国作家托马斯·索利在《论》中提出了一种外延逻辑《逻辑学大纲》,虽然不是代数的。)

    阅读更多