莱布尼茨逻辑数学化思想的开创和界限 |
| |
引用本文: | 郭菁.莱布尼茨逻辑数学化思想的开创和界限[J].自然辩证法研究,2022(3):108-114. |
| |
作者姓名: | 郭菁 |
| |
作者单位: | 大连理工大学哲学系 |
| |
基金项目: | 国家社会科学基金项目“人工智能时代责任主体的伦理建构研究”(20BZX028); |
| |
摘 要: | 莱布尼茨开创了逻辑数学化的工作,成为数理逻辑的创始者。他以单子论的本体论和唯理主义的认识论为前提,按照方法论上的包含原则、符号对应原则、演绎推理的一致性原则将逻辑数学化,追求逻辑和数在本体论、认识论和方法论的统一。然而莱布尼茨没有完成逻辑数学化的宏大设想,其逻辑数学化存在一定的界限:一方面,单子论取消了量的关系的独立性;另一方面,包含原则导致对项的还原和内涵逻辑的倾向。对莱布尼茨逻辑数学化界限的分析将有助于进一步反思当今科学数学化的合理性和局限性。
|
关 键 词: | 莱布尼茨 逻辑数学化 包含原则 还原主义 |
|
|