标签档案：康德

范畴理论的先驱•6

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

Hilbert和Ackermann•数学逻辑原理（1928年）对于我们迄今为止所依据的谓词演算的直观解释，句子和谓词必须与作为…继续阅读→

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

范畴理论的前身•5

发布时间： 2024年5月29日 通过 乔恩·奥布里

演示以有限的步骤进行。G.斯宾塞·布朗•形式法则大卫·希尔伯特•《论无限》（1925）最后，让我们回顾一下我们真正的主题，就无限而言，画出…继续阅读→

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

范畴理论的先驱•4

发布时间： 2024年5月28日 通过 乔恩·奥布里

C.S.皮尔士•《为语用学道歉的序言》（1906年），我现在将对你所称的范畴说几句话，但我更喜欢用“困境”这个名称，你把它解释为谓词的谓词…继续阅读→

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

范畴理论的先驱•3

发布时间： 2024年5月27日 通过 乔恩·奥布里

只有按照这一格言行事，你才能同时将其视为普遍规律。伊曼纽尔·康德（1785）C.S.皮尔士•《新类别列表》（1867）§1.本文基于…继续阅读→

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

范畴理论的前身•2

发布时间： 2024年5月26日 通过 乔恩·奥布里

多亏了艺术，我们看到的不是一个世界，而是我们自己的世界，而是这个世界在不断繁衍，我们拥有的世界和原创艺术家一样多……马塞尔·普鲁斯特（Marcel Proust）…继续阅读→

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

范畴理论的前身•1

发布时间： 2024年5月25日 通过 乔恩·奥布里

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。我关于这个项目的笔记…继续阅读→

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

范畴理论先驱综述•5

发布时间： 2024年5月24日 通过 乔恩·奥布里

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,类型理论,通用 | 已标记 ,,,,,,,,,,,,,,,,,,,,,, | 6条意见

范畴理论先驱综述•4

发布时间： 2023年8月1日 通过 乔恩·奥布里

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,类型理论,通用 | 已标记 ,,,,,,,,,,,,,,,,,,,,,, | 1条评论

范畴理论先驱综述•3

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

几年前，我开始写一篇关于“范畴理论的先驱”的素描，追溯范畴概念从亚里士多德到康德和皮尔斯，再到希尔伯特和阿克曼，再到当代数学实践的连续性。关于…的资源调查…继续阅读→

发布于 抽象,阿克曼,类比,亚里士多德,C.S.皮尔斯,卡纳普,范畴理论,图表,数学基础,功能逻辑,希尔伯特,数学史,实体抽象,康德,逻辑,数学,皮尔斯,命题作为类型类比,关系理论,莱恩,符号学,类型理论,通用 | 已标记 ,,,,,,,,,,,,,,,,,,,,,, | 留下评论

查询驱动系统综述•4

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

这是一份关于探究驱动系统的博客和维基资源的调查，我计划对这些材料进行提炼，以更紧凑、更系统地处理这个主题。查询驱动系统是一个在其状态变量中…继续阅读→

发布于 绑架,行动,自适应系统,亚里士多德,人工智能,自动化研究工具,更改,认知科学,通信,控制论,演绎,笛卡尔,杜威,发现,怀疑,教育类,教育系统设计,教育技术,信仰的固定,归纳,问询处,信息论,查询,查询驱动系统,调查调查,智能系统,解释,发明,康德,知识,学习,学习理论,逻辑,科学的逻辑,数学,心理模型,皮尔斯,实用格言,实用主义,过程思维,科学调查,符号学,签署关系,调查,教学,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, | 5条评论