搜索结果: 121-135 共查到“知识库 逻辑学”相关记录210条 . 查询时间(0.388 秒)
溯因法与语言认知:以语言理论的建构为例
溯因法 语言认知 理论构建
<
2012/5/4
溯因推理是一种“由果溯因”的逆向性逻辑推理方式,是人们在语言认知过程中所采用的基本方法。人们对语言的理解和解释就是在观察的基础上通过假设来回溯原因的推理过程。本文以当代语言学的一些理论和学说为案例,从认知角度考察其建构,发现现代语言学的研究取向和方法基本上为溯因法。研究者从观察到的语言现象出发,回溯其发生的原因并提出假设解释该现象,最后作出新阐释,形成新的理论和观点。
言语使用形成人的独特的生存方式。在基本言语层面,言语建构人的主体性,为人类表征世界提供资源。在功能言语层面,功能性言语标记又使主体间性成为可能。本文在语言哲学的视域中考察主体性和主体间性的建构过程,指出,人的主体性在语言作用下走向主体间性是一种哲学必然。
本文的目的主要是把文恩图解的新理论介绍给国内的读者，希望促动大家开展这方面的研究；当然也希望纠正一些关于图解方法的偏见，明白我们对图解方法研究得不够是造成图的表达能力不足和使用中容易致误的根本原因。
新版《哲学逻辑手册》的内容结构
哲学逻辑手册 内容结构
<
2009/1/15
《哲学逻辑手册》第二版介绍了目前国际逻辑学研究的主要内容和理论框架，其作者都是目前正活跃在逻辑学界的各个分支的前沿专家。手册各章独立成篇，为世界各国的逻辑研究者们进一步研究提供了一个新的起点。1983-1989年四卷本的第一版《哲学逻辑手册》出版之时，逻辑已经在计算机科学和人工智能领域获得了基础性的地位。15年以来，哲学逻辑领域发生了极大的变化。计算机、人工智能和计算语言学等对哲学逻辑的需要促进了...
如果符号逻辑是通过一种为某种目的而设计的或是由其它用途延伸过来的、特殊的符号系统来处理的逻辑（目前仅指演绎逻辑），那么把代数的和某些图形的符号都包括进来将有其便利之处。
模态逻辑是关于必然性和可能性的逻辑，或者说，是关于“一定是”和“可能是”的逻辑。当然，必然性和可能性有不同的解释。真势模态逻辑把必然解释为必然真；道义逻辑（见第8章）则把必然解释为道义必然性或规范必然性。必然也可以指知道或相信为真，这是认知逻辑（见第9章）的解释；如果指总是为真或从此总是为真，则是时态逻辑（见第10章）的解释。另外也可以把“必然p”解释为“p是可证的”。本章以真势模态逻辑为重点概述...
存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统，是皮尔士用来证明其形而上学的工具，它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分，然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位，最后考察存在图对于皮尔士形而上学的意义。
摹略万物之然，论求群言之比——模态逻辑新观念述评
模态逻辑 新观念
<
2009/1/15
模态逻辑是一个多方面的学科，它起初在哲学中得名，在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是，把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结构的一种简单但富于表达力的语言”、“模态语言为关系结构提供一种内部的、局部的视角”、“模态语言不是孤立的形式系统”，这就是关于模态逻辑的新观点（这种观点有时称为“阿姆斯特丹观点”）。新观点不再把...
“可能世界”是模态逻辑语义学的核心概念，一般也可以称为“世界”、“点”、“状态”、“时间”以及“情境”等。模态语言本质上是研究通常一阶模型论意义上的关系结构的简单、且具有丰富表达力的形式语言，但是，传统的模态语言没有一种机制来指称关系结构中的个体并对其进行推理。以传统模态逻辑为基础，在句法中引入“可能世界的名字”作为第二类原子命题、引入相应的算子和约束词而得到的语言称为混合语言，这一语言既发扬了模...
This paper presents a Hilbert-style system for Alpha graphs,
the first part of Existential Graphs. A set of generalized Sheffer-strokes are
the only connectives in the “symbol-based” formal system ...
经典一阶逻辑的希尔伯特型系统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 ...