重新审视社会契约:你为什么需要关心?

2025-05-10

本文作者从一篇十年前未完成的随笔出发,探讨了我们是否有义务参与社会,并以符合社会期望的方式对待他人。文章借鉴了罗伯特·保罗·沃尔夫和康德的哲学思想,对社会契约进行了批判性反思。作者认为,康德试图从理性角度证明我们应该关心他人,但其论证存在缺陷,无法强制人们参与社会契约。最终,作者主张关注身边的人,而非抽象的社会整体,并强调真挚的关爱是有限的,选择性地关爱才是自由的体现。

阅读更多

图解范畴论——逻辑

2024-10-25

本文介绍了逻辑学的基本概念,包括命题、逻辑运算符、重言式、公理模式/推理规则以及逻辑系统。文章还探讨了经典逻辑和直觉主义逻辑两种不同的逻辑学派,并阐述了它们在真值函数解释和BHK解释下的区别。最后,文章将逻辑与范畴论联系起来,讨论了逻辑命题与蕴涵关系如何构成范畴,并介绍了笛卡尔闭范畴、逻辑与序的关系,以及如何用序理论和范畴论来表示逻辑运算和证明逻辑定理。

阅读更多