原始命题的逻辑学研究──兼论多因-果的逻辑推理 |
| |
作者姓名: | 程平 |
| |
作者单位: | 武汉市社会科学院哲学所 |
| |
摘 要: | 本文对公理系统中的原始命题进行了初步的探讨。原始命题之间的蕴涵是一种纯形式蕴涵,它与一般实质蕴涵的区别是,纯形式蕴涵具有非传递性,一般实质蕴涵则满足蕴涵传递律。公理系统中有限个原始命题推导出结论命题的过程,可以理解为多因一果的推理。这种推理需要对究竟依靠多少个原因命题作为前提,进行主观的选择。本文将多因-果同一因一果两种推理方法作了比较,并简单解释了以往认为欧氏第五公设不能被证明的原因。
|
关 键 词: | 原始命题 纯形式蕴涵 非传递性 递归性 多因-果 |
本文献已被 CNKI 等数据库收录! |
|