亚里斯多德模态逻辑的形式系统及其模态悖论

亚里士多德的模态逻辑尽管十分复杂、充满争议,但尽可能运用现代逻辑的工具来构建亚氏模态逻辑的体系,不仅可能重现亚氏逻辑的辉煌,也可能甄别出其中的某些错讹.从联合演算出发构建的亚氏模态逻辑系统在很大程度上反映了亚氏模态逻辑的严谨性,但也暴露出它的局部的模态悖论.我们可以剔除造成悖论的内容,使亚氏模态体系更加严密;也可以考虑探索亚氏模态逻辑的本真思想,发展一种不完全等同于现代逻辑的内涵式的新的逻辑类型.     

偶然命题的逻辑分析

偶然命题是含有模态词“偶然”的命题。早在两千多年前，亚里士多德就将偶然模态与必然模态、可能模态及不可能模态并列，对偶然命题作过比较深人的研究。但在亚里士多德死后，他的弟子德奥弗拉斯特为了简化亚里士多德的模态三段论，首先在自己的模态推理系统中用可能模态替代偶然模态，省略了偶然命题。此后，逻辑学尽管对偶然模态和偶然命题时有提及，但基本上沿袭着德奥弗拉斯特或亚里士多德的观点。本世纪兴起的现代模态逻辑致力于构造关于必然和可能的模态系统，未能展开对偶然命题的逻辑研究，对偶然模态的可能世界语义学阐释，也无实…     

试析亚里士多德三段论的应用

亚里士多德三段论包括实然三段论、纯必然三段论、混合三段论。证明、辩证与修辞三段论既遵从亚氏三段论普遍有效的格式,又有其特定的题材内容及论证方式。因此,探讨亚里士多德三段论的应用,对"实用逻辑"的研究具有一定的启示与借鉴作用。     

论司法三段论中的逻辑与价值判断

司法三段论将作为大前提的法律规则和作为小前提的案件事实舍乎逻辑地推导出判决结论是实现司法裁判正当性的一种基本模式，同时由于司法裁判在法律解释和案件事实问题上必须进行价值判断，因此，逻辑与价值判断构成了司法三段论的两个基本内容。     

"爱好数学的骑车人悖论"探析——模态逻辑中的一个本质主义个案研究

"爱好数学的骑车人悖论"是蒯因反对模态逻辑研究、拒斥本质主义学说的一个重要论证。严密的逻辑分析表明,该悖论的前提是有歧义的,当对前提做正确的本质主义理解时,不会产生悖论;另外,蒯因提出该悖论的深层原因在于他用de dicto模态去理解de re模态。最后,从语义上消除蒯因式悖论的方案乃是真正的单称词项或严格指示词理论。     

论蒯因对模态谓词逻辑的批评

现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题。对模态谓词逻辑的反思不仅是一个逻辑问题,更是一个哲学问题,它对当下模态高阶逻辑的进一步发展和语言哲学的深入发展,都具有重要的启迪意义和参考价值。     

简论亚里士多德逻辑的思维实践前提

亚里士多德是逻辑科学的开山人,这位被马克思称为“特殊的探宝者”,之所以能创建出为人们认识世界、表达思想提供有效思维工具的逻辑科学体系,离不开他对前人思想成果的继承和发展,更离不开他对人类思维实践的系统概括和总结.思维理论产生于思维实践,亚里士多德逻辑理论的诞生,主要有三大思维实践前提.一、证明的思维实践亚里士多德的逻辑学说,始终贯串着证明的思想,在他首创的三段论中,更是着重强调了证明的三段论,他在《前分析篇》中曾说:“我们必须首先说明我们所探讨的主题以及它所属的学科.它的主题是证明,对它进行研究的是证明的学科.”①亚里士多德逻辑理论的     

复合式三段论形式及其应用探微

目前对复合式三段论的理论和实践研究仍欠深入,逻辑教材也很少涉及。即使涉及,也仅仅限于第一格AAA式的讨论。因此,从应用视角研究复合式三段论,归纳总结出复合式三段论的基本形式,进而发掘复合式三段论的各种交叉形式广阔的应用前景就显得很有必要。     

哲学逻辑的指称与量化探析

在哲学逻辑之模态逻辑里,“指称”这一涉及语义关系的问题,曾引起人们的广泛关注。并由此产生了本质主义与反本质主义的两大阵营。本文在阐述模态、指称、模态语境等诸多方面的基础上,探析了模态语境条件下的指称与量化问题。     

模态逻辑基本范畴的哲学意蕴

对模态逻辑的哲学思考,首先是对基本模态范畴的思考.有两种关于必然的理解:形而上学的必然和逻辑必然,这两种必然之间是否有蕴涵关系是不确定的.在逻辑必然中,我们又有实在世界的逻辑必然和普遍的逻辑必然,普遍的逻辑必然蕴涵形而上学必然.而蕴涵、可能世界和关系是模态的另一类范畴,就其形而上学的意义而言,模态逻辑是在不变的蕴涵范畴基础上形成的逻辑理论.     

司法三段论的迷局破解

三段论的大前提具有普遍必然性,司法三段论的大前提具有或然性。三段论的大前提对小前提的涵摄关系是就外延宽窄而言,司法三段论的大前提对小前提的涵摄关系是就构成要件而言。三段论的大、小前提只具有“真值”一个维度,司法三段论的大、小前提则具有“真值”和“价值”两个维度。因此,司法三段论不可能像三段论那样机械地操作,司法三段论的适用对法官的司法能力提出很高的要求。     

公理学——亚里士多德逻辑学说的精华

长期以来,人们在评介亚里士多德的逻辑学说时,十分注重他的三段论,把三段论说成是亚氏逻辑学说的精华。这种看法是值得商榷的,因为它没有从本质上看问题。从现代逻辑学的观点看,三段论只不过是一种演绎推理,而演绎理论发展的高峰是公理学,公理学与三段论相比不能不是更高层次的逻辑理论。细读亚氏的逻辑著作,我们发现:亚氏已有丰富的公理学思想,三段论理论只不过是其公理学思想的具体体现。这使我们不得不把传统的看法倣些修改:三段论虽是亚氏逻辑学说的重要组成部分,但不是亚氏逻辑学说的精华,亚氏逻辑学说的精华应是公理学。弄清这个问题是有意义的。其一,还历史本来面目;其二,使人们看清现代逻辑与古代逻辑的联系,从而冲破传统逻辑体系的束缚,实现逻辑教学与科研现代化。     

论扩充三段论理论之对象域的不可行性——[日]末木刚博等著《逻辑学—知识的基础》一书中存在的有关问题浅析

本文针对古希腊哲学家、逻辑学家亚里士多德关于三段论的作用范围和[日]末木刚博等在《逻辑学—知识的基础》一书中所涉及的相关问题,论述了三段论理论的对象域和扩充三段论理论之对象域的不可行性,并且证明了如果抛开三段论概念的内涵,按照《逻辑学—知识的基础》一书中的观点,把假言推理、选言推理和二难推理等视为三段论(及至定义为三段论),将导致逻辑矛盾。     

依法裁判与法官解释——由继子女继承权纠纷案件引发的法律思考

依法裁判是法治理念对法官的要求。司法三段论是依法裁判的逻辑表述。然而,由于制定法和司法三段论的局限性,依法裁判命题在法官审判活动中常遇窘境。通过法官解释构建个案的裁判规范,是救济制定法和司法三段论之不足、证立依法裁判之命题、维护法治之理念的法律方法。     

道义逻辑的新发展

道义逻辑研究的是关于"应当"、"允许"等规范模态的逻辑,属于广义模态逻辑。道义逻辑在发展过程中借鉴动态逻辑、认知逻辑、类型模态等领域的研究成果及方法,呈现出动态化的发展趋势。     

现代归纳逻辑探讨

在逻辑史上,亚里士多德创立了演绎逻辑,虽然亚里士多德在《分析前篇》中研究了归纳法(主要是完全归纳法)。在他看来,归纳法只是三段论的一种,他是从三段论的角度研究归纳法的,没有归纳就不能获得一般,就不能为演绎提供前提。因此,亚里士多德是以演绎为核心来研究归纳问题的。 直到16—17世纪,英国唯物主义哲学家费兰西斯·培根,在批判经院哲学的同时,批评了亚里士多德的演绎逻辑。培根重视观察和实验,始终坚持唯物主义道路,创立了寻求事物原因的三表法,即:本质与具有表、差异表和强度表,建立了归纳逻辑体系,成为归纳逻辑的奠基人。从此,亚里士多德建立的演绎逻辑和培根开创的归纳逻辑,就成为逻辑科学的两个不可缺少的部分,弥补了     

从可能到必然——贯穿普兰丁格本体论证明的逻辑之旅

普兰丁格使用模态逻辑S5及其可能世界语义学作为论证工具,并运用可能世界、世界索引性质、个体本质和示例等基本哲学概念之间的内在逻辑联系,在辩明极大伟大性、极大美德性及全能、全知和道德完美三者之间关系的基础之上,证明上帝的存在。这一本体论证明的最大贡献在于摆脱了康德式存在不是谓词的责难。它不但在形式上是有效的,而且更为形象直观,极大扩展了本质主义学说的内涵。但其主要前提的可靠性并未得到有力证成,至大可能性的模态直觉辩护需要更详尽的澄清,至大的可能性属于相对模态,绝非形而上学模态,二者不可等同视之;它使用的论证工具模态逻辑S5是否正确的形而上学模态逻辑也存在着广泛争议。     

埃尔斯特模态合成谬误思想解析

乔恩·埃尔斯特是分析的马克思主义的重要代表人物,他在1978年出版的《逻辑与社会》一书,是标志分析的马克思主义产生的奠基性经典著作之一。在这部著作中,为了说明社会矛盾,埃尔斯特运用模态逻辑对合成谬误进行了重新解释。在系统评述埃尔斯特模态合成谬误思想的基础上,可对其重要意义进行阐释。     

西方中世纪的推演理论

亚里士多德的省略三段论理论是中世纪推演理论的逻辑起点。中世纪逻辑学家一般认为，推演即是假言命题，可定义为“不可能前件真而后件假”。根据“不可能”的不同含义，推演可分为形式推演、绝对实质推演和当下实质推演。和现代逻辑的蕴涵相比，形式推演相当于形式蕴涵，绝对实质推演、当下实质推演分别相当于严格蕴涵和实质蕴涵。对推演理论的探究，无论对现代蕴涵理论还是整个现代逻辑的深刻理解，都具有重要意义。     

定罪过程的深化:从“三段论”到“循环论”

形式理性哲学现下的定罪三段论,并不符合实际的定罪思雏过程,即先前理解引导下的在刑法规范与犯罪事实之间循环,这就是诠释学所主张的循环论.形式理性三段论只是诠释学循环论的必然结果,故循环论扬弃和深化了三段论.三段论运用的是演绎推理,而循环论中的类推综合了设证、归纳和演绎逻辑,可见在方法论上,循环论同样深化和拓展了三段论.