现代形式逻辑的新发展

一 自从弗雷格的《表意文字》1879年发表以来,现代形式逻辑有了巨大的发展。二值命题逻辑和谓词逻辑可以看做为“标准逻辑”。现代形式逻辑是“非标准逻辑”。一类非标准逻辑是标准逻辑的扩展,所以它也可以称做“扩展逻辑”。这里包括:模态逻辑、关联逻辑、义务逻辑、时态逻辑等等。标准逻辑的这一发展的特点,在于它的形式系统被运用于原来不适合作形式处理的非形式论证和推理。而所以说是扩展的,乃是因为这种非标准逻辑给标准逻辑的形式联系增添了新的逻辑语汇以及相应的新公理和新规则。例如,模态逻辑中的“必须”、“可能”以及模态算子(逻辑联结词);时态逻辑中的“过去”、“将来”以及时态算子。

应用逻辑——现代逻辑的新发展(续)

(五)命令逻辑命令逻辑亦称命令句逻辑,是以逻辑演算为工具研究命令句之间的逻辑关系的一种应用逻辑新分支。研究命令句之间的关系,我们可以从“合上书本!合上笔记本!”推出“合上书本或笔记本!”任何一个命令句,总是同一个由它变形而来的将来态的命题相关.例如,“合上书本!”

加强逻辑教学在干部教育中的地位和作用

今天,逻辑作为一门基础学科,随着它突飞猛进的发展和日益广泛的应用,正越来越受到人们的普遍重视。近年来,联合国教科文组织把逻辑列为基础学科的第二位,大英百科全书把逻辑列为基础学科的第一位,正是这一趋势的反映。在这一趋势下,如何提高对逻辑学的重要性的认识,把逻辑放到干部教育中应有的地位上去,力争在较短的时间内建立一个具有党校特点的科学的逻辑教学和科研体系,是我们党校教育系统所急需解决的一个课题。

一种基于SDL的角色系统描述框架

将SDL(standard deontic logic)引入到角色管理系统,提出一种基于SDL的角色系统描述框架SBDF(SDL-based role systemdescription frame).在该框架中,对系统中的角色进行分类.提供一系列的逻辑谓词,通过对各类角色的操作行为进行规范化描述,从而达到提供系统安全级别的目的.同时,为提高角色行为执行的效率,引入Agent技术,由Agent执行各角色的具体操作,通过对系统进行描述,方便对用户及角色的管理,提高了系统的安全级别.

教育中的价值冲突:实质、类型与解决

在一个多元价值并存的时代,价值冲突作为一种普遍的社会事实广泛地存在于社会生活诸领域,教育领域亦不例外。所谓价值冲突就是价值逻辑的冲突。价值逻辑的核心是作出特定价值判断的价值标识词。从价值的标识词出发,可以大致划分出两种不同的价值逻辑:评价逻辑和义务逻辑。有三种不同的价值冲突类型:评价逻辑之间的冲突;义务逻辑之间的冲突;评价逻辑与义务逻辑之间的冲突。在理论上,价值冲突要么以某一行为对某共同体会更好为依据来解决,要么通过强化某人的某种义务来解决。但在价值冲突的实际解决过程中,这种解决原则的运用有一个关键性的前提条件——行为者的"善良意志"和"责任感"。因此,对教育而言,培养和提升人的善良意志和责任感就成为应对和解决价值冲突的必由之路。

陈波谈道义逻辑的发展概况

4月20日,中国人民大学哲学系逻辑教研室副教授陈波在北京市逻辑学会作了“道义逻辑概观”的报告.陈波说,道义逻辑又叫义务逻辑、规范逻辑,它是研究含有规范表达式的语句的逻辑特性及其相互之间的推理关系的逻辑学科.这里所谓的规范表达式是指义务、禁止、允许、承诺这样一些概念.道义逻辑的发展,其历史可追溯到14世纪,当时已有逻辑学家认识到从“如果P则q”可推出“如果应该(或允许)p则应该(或允许)q”,近代的莱布尼兹和边沁就是道义逻辑发展不同方面的代表.莱氏发现必须、可能、不可能;义务、允许、禁止;所有、有些、没有三组概念有类似性;边沁讨论了命令逻辑,他把道义概念和意志连在一起。

谁能够接受道德难题?

在一个道德难题中,当事人无论怎么做都是错的。或者所有可供选择的行为都是被禁止的,或者两个或多个不能同时履行的行为在同一情境中被道德所要求,或者同一种行为既是被禁止的,又是绝对义务的。