论文部分内容阅读
以罗伯特.范.罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑：亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL＋,最终得到从三段论逻辑扩充而来的命题逻辑SYL＋PL。
从三段论扩充到命题逻辑
【摘 要】
：
以罗伯特.范.罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑：亚里士多德的三段论逻辑SYL,引入
【机 构】
：
中央财经大学现代逻辑研究所,中国社会科学院哲学研究所
【出 处】
：
西南大学学报(社会科学版)
【发表日期】
：
2013年1期
【基金项目】
：
教育部人文社科研究青年基金项目“自然逻辑研究”(09YJC72040004),项目负责人:张立英;国家社科基金重大招标项目“基于多学科视域的认知研究”(12&ZD119),项目负责人:周北海
其他文献
荀子是儒家思想的集大成者,其理论中蕴含着丰富的民俗思想。荀子强调社会风俗与国家政治的关系。治国者要以风俗习惯作为制礼定法之基础,对美俗要提倡,并形成礼法;对恶俗要加
直膨式太阳能热泵利用少量电能将太阳能的低品位能量转移至高品位，具有清洁、高效的优点，目前正成为节能领域的研究热点，近年来取得了飞速发展．国内外众多学者作了相关研究并取得
随着社会的不断发展,人们对艺术的追求越来越高。当前钢琴教学的层次,也在逐渐从单纯教授技巧,提升到对学生钢琴音乐素养的培养。本文主要分析音乐素养的内涵,同时将音乐素养
自2012年起"互联网+"就已经被提出,2015年在政府工作报告中李克强总理提出了"互联网+"计划。在互联网盛行的背景下,利用先进的信息技术,融合传统的商务英语翻译教学的内容、
为了将表面加工状态引入零构件概率寿命分析中,提出并建立了考虑表面加工缺陷的轮盘疲劳寿命分析方法。将孔的表面加工缺陷简化为表面裂纹和/或角裂纹,导出裂纹深度密度函数;
随着建筑业的飞速发展以及行业间的竞争日益激烈,在具体的建筑工程管理领域中,进度管理的重要性越来越被建筑企业所关注。本文浅谈了进度管理在建筑工程管理中的重要性,并对
背景:肾缺血再灌注损伤是诱发急性肾损伤的主要原因。骨髓间充质干细胞治疗肾缺血再灌注损伤一直是研究的热点。目的:探讨Tet-On系统调控NICD稳定表达的骨髓间充质干细胞(NIC
采用两步法制备了超支化聚羧酸。首先用马来酸酐(MA)和丙烯醇反应得到功能单体AMA,AMA与马来酸酐经自由基聚合得到超支化聚羧酸,考察了反应温度、时间、单体比例、引发剂用量
文章从实证的角度研究经济发展，农村教育投资与农民收入增长之间的关系，通过对1978—2002年的相关数据进行分析得到，农村教育投资、国民生产总值的提高与农民收入增长具有显著的
生物柴油制备在当前有着巨大的发展前景，其在世界范围内都以极其迅捷的速度广泛推广。目前，欧洲生物柴油制备主要以菜籽油为原材料，美国则以大豆油为原材料，而在本国往往以废弃油