严格说逻辑化和形式化是不同的，公理化几何学是形式化，不是逻辑化。

天朝历史上也有辩论之风盛行的时候，例如魏晋玄谈，但为啥越辩越糊涂。

【 在 aserose 的大作中提到: 】
: 公理化几何学也属于逻辑学。
: 我个人认为，希腊的城邦民主制，孕育了辩论的大环境。在这种环境下，逻辑就变得非常重要了，因此孕育了逻辑学，顺便催生了诡辩。
: 顺便提一句，打破诡辩不难，一般看三段论的前两段，至少一项不为真。
: ...................
--
FROM 60.25.149.*