月度档案：2013年12月

范畴理论的前身•2

发布时间： 2013年12月30日 通过 乔恩·奥布里

多亏了艺术，我们看到的不是一个世界，而是我们自己的世界，而是这个世界在不断繁衍，我们拥有的世界和原创艺术家一样多……马塞尔·普鲁斯特（Marcel Proust）《范畴理论先驱》（Precursors of Category Theory When）…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 6评论

范畴理论的前身•1

发布时间： 2013年12月20日 通过 乔恩·奥布里

几年前，我开始了一个关于范畴理论先驱的素描，旨在追溯范畴概念从亚里士多德、彻底的康德和皮尔斯、希尔伯特和阿克曼到当代数学应用的连续性。也许有几个人会…继续阅读→

发布于 抽象，阿克曼，亚里士多德，C.S.皮尔斯，卡纳普，范畴理论，希尔伯特，康德，逻辑，亲属逻辑，数学，皮尔斯，皮尔士的分类，关系理论，莱恩，签署关系，类型理论 | 已标记 ，，，，，，，，，，，，，，，， | 10条评论

Alpha Now，Omega Later（现在是Alpha，以后是Omega）：7

发布时间： 2013年12月19日 通过 乔恩·奥布里

回复：R.J.Lipton和K.W.Regan•物理定理？在某种程度上，“物理空间”和“信息空间”之间的关系是我在探究驱动系统的工作中所涉及的主题之一。这里是……的一个相关位置…继续阅读→

发布于 人工智能，布尔函数，C.S.皮尔斯，仙人掌图形，计算复杂性，微分逻辑，查询，查询驱动系统，形式法则，逻辑，逻辑图，最小否定算子，皮尔斯，皮尔士列表，物理，命题微积分，符号学，签署关系，斯宾塞·布朗，系统论 | 已标记 ，，，，，，，，，，，，，，，，，，， | 2评论

图标、可能性、可能的故事、可能性、概率：3

发布时间： 2013年12月12日 通过 乔恩·奥布里

关于：皮尔士列表讨论•菲利斯·齐亚松更完整的摘录和译者注释在这里非常有用。概率（εικις）与符号（σηµεις）不同。前者是一个普遍接受的前提；对于…继续阅读→

发布于 亚里士多德，C.S.皮尔斯，Enthymem公司，图标索引符号，逻辑，皮尔斯，皮尔士列表，概率，可能推理，符号学，签署关系 | 已标记 ，，，，，，，，，， | 留下评论

图标、可能性、可能的故事、可能性、概率：2

发布时间： 2013年12月11日 通过 乔恩·奥布里

关于：皮尔士列表讨论•菲利斯·齐亚松我对亚里士多德的论述与皮尔士的用法之间的关系仍有点模糊，虽然我很确定皮尔士一定考虑了亚里士多的用法，但似乎亚里士托德确实画了一些…继续阅读→

发布于 亚里士多德，C.S.皮尔斯，图标索引符号，逻辑，皮尔斯，皮尔士列表，概率，可能推理，符号学，签署关系 | 已标记 ，，，，，，，，， | 留下评论

图标、相似性、可能的故事、可能性、概率：1

发布时间： 2013年12月11日 通过 乔恩·奥布里

关于：皮尔斯列表讨论•本杰明·乌代尔•迈克尔·夏皮罗这是“图标”在逻辑意义上的一个可能的轨迹分类：概率（εκ）与符号（σηµεОν）不同。前者是一个普遍接受的前提；用于…继续阅读→

发布于 亚里士多德，C.S.皮尔斯，图标索引符号，逻辑，皮尔斯，皮尔士列表，概率，可能推理，符号学，签署关系 | 已标记 ，，，，，，，，， | 1条评论

Alpha Now，Omega Later（现在是Alpha，以后是Omega）：6

发布时间： 2013年12月6日 通过 乔恩·奥布里

回复：Alpha Now，Omega Later•物理定理？•同构在哪里在20世纪70年代末，组合学和图论中的许多问题，我真的很想知道答案，这些问题驱使我…继续阅读→

发布于 布尔函数，C.S.皮尔斯，仙人掌图形，计算复杂性，微分逻辑，查询，查询驱动系统，同构，形式法则，逻辑，逻辑图，最小否定算子，皮尔斯，命题微积分，符号学，签署关系，斯宾塞·布朗，系统论 | 已标记 ，，，，，，，，，，，，，，，，， | 3评论

Alpha Now，Omega Later（现在是Alpha，以后是Omega）：5

发布时间： 2013年12月4日 通过 乔恩·奥布里

关于：R.J.Lipton和K.W.Regan•同构是在哪里？“还有更多同构的好例子要研究吗？”我脑海中浮现出几个例子。签署关系。在计算设置中…继续阅读→

发布于 C.S.皮尔斯，仙人掌图形，计算复杂性，微分逻辑，查询，查询驱动系统，同构，逻辑，逻辑图，皮尔斯，命题微积分，符号学，签署关系，系统论 | 已标记 ，，，，，，，，，，，，， | 3评论

Alpha Now，Omega Later（现在是Alpha，以后是Omega）：4

发布时间： 2013年12月3日 通过 乔恩·奥布里

回复：克里斯托弗·摩尔谈物理学中的定理？区分客观景观、布尔函数作为数学对象和句法景观至关重要，句法景观是我们用作命题演算来表示…继续阅读→

发布于 C.S.皮尔斯，计算复杂性，微分逻辑，赤道推断，信仰的固定，一般问题解决程序，爬山，查询，查询驱动系统，形式法则，逻辑，逻辑图，皮尔斯，物理，命题微积分，科学调查，科学方法，符号学，西西弗斯，斯宾塞·布朗，系统论，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，，，，， | 3评论

Alpha Now，Omega Later（现在是Alpha，以后是Omega）：3

发布时间： 2013年12月2日 通过 乔恩·奥布里

回复：R.J.Lipton和K.W.Regan•物理定理？位同步性…科学探究是什么样的信息过程？在各种类型的推理中涉及到什么样的信息过程…继续阅读→

发布于 C.S.皮尔斯，微分逻辑，赤道推断，信仰的固定，查询，查询驱动系统，形式法则，逻辑，逻辑图，皮尔斯，皮尔士列表，物理，命题微积分，科学调查，科学方法，符号学，斯宾塞·布朗，系统论，零阶逻辑 | 已标记 ，，，，，，，，，，，，，，，，，， | 3评论