【摘 要】
：
现今的问题逻辑系统能较好地处理“whether问题”,但处理“why问题”面临困难。本文对辛迪卡的命题逻辑询问探究系统作了适当的修改,通过添加“why提问规则”的方式,构建了一个能处理一类“why问题”的询问探究系统IMIpw,并证明了“询问推导与经典推导的关系定理”、“询问推导的可靠性定理”等重要元定理。
【机 构】
：
华东师范大学哲学系,吕梁学院中文系
【基金项目】
：
国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046),山西省高等学校哲学社会科学研究项目“问句逻辑与语言学的交叉研究”(2019W201)。
论文部分内容阅读
现今的问题逻辑系统能较好地处理“whether问题”,但处理“why问题”面临困难。本文对辛迪卡的命题逻辑询问探究系统作了适当的修改,通过添加“why提问规则”的方式,构建了一个能处理一类“why问题”的询问探究系统IMIpw,并证明了“询问推导与经典推导的关系定理”、“询问推导的可靠性定理”等重要元定理。
其他文献
9月7日上午,“科圣故里·公益福彩”即开型福利彩票“墨子”全国云首发仪式在墨子故里——山东枣庄滕州举行.“墨子”即开型福利彩票,是以墨家学派创始人——墨子为画面设计的一款历史文化主题彩票,具有较强的文化价值和收藏价值.
自党史学习教育开展以来,慈善事业促进和社会工作司按照民政部党组统一部署,将“五社联动、情暖基层”作为“我为群众办实事”实践活动的重要内容,创新社区与社会组织、社会工作者、社区志愿者、社会慈善资源的联动机制,助力完善社区服务体系、精准回应居民服务需求,打通为民服务“最后一米”,取得较好成效.
内蒙古自治区包头市青山区推出免费定制“婚礼式颁证”服务;黑龙江省哈尔滨市南岗区增设领证前扫码答题新婚指导服务,为新人上好“婚前第一课”;河南省宁陵县推行婚嫁彩礼“限高”倡导标准,倡导彩礼不超过3万元,随份子不高于100元;湖南省澧县成立红白理事会,建立婚丧嫁娶事前备案、签订承诺书制度……
异喻理论是因明逻辑独有的一种论据概念,汉藏因明都承认异喻理论在因明逻辑论据理论中是不可或缺的。本文通过对异喻理论中“异喻体”与“异喻依”、“异喻依”与“异品”、“异喻”与“因三相”等概念和关系的分析和研究,提出:汉传因明是“因三相”意义上的逻辑体系,藏传因明是“因二相”意义上的逻辑体系。
代语句真理论主张“是真的”只存在于“它是真的”与“那是真的”代语句形式中,真谓词不具备实体描述属性。这种理论具有典型的特设性,它创设了代语句“thatt”,借助个体量化词的分析完成对“thatt”的命题量化,同时在创设的英语*中用联结词加连字符的方式对代语句形式进行修改,还对悖论提出了代语句式的读解。这种特设尽管可以帮助我们理解理论存在的合理性,但由于特设太强,也导致该理论无法普遍推广。
浙江省嘉兴市民政局高度重视社会组织的培育扶持和作用发挥,着重在出政策强扶持、建平台促发展、抓管理增活力等方面不断探索,支持引导各类社会组织有序参与社会治理和公共服务,助推打造嘉兴市域社会治理现代化先行市“金名片”.截至目前,全市有登记注册的社会组织4741家,备案社区社会组织16875家,业务范围涵盖经济、教育、文化、体育、公益慈善、社会服务等领域,成为人民群众参与社会治理和公共服务的重要载体.
“中国哲学分析化”在当代中国哲学研究中始终是一个引起争议的话题。“中国哲学分析化”的关键在于“分析化”。在当代哲学中,分析方法有许多不同形式。这里的“分析方法”主要是指概念分析和语义分析,通过对哲学概念的语义与用法的分析,揭示哲学概念的多重含义。从中国哲学分析化的问题出发,在哲学方法论上更需要强调的是整体论思路和先验论证的方法,前者为我们提供了具体问题分析的整体框架,后者则帮助我们更好地认清哲学论证与其他知识论证之间的重要区别。中国哲学研究应当从方法论高度重视分析方法的重要作用,由此重新建立中国哲学的问题
本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和模态逻辑S5的混合逻辑具有有穷模型性。因此可推导出混合时态逻辑K4.t和模态逻辑S5是可判定的。该结果被延伸到其他常见的时态逻辑与模态逻辑的混合,时态逻辑之间的混合和模态逻辑之间的混合,并得到它们的有穷模型性证明。
北京:全面推动残疾人两项补贴制度创新发展rn北京市在2016年全面建立了残疾人“两项补贴”制度.六年来,坚持立足首善之区,做好首善之为,不断提升残疾群体的获得感、幸福感、安全感.rn高位推动,高标准贯彻落实中央决策部署.2016年,市政府印发《关于全面建立两项补贴制度的实施意见》,建立起政府领导、民政牵头、残联配合、部门协作、社会参与的工作机制,坚持高标准首都福利供给保障,将所有低保、低收入家庭残疾人,非低保、低收入家庭中的无业、老年、儿童、学生残疾人一并纳入生活补贴范围,最高每人每月可领取生活补贴124
归谬法与归谬翻转法是佛教知识论中一组重要的论证方法。一直以来关于它们的研究,多以陈那、法称及其后学为关注点,时而会关注到中观派的清辨论师。众所周知,归谬法是中观派,特别是被后世称为“中观应成派”的学者月称所倚重的论证手段。然而,令人意外的是,先行研究在对归谬法与归谬翻转法的考察中,都普遍忽略了月称,特别是没有意识到月称以自他共比量理论重塑了归谬翻转法的意义这一点。本文在分析月称《明句论》文本的基础上指出,清辨与月称二人都承袭了陈那的做法,以归谬翻转法来为归谬法的合法性做辩护;不过,二者不同之处在于,前者与