#形式逻辑 搜了下话题，没想到真的有关于形式化的话题，出乎意料，那就参与下吧。 以下为自已观点，希望能遇到有共同兴趣的人。 形式逻辑，这一话题，包含两个内容：形式化和逻辑。 1、逻辑：思维的全过程，即意识的产生和变化。 2、形式化：形式化可以认为特指将思维用符号（身体行为、声音、图像…等人类可感知的方式）展现的过程，现在可以共识为符号系统。如：∽、∧、∨、→、<—>、x、y…等。 形式逻辑可以理解为：符号系统的变化（推理）原理及过程。 形式逻辑的本质是：人类思维形式化为符号系统的展现，即精神的物化形式。 基以以上认知，个人观点：不能用形式化系统展现的精神体系是不完整的。这一观点包括二个方面：一是如果有一精神体系完全不能形式化，说明这一精神体系是不完整的、有缺陷的；二是如果某一精神体系是完整的、全面的，而其又无法用现有的形式化系统展现，那么，现有形式化系统是不完整的、缺陷的。 当我们用以上认知去思考辩证逻辑和现有的形式化系统（如：目前大多数人共识最完善的数理逻辑形式化系统：公理集合论）时，会发现一个有趣的现象：要么辩证逻辑可以用集合论形式化展现，否则其就是不完整的；要么现有的公理集合论就是不完整的，缺失重要的一部分。或许，这就是关于数学我们的无奈：不要问数学是什么，去关心它能解决什么。 作为人类最强的认识论形式化系统，公理集合论已经触及到了认识论的边界，连续统假设展现了这一事实，哥德尔的工作证明了这一事实：公理集合论以触及认识论的边界这一事实来侧证了其本身的局限性，人类在思维形式化的过程中遗忘了一部分，导致我们不能正确的理解和处理：连续统假设和自指涉问题，前者的解决或许能回答物理学关于量子世界的观测现象，后者的解决会告诉我们如何去完成社会科学的形式化。 辩证逻辑的形式化，或许是一个正确的道路。n→2^n，一道通往新世界的大门…自然数与连续统的因果！ #哲学 #逻辑学 #逻辑 #数学 #集合论 #数理逻辑 #博士 #量子力学

评论：
AI苟蛋: 数学界的罗辑思维？求讲解！
神经枪: 形式逻辑就是单纯的符号系统，没那么多花里胡哨的
Souler: 我们集合论