搜索结果: 136-150 共查到“知识库 逻辑学”相关记录215条 . 查询时间(2.553 秒)
经典一阶逻辑的希尔伯特型系统Z
经典一阶逻辑 希尔伯特型系统Z
2009/1/15
在广义谢夫竖函数和存在量词基础上构造的、采用括号记法的希尔伯特型系统Z至少具有两个方面的意义:从证明论上来讲,系统中每一个可推演的公式都具有一个能行的证明过程,这一点是其他一般希尔伯特型系统所没有的;可以运用反模型方法证明系统的完全性。
周礼全自然语言逻辑思想综述
周礼全 自然语言逻辑思想
2009/1/15
周礼全先生是我国传播现代逻辑的主要逻辑学家之一, 他不仅从事现代逻辑的基础理论
研究, 而且一直关注和思考现代逻辑的应用问题, 提出形式逻辑要结合自然语言, 是我国自
然语言逻辑研究的开创者。
Dynamic Variations: Update and Revision for Diverse Agents
Dynamic Variations Diverse Agents
2009/1/15
I would like to thank my supervisor, Prof. Johan van Benthem, for his
consistent support and assistance. He is the best supervisor and teacher
I could have wished for. Without his perceptiveness, I ...
Epistemic agents may have different powers of observation and
reasoning, and we show how this diversity fits into dynamic update logics.
从信息更新到博弈逻辑——写在约翰·范·本特姆来访之后
信息更新 博弈逻辑 约翰·范·本特姆
2009/1/15
应北京大学哲学系和中山大学逻辑与认知研究所的邀请,著名荷兰逻辑学家约翰·范·本特姆(Johan van Benthem)于2004年9月底10月初访问了中国。范·本特姆是阿姆斯特丹大学的逻辑学教授、美国斯坦福大学人文科学的博撒(Bonsall)教授。来访期间,他分别在中国社会科学院哲学所作了题为“从认知逻辑到信息更新”、在北京大学作了题为“信念和期望修正的逻辑”、在中国人民大学作了题为“模拟互动—...
荷兰逻辑学之印象——逻辑硕士教育制度概览
荷兰逻辑学 逻辑硕士教育制度
2009/1/15
说到荷兰,一般人想到的可能是风车,奶酪,抑或是填海造田。而对于逻辑学者而言,我们脑海里浮现的是一些响当当的名字:布劳维尔(L. E. J. Brower,直觉主义的创始人),贝思(E.W. Beth),海廷(A. Heyting)。还有现在活跃在国际逻辑学界的著名逻辑学家范·本特姆(J. van Benthem) 德漾(D. de Jongh)、费尔曼(F. Veltman)等等。令我感到好奇的是...
《自然语言逻辑研究》
自然语言逻辑研究 邹崇理
2009/1/15
该专著分为三编七章,共375千字左右。第一编介绍自然语言逻辑的基础──形式语义学,分为四章:第一章论述形式语义学的现代逻辑方法特点;第二章介绍自然语言逻辑的开端──蒙太格语法;第三章评述话语表现理论;第四章说明类型-逻辑语法。第二编论述与自然语言逻辑有关的形式演绎系统,分为两章:第五章讲解蒙太格语法的内涵逻辑公理系统;第六章论述话语表现理论的自然演绎系统。第三编的第七章展开汉语时间系统的自...
一种飘浮的存在论:关系实在论的困境──评《从实体逻辑到场所逻辑和关系的逻辑》
实体逻辑 场所逻辑 关系逻辑
2009/1/13
这是一篇很纯粹的学术文章。它讨论的仍然是作者在《从物质实体到关系实在》一书中提出的关系实体论的基本观点,只不过这篇文章的侧重点是想通过对哲学史的解读来阐释这些基本观点。它是通过两方面的工作来完成这一任务:一方面是从“关系实在论”出发对亚里士多德的本体学说进行批评,另一方面是从“关系实在论”出发去重新理解哲学史上一些哲学学派的思想,特别是古希腊的智者学派与中国的老庄思想,并试图从他们那里寻求对“关系...
历史理性批判与语言的时间维度
语言 语言研究 历史理性批判 狄尔泰
2012/5/7
语言研究的学科众多,语言学和语言哲学在其中占据核心地位。无论是结构主义语言学、转换生成语法和功能语言学,还是分析哲学、日常语言哲学和语言本体论,对时间维度的关照,或者不够,或者忽略。文章通过梳理、反思德国哲学家狄尔泰的历史理性批判,得出结论:无论语言学还是语言哲学,都应该把语言置于人的生命发展过程和生活世界,实施历史考察;剥离时间和空间的语言研究无益于揭示语言的本质;语言是人的存在方式,语言的时间...
二难推理的大前提是两个假言判断构成的选言判断吗?
假言判断 二难推理
2008/12/12
二难推理在传统逻辑里亦称假言选言推理,它是由一个包含两个选言肢的选言判断和两个假言判断为前提而进行的推理。人们在习惯上把两个假言判断构成的那个前提叫做大前提,把包含两个选言肢的选言判断的那个前提叫小前提。人们对小前提是选言判断,似无分歧,但对由两个假言判断作为肢判断而构成的大前提,在
二难推理破斥式的二小前提是联言判断吗?——评一种二难推理破斥式的模式
二小前提 二难推理破斥式
2008/12/12
苏联И·R·楚巴欣和И·Н·布洛德斯基主编的《形式逻辑》一书的中译本第151页到152页上(上海人民出版社。1981年4月第1版。以下简称《楚本》)把二难推理,即在传统逻辑里亦称假言选言推理的破斥式的模式概括为:
关于黑格尔《小逻辑》一书的通信
小逻辑 黑格尔
2008/11/27
一元化世兄:《小逻辑》的第一篇是有论(有译为存在论者,是不确切的,因“存在”是第二篇本质论的一个较高的范畴,而“有”(原德文的 Sein 直译为“是”)是黑格尔逻辑学中最初而最没发展,因而以内容论是最贫乏的,故以贺译之“有”为正确。)所谓“有”者,有如点名时,唱名的对象,应声曰:“有”之有,即“在这里”的意思,不涉及此人的其他性质或情况。从“有”发展到“本质”,再从“本质”发展到“总念”的这个过程...