论文部分内容阅读
如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的。真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题。本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算。在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的。
一个真值函项偶然逻辑的希尔伯特演算系统
【摘 要】
：
如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的。真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题。本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算。在此演算中,通过演绎所得到的公式要么是偶然公理,要么是由偶然规则推出的。
【机 构】
：
SchoolofPhilosophyandSocialDevelopment,InstituteofConceptandReasoning
【出 处】
：
逻辑学研究
【发表日期】
：
2021年3期
【基金项目】
：
This work is supported by“The National Social Science Fund of China”(grant number 20&ZD046),“The Fundamental Research Funds of Shandong University”(11090079614065),“Young Scholars Program of Shand
其他文献
面临全球环境失衡的危机,拉图尔提倡依据技术“客体”和行动者网络进行思考.他还倡导“对称性外交”,这一概念强调在谈判中人与非人行动者的平等.然而,对于拉图尔的哲学是否
2019年9月7-8日,由中国自然辩证法研究会科学哲学专业委员会主办,浙江大学哲学系承办,浙江学刊协办的第十九届全国科学哲学学术会议在杭州召开.委员会从三百多篇论文及摘要中
期刊
格雷欣学院作为近代早期英国的科学活动中心,在英国科学史中具有重要地位.格雷欣学院的教育活动自成立以来便受到英国社会的持续关注,与此相关的史学作品也随之出现,其中以18
电子游戏的新奇性深远地影响了身体在空间中的自我意识与“在场”意识.本文主要运用“体验抽样方法”(ESM),探讨新媒体技术中介下的电子游戏赛博空间中的自我是如何被形塑的
无聊作为一种消极情绪体验，在现代社会背景下对人们心理和生活的负面影响日益凸显，并逐渐成为当下一个新兴的研究主题。青少年无聊与其心理健康关系的研究也引起了学界的关注，本期访谈邀请俞国良教授介绍有关青少年无聊的心理效应和形成原因，以帮助教育工作者正确地认识和理解青少年的无聊现象，并根据青少年无聊的类型、特征和影响因素，制定科学有效的应对和干预措施，为青少年心理健康保驾护航。 关键词：无聊;消极情绪;
计分投票制是一种要求选民给每个候选者在[0,1]区间打分并选取平均分最高者为赢家的投票系统。本文为计分投票制的分数提供了一个语义解释,据此定义了涉及定性判断的新公理——中和性,并在此基础上给出了计分投票制的公理刻画。最后,本文还提出了选举赢家所应当具备的两项条件以完善计分投票制。
工程社会稳定风险的应对与化解是工程社会治理的重要内容,政府、企业、行业、公众组成的工程共同体的协同治理是化解工程社会稳定风险的重要途径.九峰垃圾焚烧发电项目就是一
一天早上，我正给女儿扎头发，她不断地催促我：妈妈，快点快点。女儿今年一年级，她学校上课的时间是8点30分。而从家里到学校步行只需要5分钟。她的催促，让我感受到了焦虑。 她催促的语气，让我脑海中浮出了一个熟悉的场景。因为丈夫不在家，我平时工作又忙，总是感觉每天的时间不够用。因此，生活忙碌而焦虑。我经常会催促女儿：“快点快点，妈妈上班要迟到了;快点快点，妈妈得回家做饭了……”她的催促，让我看到了那个
近年来关于博物学的研究逐渐增多,从最初的译名之争,到具体概念内涵的解读,再到相关研究领域的拓展、丰富与深化,国内博物学研究不断向前推进.近年来的博物学文化论坛正是兴
期刊
2019年11月8日至9日,第四届全国气象科技史学术研讨会在北京召开.本次会议由中国科技史学会气象科技史委员会、中国气象局科技与气候变化司主办,中国气象局气象干部培训学院
期刊