#三系统/系统思维+形式逻辑/09
用“三系统”系统思维和形式逻辑结合起来学习碳中和专业知识和做自我管理，从什么地方开始系统的学习呢？
我们首先要先了解古希腊的科学是形式逻辑形成和发展的主要动力，这也是我们学习形式逻辑的基础，这些基础知识对于哲学发展的了解也有帮助。因为学习形式逻辑，知道了芝诺，又因为芝诺成了斯多葛哲学的践行者。
在古希腊，已有多种科学知识逐步趋向系统化，积蓄了丰富的逻辑思想，尤其是希腊的数学和希腊的几何。
埃及人曾经从经验中总结出一些几何学的知识，而希腊人不满足于这种经验的探究，对于空间的普遍规律，他们寻求一个严格的演绎证明。哲学家泰勒斯证明了第一个几何定理，毕达哥拉斯更发现了毕达哥拉斯定理,就是我们比较熟悉的勾股定理，在此基础上他们又发现了不可公度量，不得不佩服这些哲学家。
初等几何作为一门演绎科学，具有这些特点：第一，这门科学的某些命题必须是不证自明的。
第二，这门科学的所有其他命题必须是由这些不证自明的命题推出的。
第三，除了那些最初的命题外，推导必须是形式的，是不依赖几何学所讨论的特殊对象的。几何学是第一个用这种方式表述的知识体系。在古希腊，几何学被看作是具有演绎结构的典范。
混沌的李教授推荐大家书房里放一本《《几何原本》》，是因为欧几里得的《几何原本》是具有严密结构的演绎体系。它是在亚里士多德逝世以后不久问世的。
然而，数学史表明，在欧几里得之前已经有一些几何著作。在柏拉图和亚里士多德的著作中，保存了一些有关几何证明的残篇。亚里士多德的学生欧德摩斯所写的几何学史，以及普洛克拉斯的欧几里得几何学注释，仍保留着这方面的资料。昨天晚上用GPT4搜索了一下，太深奥了，看不懂。
亚里士多德的另一位学生欧多克斯创立了比例学说，可以用于可公度量和不可公度量，他在数论和几何学方面贡献卓著。
亚里士多德不是数学家，但他重视数学科学的精确性，并作了深入的研究，从中吸取逻辑思想。他在《形而上学》中指出，数学证明与逻辑的亲似性；认为哲学家应当建立一门学科就是逻辑学，来研究“数学中称为公理的真理”，“探索演绎就是三段论）的原则”。
“形而上学”这个名字是由日本的学者翻译而来的，得到听书有介绍《形而上学》的音频节目，解读的很好，建议大家听一下，我跑步的时候经常反复听。
亚里士多德不但把希腊几何学所用的推理作为自己的研究对象，而且还把古希腊几何学所用的公理方法作为研究三段论的方法。
了解以上内容，我们对于形式逻辑的发展和起源有初步的了解之后，对后续的学习和运用有很大的帮助。
明天继续阐述！
网友评论