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

【一个与卢卡西维茨不同的亚里士多德三段念经形式系统】蔡曙山.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)(间化定律)Ⅱ.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。