辩证逻辑(Dialectical Logic)是与形式逻辑不同的逻辑系统，其核心在于通过矛盾、运动与整体性来理解事物的本质与发展规律。辩证逻辑的历史与哲学中的辩证法思想紧密交织，尤其在中西方哲学传统中呈现出多样化的形态。

如老子的《道德经》是中国古代辩证逻辑学最有名的著作，里面有一句非常经典的话“反者道之动，弱者道之用”阐释了事物的矛盾和对立转化，而西方古希腊，无矛盾的亚里士多德逻辑学取得了一边倒的巨大优势。直到黑格尔逻辑学发展了辩证法，马克思继承了黑格尔的辩证法发展出马克思主义哲学。

逻辑推理之形式逻辑

形式逻辑可以追溯到古希腊的亚里士多德时期，他在《工具论》中系统阐述三段论，因此被称为“形式逻辑之父”。后来的斯多葛学派又提出逻辑连接词（如“且”“或”“非”）的形式分析，充实了形式逻辑。

在中国则主要是名家与墨家（战国时期），墨家提出“辩”的概念，在《墨辩》中探讨“名实关系”与逻辑悖论（如“白马非马”）；名家惠施、公孙龙关注概念分析与语言逻辑。

2025-02-18

Rust

在 Rust 中使用 PgVector 和 SeaORM

之前在用SeaORM来进行数据持久化，一直没有什么好的解决方案来集成PgVector合SeaORM，这两天在讨论区看到一篇文章：Using pgVector with SeaORM in Rust
这篇文章值得学习一下

向量空间

2025-02-12

经济与金融

税收立法进程

最近DeepSeek发布，用AI整理了很多有意思的问题，这个税收立法进程算是一个。

中国税收立法进程是随着经济体制改革和法治建设的推进而逐步完善的，以下是主要阶段的梳理：

2025-02-12

历史

唯物主义历史观2——生命简史

之前有一篇文章《唯物主义历史观》从经济学、社会学等角度简单说了一下我对人类历史的一些思考。这段时间DeepSeek特别火，问了它非常多的问题。所以基于deepseek的回答再续写一篇文章拓宽一下视野，整理一下地球生命的历史。

首先需要明确，由于远古证据的稀缺性和研究方法的局限性,目前生命演化史上的很多问题都是以假说形式存在。比如说化石，它的形成条件苛刻，远古时期的单细胞生物不可能有化石留下来,而且板块运动火山喷发等地质活动也会破坏原始地层。所以目前科学家们提出来的各种假说都只是生命演化历程中可能的路径，真实的历史比假说可能更复杂。

2025-02-10

经济与金融

改革开放历史

今天问了Deepseek一个问题发现，国内DeepSeek账号直接拒绝回答这个问题，但是还是被我问出来了，仔细一看全是血与泪。

中国的改革开放是20世纪以来最为重要的经济社会变革之一，深刻改变了中国的发展轨迹，并推动了全球格局的演变。这一历程大致可分为以下几个阶段，每个阶段均伴随着关键政策突破、制度创新和社会经济结构的转型。

2025-02-07

经济与金融

乡村振兴

为什么要乡村振兴

“乡村振兴”作为一项重大战略，不仅是当代中国发展的必然选择，也是历史条件和发展经验的总结。其提出和实施背后有着多方面的历史原因，主要包括以下几个方面：

2025-02-03

经济与金融

全要素市场化改革

基础概念

1. 什么是“全要素”？

2024-10-04

商业

UGC & PGC

内容与内容产业

内容这个词介于信息和知识之间。在没有互联网的时代，人们能接触到的内容产品主要是电视、电报、收音广播、报纸、书籍。古代的书籍和知识都垄断在朝廷和官绅手中，在印刷术被发明之前书籍都是皇帝官绅的私人收藏，民间的知识传播都靠口口相传。即使北宋的毕昇发明了活字印刷，底层人民也很难有接触书籍的机会，我们从明初宋濂的“每假借于藏书之家，手自笔录，计日以还”的描写中也能窥见一二。直到明清出版业开始繁荣，通俗小说成为一种商品生产并流通，小说作者作为最早的内容创作者与书坊合作满足人们的精神需求，这就是最原始的内容产业。

2024-07-25

Rust

Rust运算符重载

运算符重载是一种允许程序员定义或改变运算符行为的特性，许多编程语言都支持运算符重载，特别是在面向对象编程和泛型编程中，比如C++、C#、Kotlin、Swift等语言，这些语言还支持同名的函数重载。

Rust支持运算符的重载，但是不支持函数重载，因为Rust提供了更强大的编译期范型的支持，函数重载这种容易出现歧义的语法特性就被rust抛弃了。