动态逻辑:关于程序的模态逻辑

来源 :哲学动态 | 被引量 : 0次 | 上传用户:bleachji
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“动态逻辑(dynamic logic,简称DL),又称关于程序的模态逻辑(modal logic of programs),是进行程序逻辑性质研究、程序正确性证明研究的有力的数学工具”。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想,为现代逻辑理论的发展提供了新的题材和思路。
其他文献
萧蔻父(1924-2008)先生一生从事中国哲学史的研究,但他做的是有思想的学术。他致力于发现与发掘中国文化思想内部的现代性的根芽,因而与持西方中心主义的启蒙论者、食洋不化者划清了界限;他发潜德之幽光,重在表彰那些不被历代官方或所谓正统文化重视的哲学家、思想家,
在当代政治哲学的对话中,罗尔斯是一个无法回避的人物,其在1971年出版的《正义论》被誉为当代伦理学、政治哲学发展史上最伟大的著作之一。《正义论》的一个突出特征就是将契约论作为其政治原则尤其是正义原则的哲学方法论基础,正因为如此,罗尔斯被视为古典契约论的当代复兴者;也正是这一点,
马基雅维里(Niccolò Machiavelli,1469-1527)是意大利文艺复兴时期最重要、且对近现代政治哲学影响最大的思想家之一。1925年,我国学界就已翻译了《霸术》(现译为《君主论》)等著作,但对其思想的系统研究则始于20世纪70年代末。随着大量西方论著的引入与译著的出版^[1],国内学者开始关注马基雅维里的政治思想^[2],
国外马克思主义有活力的研究领域之一是对辩证法的研究。前苏联解体后,对马克思主义历史命运的反思,引起了对辩证法的再认识。美国的马克思主义学者H·舍曼(Howard Sherman)是新批判马克思主义的代表。在《重建马克思主义》一书中,他对辩证法理论提出了一种新的解释,引起了国外学术界的重视。
鉴传今的专著《可说的与不可说的:前维特根斯坦的形而上学》,由安徽人民出版社于2008年8月出版。全书139千字,对维特根斯坦前期思想的特点、语言及其与世界的关系进行了细致讨论,并在此基础上对维特根斯坦所谓“神秘的东西”进行了深入研究。维特根斯坦既是一位深刻的思想家,同时也是现代哲学史上最富传奇色彩的人物,
我们从两方面介绍集合论的反基础公理(AFA)以及非良基集合的广泛应用。一方面,根据阿克采尔(P.Aczel)的思想,集合可以看做是可达点图,在这个意义上,AFA是说每个图都有唯一的装饰;由此,每个集合都有一个典范图。另一方面,根据巴威斯(J.Barwise)等人的思想,集合可以看做是方程组的解,在这个意义上,
乌托邦是我们非常熟悉的一个概念,它既预示着一种空洞的想象和不可能实现的某种期望,也预示着事物的未发现状态和对未来的远见。这一重要的范畴显然包含着双重的含义:一是在褒扬的意义上使用,把乌托邦作为照亮人类未来的希望之光,作为历史进步的内在精神动力;二是在批评的意义上使用,把乌托邦看做一种空洞的废话、不安的想象或盲目的狂热。
按照逻辑学家布尔(R.Bull)与西格伯格(K.Segerberg)的说法,类比于人类学,在20世纪初,刘易斯(C.Lewis)等人的工作相当于在模态逻辑学中引发了一场“农业革命”。这是现代模态逻辑学的肇始,许多工作仍然是相当初步的。模态逻辑的“手工业”时期在持续了将近六十年之后迎来了它的“工业革命”:在1960年左右,克里普克(S.Kripke)等人引入了关系语义理论,
2008年9月25—28日,由法兰克福大学东亚跨学科研究中心、法兰克福社会研究所和中山大学共同主办的以“批判-理论-批判理论:法兰克福学派在中国的影响”为主题的跨学科的国际学术讨论会在法兰克福大学召开。本次会议的目的旨在批判理论研究领域,除了听到欧美学者的声音之外,也要听到来自哲学、社会学、政治学、文学、文化学等领域的众多亚洲学者的声音。
自2006年底以来,笔者作为首席专家率领重大课题组,就当前我国社会思想、道德、文化多元、多样、多变的特点和规律问题,进行大规模调查。课题组以问卷调查、座谈为主,辅之以个别访谈。总课题组在江苏、广西、新疆投放1200份问卷进行综合调查,收回1166份。社会思想研究子课题组在江苏对各类不同群体进行分别调查,收回问卷:公务员群体206份,新兴群体250份,