【摘 要】
：
从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重
【机 构】
：
南京大学 哲学系,江苏 南京210023
论文部分内容阅读
从形式蕴涵看“实质蕴涵怪论”,是化解实质蕴涵理论之“严峻反例”的谓词逻辑路径,旨在纠正经典命题逻辑定理在条件句分析中的误用,并非对条件句命题逻辑刻画的“高层次的重复”.基于受限量化域的特殊形式蕴涵,是化解“严峻反例”的基本工具.准确理解命题函数和逻辑量词,清晰分辨命题与命题函数、条件命题与条件句,对于把握形式蕴涵化解路径起着关键作用.关于“吉伯德反例”等“极严峻反例”的化解,需诉诸刻画“多重概括”的量词叠置型形式蕴涵.以受限量化域和特殊形式蕴涵刻画某些自然语言条件句的逻辑形式,澄清认知共同体关于这些语句的“为假直觉”或“为真直觉”之逻辑机理,有助于将经典逻辑正确运用于自然语言理解,对逻辑教学体系改革也具有重要意义.
其他文献
噪声污染危害非常严重。随着现代工业的快速发展，噪声污染日益严重，尤其是交通噪声污染。实验分析环境噪声的声学特性、噪声的控制、各类吸声材料与吸声原理，制备高效的吸声材料
在多种音乐风格并存的今天,和声及节奏运用也由原来的单一形态衍生出多种变形形态,这些形态也需要具有一定的规律及要求.以古典及浪漫时期旋律为基础,探讨同种旋律中和声在爵
本论文综述了超导材料的发展、应用以及分类；简要介绍了REBCO高温超导薄膜的发展和制备方法;重点介绍了REBCO高温超导薄膜的结构、性能参数;并阐明了本课题的研究目的及内容。本论文采用无氟高分子辅助金属有机物沉积方法(PA-MOD)在LaA103单晶片上制备SmBa2Cu307.x(SmBCO)薄膜。首先全面介绍了制备SmBCO薄膜的整个工艺流程；其次对无氟PA-MOD法制备SmBCO薄膜的热处理
空蚀是一种复杂的表面破坏现象,尚未建立完整的理论体系,本文以H13及45钢作为研究对象,采用失重法表征材料空蚀程度,研究了显微组织对空蚀性能的影响规律,通过对表面及剖面的
“静中常用存养”是朱熹静养观的重要主张,朱熹以身心皆养建构了“静中常用存养”的主体论,以“定—静—安—虑”建构了“静中常用存养”的方法论,以涵养、穷理、笃行建构了
建立了液压履带起重机起升机构在起升平面内的三质量二自由度的质量弹簧系统动力学模型，并用模态分析法求解了系统方程得到起升过渡过程系统动态响应．给出了液压履带起重机起升
环境与能源是21世纪人类所面临和亟待解决的两大世界性难题,而纳米半导体光催化技术在解决能源短缺和环境污染两方面均有着较大的应用。其中半导体光催化技术包括能源光催化(含三个领域：光催化分解水制氢、染料敏化太阳能电池和二氧化碳还原成有机燃料)和环境光催化(空隙氧化物作用降解去除污染物)。由于石油、煤、天然气等化石燃料的不可再生性及过度开发而逐渐枯竭,以及燃烧这些化石燃料所带来的日益严重的社会环境污染等
钇铝石榴石(化学式为Y3Al5O12,简写为YAG)是一种重要的陶瓷材料,它具有优良的高温和化学稳定性、极高的抗蠕变性能和良好的综合力学性能,具有作为先进结构陶瓷的潜质；同时它还
称重传感器的技术性能,主要取决于弹性体的性能,而弹性体的结构是高精度称重传感器的基础。弹性体的滞弹性能影响传感器精度和计量性能,是传感器设计中的关键技术。本文采用