论文部分内容阅读
首先回顾命题联结词集合函数完备性的历史发展情况，然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题，以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。
函数完备性问题
【摘 要】
：
首先回顾命题联结词集合函数完备性的历史发展情况，然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题，以及相关的逻辑常项问题。理解函数完备性可以转向确定
【机 构】
：
中国社会科学院哲学研究所,北京100732
【出 处】
：
2011语言逻辑和符号学学术会议
【发表日期】
：
2011年6期
其他文献
利用多项式理论讨论微分方程的特征多项武之间的关系，得到常系数齐次线性微分方程组有非零解的判别条件。
从企业异质性的角度研究科技创新和企业增长的关系。利用四川省近千家高新技术企业的数据,采用分位回归法进行回归分析,从而得到与最小二乘回归法相比的不同结果。研究发现,
区域性公共技术平台建设机制的＂有效性＂问题主要集中表现为市场主导的技术创新活动的动力不足,政府支持的技术创新活动与技术创新主体的目标导向存在差异。要解决区域性公共技
目的探讨胃癌组织中细胞凋亡情况,以及survivin、NF-κB在胃癌组织中表达,了解三者在胃癌发生、发展的作用和关系。方法共分为胃癌组织、癌旁组织、慢性胃炎组织、正常胃黏膜
文学审美的意义在于通过＂世界—作者—作品—读者＂四要素间的动态交际过程,体现审美主、客体之间的辩证关系,从而达到文学审美本体意义上的回归。将文学审美作为具体的认知交际
根据傅里叶分析原理，从理论上论证非简谐策动源，不影响文献「１」所述的由ｆｉ＝Ｎｆｎ引起的弦的非共振固有振动实验观测的正确性，最后提出了爽维驻波概念。
近年来，笔者运用醒脑合剂配合低能量氦氖激光血管内照射（以下称ＩＬＩＢ），治疗颅脑损伤６０例，取效满意，现总结如下。１临床资料将我院脑外科收住的颅脑损伤病人１２０例，随机分为治疗组与对照组各６０例。其
介绍了式剂２，３，７－三羟基－９－「３，５－二溴－４－（２，５－二羟基）苯偶氮」苯基荧光酮（ＤＡＲＰＦ）的合成，通过元素分析、红外光谱和紫外可见吸收光谱等方法测试屯该试剂的组成和结构，研究了试剂的物理特性及与一些高价金属离
针对目前拆迁安王小区绿地环境的现状,指出了其中存在的问题、原因及解决问题的对策.