论文部分内容阅读
首先回顾命题联结词集合函数完备性的历史发展情况，然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题，以及相关的逻辑常项问题。理解函数完备性可以转向确定哪些性质是逻辑性质这样一类哲学问题。
函数完备性问题
【摘 要】
：
首先回顾命题联结词集合函数完备性的历史发展情况，然后简要考察直觉主义逻辑与一阶逻辑的函数完备性问题，以及相关的逻辑常项问题。理解函数完备性可以转向确定
【机 构】
：
中国社会科学院哲学研究所,北京100732
【出 处】
：
2011语言逻辑和符号学学术会议
【发表日期】
：
2011年6期
其他文献
区域性公共技术平台建设机制的＂有效性＂问题主要集中表现为市场主导的技术创新活动的动力不足,政府支持的技术创新活动与技术创新主体的目标导向存在差异。要解决区域性公共技
目的探讨胃癌组织中细胞凋亡情况,以及survivin、NF-κB在胃癌组织中表达,了解三者在胃癌发生、发展的作用和关系。方法共分为胃癌组织、癌旁组织、慢性胃炎组织、正常胃黏膜
文学审美的意义在于通过＂世界—作者—作品—读者＂四要素间的动态交际过程,体现审美主、客体之间的辩证关系,从而达到文学审美本体意义上的回归。将文学审美作为具体的认知交际
根据傅里叶分析原理，从理论上论证非简谐策动源，不影响文献「１」所述的由ｆｉ＝Ｎｆｎ引起的弦的非共振固有振动实验观测的正确性，最后提出了爽维驻波概念。
针对目前拆迁安王小区绿地环境的现状,指出了其中存在的问题、原因及解决问题的对策.