搜索结果: 136-150 共查到“知识库 逻辑学”相关记录210条 . 查询时间(5.523 秒)
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 直译为“是”)是黑格尔逻辑学中最初而最没发展,因而以内容论是最贫乏的,故以贺译之“有”为正确。)所谓“有”者,有如点名时,唱名的对象,应声曰:“有”之有,即“在这里”的意思,不涉及此人的其他性质或情况。从“有”发展到“本质”,再从“本质”发展到“总念”的这个过程...
消费已成了现代社会的主要特征之一。本文着重分祈了以欲望为特征的消费社会逻辑。指出了传媒对人的欲望塑造和对需要的遮蔽，在此基础上考察了现代传媒所生成的传媒无意识，以及传媒无意识在影响人们的审美趣味时所起的作用。
早在两千多年前,古希腊学者费罗所发表的言论,已经是真值表方法的萌芽。他说:“一个例言命题是正确的,便不是一个真的起始,和一个假的结尾。”即只要不是“前件真,后件假”就是真的这实际上就是真值蕴涵,即实质蕴涵的早期的陈述。塔斯基曾作过评价说:“这是有趣的事情,关于蕴涵的讨论,在古代就已开始。希腊哲学家费罗在逻辑史上大概是第一个传播了实质涵的用法的人。”随着复合判断推理研究的进展,真值表方法已经成为判定...
关于周延问题,在我国逻辑学界至今还存在着分歧意见。本文提出如下管见,以求进一步探讨。一、是否存在所谓“定义形式的全称肯定判断”项的周延问题? 杜岫石同志在《形式逻辑教程》中说,存在一种“定义形式的全称肯定判断”。“这种判
通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统中公式概率真度的定义,研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0,1]中的稠密性,在此基础上给出了3种相似度,讨论了其性质及关系,并由此定义了3种伪距离,确定了三者之间的比例关系,为推理程度的数值化提供了依据.
从语言哲学维度看施莱尔马赫的语言解释学
语言哲学 施莱尔马赫 语言解释学
2012/5/8
学界已经达成共识,语言分析和解释是语言哲学必须进行的活动。然而,如何分析和解释语言呢? 历史语言学只考虑时间因素,结构主义只关注结构(空间) 。事实表明,两种流派都不能算成功。施莱尔马赫的语言解释学为我们提供了启迪: 从历史(时间)出发,考察语言的空间,在分析和解释过程中将两种维度结合起来。按照施莱尔马赫的理解,语言解释区分为语法解释和艺术性(技术)解释。从形式上看,两种解释各司其职,又各自分离。...