【一个与卢卡西维茨不同的亚里士多德三段念经形式系统】蔡曙山.pdf

所在单位哲学系(本校填系、所):专业:逻辑学济证逻辑研究方向:指导教师或推荐人姓名、职称:玉珂敏授(在职人员填后者)学习期限:84年月至87年

目录一、对亚里士多德三段论进行形式化研究的必要性二、亚里士多德三段论的公理系统三、亚里士多德三段论的形式系统四、亚里士多德三段论形式系统的元造辑讨论五、亚里士多德三段论形式系统与卢卡西维茨三段论形式系统,的比较六、亚里士多德三段论形式化研究的意义 II

个系统中,卢卡西维茨形式地证明了三段论的所有24个正确的式并形式地排斥了其它232个不正确的式。此外,还讨论了系统的元逻辑问题和判定问题.卢卡西维茨的研究是开创性的。但卢卡西维茨的工作并非令人满意。主要之点是,卢卡西维茨所建立的形式系统并非原来意义上的亚氏三段论系统。让我们来看看作为这个系统形式推理前提的公理和断定命题。形式公理一共有4条:1。Aa(同一律)2。aIa(第二同一律)3.bAcaAb.aAc(Barbara) 4。bAc^bIa.aIc(Datisi) 断定命题则多达14个:I.p(q.p)(间化定律)Ⅱ.