高山流水分享 http://blog.sciencenet.cn/u/马雷 华侨大学特聘教授,博士生导师。招生方向:科学哲学、科技与社会。

博文

按标题搜索
现行联合演算的判定标准不可靠的理由
2008-6-28 20:27
希尔柏脱和阿克曼试图导出一个普遍可行的判定标准,判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的判定标准并不是一个十分可靠的标准。联合演算的最特殊的方面是,其演算不可能在单一的层次上进行,必须在 ...
个人分类: 学术论文|4484 次阅读|1 个评论
亚里士多德模态三段论的形式系统
2008-6-27 22:09
摘 要:在《前分析篇》 中,亚里士多德用大量篇幅讨论了模态三段论问题。亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观 出发构筑这一系统①。 关键词:亚里士多德;模态三段论;形式系统 中图分类号: B815. 1 文献标识码:A  文章编号: 1672 - 920X (2005) 01 - 0042 03 1 初始符号 1. 1 词项变元 ...
个人分类: 学术论文|4933 次阅读|没有评论
论理论创新的经验确定性标准
2008-3-7 17:54
摘要:科学理论的经验确定性是科学创新的合理标准之一。追求理论的经验确定性对于理论创新具有重要意义。 关键词:理论创新经验确定性 标准 中图分类号:B08文献标识码:A 一、经验确定性的定义 科学理论的进步和创新 ...
个人分类: 学术论文|4769 次阅读|4 个评论
论理论创新的经验精确性标准
2008-3-6 10:43
一、经验精确性的定义 科学理论的进步和创新有许多标准,给每一个标准下一个明晰的定义是必要的,因为规范地描述科学史需要形式化的,实际可行的分析机制。我的定义方法是以问子和解子为基本概念,通过理论与理论之间的不对称性比较来凸现理论的高低、 ...
个人分类: 学术论文|4042 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 20:05

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部