亚里士多德的纯必然三段论形式系统AS^1

来源 :淮阴师范学院学报:哲学社会科学版 | 被引量 : 0次 | 上传用户:wori10000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
显示法是亚里士多德纯必然三段论证明的关键,本文给出了显示证明的形式刻划,在此基础上建立了一个亚里士多德纯必然三段论的形式系统。最后分析了该形式系统和亚里士多德纯必然的三段论系统的关系。
其他文献
实事求是是毛泽东思想活的灵魂之一,是我党的思想路线,也是党的宣传工作必须坚持的基本原则。在认真学习贯彻党的十四大报告,学习建设有中国特色社会主义理论,坚决、全面、准
三四十年代,呼应着中国新诗现代化趋向,朱自清提出了解诗理论,并躬身实践。朱自清的解诗理论主要内涵是:“欣赏是在透彻的了解里”;“只有分析,方可以得到透彻的了解”;“诗
[摘 要] 宁夏稻田蟹是今年发展起来的全新产业,深受当地人民以及政府关注,但现在产业链存在一定问题,本文通过剖析目前稻田蟹现状,提出发展稻田蟹的几项建议。  [关键词] 稻田蟹 养殖 产业化  [中图分类号] S966.16 [文献标识码] A [文章编号] 1003-1650 (2014)08-0277-01  我区的稻田养殖河蟹始于2009年,沿用“辽宁盘锦模式”,将种植水稻和养殖河蟹有机的接
平菇属于担子菌亚门、真菌门,层菌纲。俗名北风菌、冻菌。其中较著名的为美味侧耳、金顶侧耳等,普遍栽培的大多数为糙皮侧耳。平菇的适应性很强,世界分布30多种,绝大部分可食用。
目的:了解吉林省成年居民关节炎的患病现况及其影响因素,为制定有效干预措施提供依据。方法:以吉林省18~79周岁的常住居民为调查对象,采用多阶段分层随机整群抽样的方法,选取吉
卵母细胞体外培养所用的成熟液主要成分有:基础培养基(TCM199、M2、M16)、动物血清(或PVA)、激素(FSH、LH)、生长因子(EGF、IGF-I、LIF)、抗生素(青霉素、链霉素)、含巯基化合物(巯基乙胺、β-巯基乙醇)。主要论述了基础培
对牛病的特点进行了分析,并提出了牛感冒、牛结核、犊牛腹泻等3种比较常见牛病的防治方法。
校本课程的提出和迅速发展,其直接的背景和动因是对西方国家20世纪60年代课程现代化运动挫折的反思及人本主义课程的推行,也是20世纪以来历次世界性课程改革运动发展的必然.
[中图分类号] S763.7 [文献标识码] B [文章编号] 1003-1650 (2014)11-0157-01  福奇150ZC(微囊悬浮-悬浮剂)是先正达公司开发的新一代高效、广谱性杀虫混剂,其有效成分为氯虫苯甲酰胺和高效氯氟氰菊酯,互补了两个单剂的防治范围,同时其不同的作用机理也延缓了害虫抗性的产生。作者于2010年进行了福奇150ZC防治西兰花菜青虫田间药效试验,为生产防治提供技术依据
本刊讯 河北省辛集市紧紧围绕全面建设小康社会和中等城市的宏伟目标。认真贯彻落实上级关于实施城市化战略的一系列决策部署,抓规划、抓建设,创新机制。加快发展,有力地推进了