标签档案：亲属逻辑

范畴理论的先驱•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条评论

皮尔士1885年的《逻辑代数》•讨论2

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

回复：FB |丹尼尔·埃弗雷特（Daniel Everett）很长一段时间以来，我一直试图理解皮尔士关于数学和逻辑的写作从1865年到1885年的变化。如果说我从阅读皮尔士的作品中学到了什么…继续阅读→

发布于 逻辑代数,C.S.皮尔斯,演绎,图解推理,图标索引符号,逻辑,亲属逻辑,数学,符号学原理,关系理论,符号学,签署关系,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,, | 1条评论

皮尔士1885年的《逻辑代数》•讨论1

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

回复：FB|Daniel Everett DE:逻辑史上最重要的论文之一。《逻辑代数论》是第一部引入量词的著作。皮尔士，C.S.（1885），“关于逻辑代数：A…继续阅读→

发布于 逻辑代数,C.S.皮尔斯,演绎,图解推理,图标索引符号,逻辑,亲属逻辑,数学,符号学原理,关系理论,符号学,签署关系,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,, | 1条评论

皮尔士1885年《逻辑代数》•选集4

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

选自C.S.皮尔士的《逻辑代数：对符号哲学的贡献》（1885）§1.三种符号（续）在本文中，我的目的是发展一种足以处理所有问题的代数…继续阅读→

发布于 逻辑代数,C.S.皮尔斯,演绎,图解推理,图标索引符号,逻辑,亲属逻辑,数学,符号学原理,关系理论,符号学,签署关系,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,, | 4评论

皮尔士1885年《逻辑代数》•选集3

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

选自C.S.皮尔士《逻辑代数论：对符号哲学的贡献》（1885）§1.三种符号（续）例如，以三段论公式为例，这实际上是一个与…继续阅读→

发布于 逻辑代数,C.S.皮尔斯,演绎,图解推理,图标索引符号,逻辑,亲属逻辑,数学,符号学原理,关系理论,符号学,签署关系,三位一体关系,可视化 | 已标记 ,,,,,,,,,,,,, | 4评论