相干结论保留着非假值(纯语义证明)

来源 :哲学译丛 | 被引量 : 0次 | 上传用户:jian47312144
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
E.K.沃伊什维洛在状态的概括描述的语义学(参见E.K.沃伊什维洛:《相干逻辑的哲学一方法论观点》,莫斯科,1988)中把对古典谓词逻辑来说相干逻辑结论的关系确定为下述形式:M在这里相干关系表示状态概括描述之集合。该语义学(作为根据“美国方案”所建构的语义学)的重 E. K. Voštvíro, in the semantics of a generalized state of description (see E.K. Voivsvolta: Philosophical-Methodological Perspectives on Coherent Logic, Moscow, 1988), concludes the coherence logic of classical predicate logic The relationship is determined as follows: M Here the coherence relationship represents a collection of state summary descriptions. The semantics (as semantics built on the “American scheme”) weighs
其他文献
为了庆祝中国共产党成立七十周年,七.一前后,在电视荧屏上出现了一大批反映党的战斗历程,歌颂党的丰功伟业的专题节目、文艺晚会及电视剧。可谓节目丰富,异彩纷呈,气氛活跃,
有这样一则报道:一位母亲,家境困窘无比,以卖豆腐为生。勤俭持家的她有一爱子,母亲呵护他如同掌上明珠。今年政府城市改建,他们的三间茅草房被拆迁,政府给了他们三处楼房,每
自噬是真核细胞在其生长、发育、老化过程中存在的一个降解和再循环系统。自噬通过调节蛋白质的合成和降解以及细胞器的更新来维持细胞稳态,而自噬机制的扰乱会导致多种急、
此时的他突然想起一本书上介绍的长跑窍门,于是开始对自己默念:“我不是人!我是一架机器。我没有感觉。我只会前进!”1982年,村上春树33岁。这一年对他来说,是一个重要的人生
本文通过分析独山子炼油厂在用压力容器技术状况,按合乎使用原则提出了压力容器封头结构不合理、错边、角变形缺陷容限。并对未焊透、未熔合、裂纹类缺陷提出了处理方法。在
“於”、“于”二字有联系,又有区别,近年来一些出版物常常把这两个字混用了。 吉林人民出版社出版的《曾文正公全集》中多次出现“于戏”二字。“于戏”的“于”其实应写作
【内容摘要】兴趣永远是最好的老师,而在高速发展的信息时代,学生获取知识与技能的方法不再拘泥于课堂的学习,也不局限于老师、家长、图书馆中所獲取的知识,而是大数据背景下,庞大数据库中所蕴含的所有知识与技能、方法与思想、技巧与策略等等,在这种大背景的环境下,我们如何引导学生在学习树立进一步的学习兴趣是我们教学的主要任务之一。  【关键词】实验 兴趣 初中物理 細节 综合实践 创新  物理是一门以实验为主
如今,遇上去远一些的地方的紧急采访,记者们大都是乘坐飞机,我不禁心生感慨:新疆这些年来交通业的飞速发展,自己也是见证者之一!这些年,火车延伸到了南北疆越来越多的城镇。
低视力的概念出现于20世纪60年代,表示介于功能视力和盲之间的一种视觉功能状态。所谓功能视力指正常视力或能进行一般正常活动的视力,又称有用视力。通常认为视力达到0.3以
有的人感到自己有很大的能量没有释放出来,或有很大的本事得不到人们的欣赏,得不到大家的认可,得不到领导的提拔和重用。在那里怨天尤人,牢骚满腹,或怪领导不公,或怪风气不正