【摘 要】
：
不同记号体系表示相同逻辑系统是逻辑哲学貌似平凡实质核心的论题,且会创新出乎意料的结果。对记号体系的评价是等价、简化和增力"三合一"。"波兰记号"(1924)、"括号记号"(19
【基金项目】
：
华中科技大学人文交叉项目“人工智能的科技与社会研究”;国家社会科学基金项目（16BZX022）：量子概率的哲学问题研究;华中科大人文前沿团队专项“科学技术前沿的哲学问题与科学哲学新理论”
论文部分内容阅读
不同记号体系表示相同逻辑系统是逻辑哲学貌似平凡实质核心的论题,且会创新出乎意料的结果。对记号体系的评价是等价、简化和增力"三合一"。"波兰记号"(1924)、"括号记号"(1995, 2019)和"CPH记号"(2014, 2019)均是典型自洽逻辑记号体系。命题逻辑中,三种记号体系都等价于标准皮亚诺-罗素体系。前两种分别因消除结构符号独立性或常元符号独立性而达简化指标,第三种却因消除变元符号独立性而同时达到增力指标。
其他文献
<正> 在冬季积雪复盖厚的地区,自然界积存的饲料十分贫乏。致使野生动物、鸟类觅食困难,对野生动物和鸟类进行补饲(饲养),是改善动物生存条件重要的生物学方向性措施之一。鹿
通过用扶肺煎治疗中、晚期肺癌5年的追踪观察,发现扶肺煎有改善免疫功能以及临床症状的作用,第2至第5年的生存率明显高于化疗组,二者有显著差异。
<正>研究目的:先天性副肌强直是由于骨骼肌电压门控钠通道突变所致的常染色体显性遗传性骨骼肌离子通道病,其临床特征为温度敏感性肌强直伴有发作性肌无力。本研究对一个来自
本文通过介绍语块理论及语块教学法在英语教学中的应用,探讨如何提高学习者语言的地道性和流利性,从而切实提高英语教学质量。
作者设计和研制的儿童保健与膳食管理系统计算机应用软件包括２大部分：儿童膳食管理系统采用新的ｆｏｘｐｒｏ３．０数据库管理系统设计，经过编译形成可脱离环境运行的文件，可使用在ＩＢＭ－ＰＣ及其兼容机上、主
介绍了新开发成功的一种用于小苏打生产的高效筛板碳化塔,在塔体内沿其轴向设置有若干以液相为连续相的低开孔率且带降液管的筛板塔板,在塔体下部设置有塔内或塔外管式冷却结
为了较好地模拟混凝土的细观结构,开展了混凝土三维细观随机骨料模型的算法研究,比较分析了骨料生长、相交的算法特点。以随机球形骨料模型为基础,以体积为标度,在前人的基础
[目的]研究影响板蓝根滴丸制备的各种因素,确立最佳制备工艺。[方法]以外观质量、溶散时限和丸重差异为评价指标,采用正交设计试验对各影响因素进行考察。[结果]以聚乙二醇60
<正>1 2015年第三季度市场回顾2015年第三季度,我国沿海散货综合运价指数转而下行,目前已经跌破今年第一季度末创下的历史最低值。煤炭、铁矿石和粮食三大货种的主要航线运价