西部地方本科院校逻辑学教学改革与创新探索——以毕节学院为例

西部地方本科院校由于建设时间短、学科不完善、师资力量不足等原因,极大地制约了逻辑学教学的发展。为了解决这个困境,以毕节学院为例进行深入分析,探索逻辑学教学改革的新思路,打造逻辑学创新模式,并加以推广,使西部地方高校逻辑学教学水平有较大的提高。

描述逻辑系统FLEN中概念的最小公共包含算法研究

描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念的最小公共包含,它同时含有数量限制和存在限制,是对前人工作的推广.首先定义了FLEN中概念的描述树及描述树之间的同态关系,给出了概念之间包含关系的推理算法,然后通过两棵概念描述树的笛卡儿积给出了两个概念的最小公共包含推理算法并指出了概念A,B的最小公共包含概念LCS(A,B)的大小size(LCS(A,B))是随着size(A),size(B)呈指数增长的.

关于我国逻辑教学与研究中若干问题的思考

1978年以来,经过20多年的奋斗,我国逻辑教学与研究取得了不斐的成绩,并已初步实现现代化,但仍存在着不当的逻辑观、普通逻辑和现代逻辑的地位、逻辑学学科归属等问题。树立正确的逻辑观,坚定不移地走现代逻辑教学与研究的道路、大力普及和推广现代逻辑知识、根据培养目标的不同,分别开设现代逻辑课程和批判性思维课程。

再论比较逻辑学的基本理论——基于一门独立学科的研究视角

比较逻辑学是在逻辑哲学的指导下,建基于各种逻辑科学之上的一门独立的逻辑学综合性理论学科,主要具有“比较的理论”与“具体的比较”等不同的研究层面。它以三大逻辑体系之间的平等对话与贯通融合为主要研究诉求,突出比较意识、比较思维与比较方法的自觉运用,并从人类历史背景与文化传统的角度进行解释,以促进不同文化、不同思维方式之间的对话与沟通,促进全人类和谐共处。

法律逻辑的研究对象新探

正确认识法律逻辑的研究对象,是该学科理论的重要内容。目前对法律逻辑研究对象的认识见仁见智,远未形成共识,不利于法律逻辑的发展。因而,正确认识法律逻辑的研究对象有着特别重要的意义。法律逻辑的研究对象可定义为:法律职业者在法律适用过程中特有的法律思维形式及法律思维方法,其核心是法律推理和法律论证。

试论比较逻辑成为独立学科的合理性

比较逻辑的研究不仅包括不同时代逻辑间的比对、内在汇通,而且包括世界三大逻辑传统的透视性比较。比较逻辑学应当是建基于各种逻辑之上的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有其特有的学科特性与学科视域、学科范畴。比较逻辑不在于“比较”,而在于“汇通”,它有其特殊的“比较视域”。所以,它可以成为一门独立学科。

比较逻辑学理论初构——从逻辑与文化关系维度看

比较逻辑学是基于各类逻辑学的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有自己特有的学科特性与学科视域、学科范畴。比较逻辑不在于“比较”,而在于“汇通”,“比较逻辑”不是或不仅仅是“逻辑比较”,比较逻辑有其特殊的“比较视域”,“比较逻辑学”理应成为一门独立学科。比较逻辑学可分为叙述的比较逻辑学、评价的比较逻辑学与汇通的比较逻辑学三个层次。

逻辑学与批判性思维的案例教学法探析

对案例、案例教学、案例教学法进行了阐释和说明;将传统逻辑关于概念、命题、演绎推理、归纳推理、类比推理、逻辑的基本规律以及现代逻辑关于命题逻辑等知识作为研究批判性思维教学的工具和方法;探讨逻辑学和批判性思维教学中的各种案例和作用,以期提高学生的理性思维和创新能力,并为逻辑学的教学改革进行有益的尝试。

逻辑矛盾、辩证矛盾还是拟似矛盾——摘揭“逻辑皇冠”的明珠

根据逻辑派:"谎者"、"理发师"和"(韩非)矛陷盾"论题,同犯隐蔽的矛盾谬误;当被揭发后,"千古之谜"简明消解了(三者均可简化为明显的矛盾"P而非P",四者均可称为"自我否定指涉")。当我们更进一步揭发"谎者"随后又犯"复合命题"谬误,指出"谎者"只是"拟似真矛盾",更能超越逻辑派而直面辩证派的"辩证矛盾(真矛盾)",更彻底地消解了它!注意:辩证派的"亦此亦彼"论题否证逻辑派的"不矛盾"律。

循环ALCN-Tbox具有模型的条件

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

刑事侦查中的回溯推理探微——兼与倪荫林先生商榷

回溯推理是一种在侦查实践中被广泛运用的或然性推理。它有自己特定的内涵,应予正确界定。为使之能在侦查实践中被正确运用,应为其建立正确的逻辑模式,并按强度进行区分。

试论法律论证的充分性

法律论证的充分性问题时下已引起学术界和实务界的关注,人们对法律论证是否存在充分性,以及如何判断一个法律论证是充分的还存在较大争议。研究表明,法律论证的充分性是存在的,并且是可判定的。

略评《合一、真和谎者悖论》最新文集——重述我们的悖论观

无论是"自涉"还是"非自涉",只有它们产生假(或矛盾)句时才应被禁止;一个论题是否称为"悖论",要看它的"严肃性(牵动重大、举足轻重)"或"论争性(扑朔迷离、悬疑难决)"而定。这个广义"悖论"属下可有多个狭义。这样,我们首先抛开"自涉"、"悖论"而把"谎者"论题极度简化为"矛盾"论题并消解,最终表明了西方解悖雄师"尽墨"!

亚里士多德修辞术与法律论证

公平和正义是法治的生命。在现代法治国家中,为了确保公平和正义的实现,人们要求法官对其判决必须给予充分的论证。因此,起源于亚里士多德修辞术的修辞论证直到今天的法律论证也由此越来越被人们所重视。如今,法律论证已在法庭审判中承担着重要的角色。作为法律论证始祖的亚里士多德,在二千多年前就为我们今天研究法律论证提供了许多重要启示。

回溯推理探赜——兼复倪荫林教授

回溯推理是一种在实践中被广泛运用的或然性推理,其有特定内涵,应予正确界定。为使之在实践中能被正确运用,应为其建立合理的逻辑模式,并按强度进行区分。

指示词理论述评

索尔.克里普克是美国著名的逻辑学家和哲学家。他的指示词理论为解决指称问题提供了一种重要的理论和方法,在逻辑哲学、语言哲学、分析哲学等领域影响深远。

具有可定义主同余性质的代数类

给出了三种代数类具有可定义主同余性质的证明。

R_0-代数的对偶核的性质

根据R_0-代数中对偶核定义,可讨论它的相关性质,此对偶核是同态原象的一个滤子。

试析混合条件假言联锁推理的推理形式

当前,有许多传统形式逻辑教科书对混合条件假言联锁推理的推理形式很少提及,或者提及也未将其推理形式全部挖掘出来,而且说法上也不一致。这既不利于学生学习、掌握,也不利于混合条件假言联锁推理的运用。通过对混合条件假言联锁推理的推理形式的考察,发现混合条件假言联锁推理存在八种正确有效的推理形式。

对当关系直接推理外延的再扩展

目前,人们对对当关系直接推理的研究,主要是同素材的性质命题、模态命题、规范命题以及复合命题间的对当关系直接推理,而相同素材的性质命题与其负命题间尚未涉及。事实上,根据相同素材的性质命题与其负命题间对当关系也能进行有效的直接推理。