Results 1-12 of 12
 | 
[ABSTRACT] 表征内容理论(theory of content)是西方当代分析哲学中心灵哲学的一个重要研究领域。最近二十年以来,出Dretske、 Fodor、Millikan、Papineau、Prinz等人提出的几种主要的、有影响的理论,以及围绕这些理论的一些争议,是这一研究领域的热点。本文将讨论这些理...
[KEYWORDS] 表征内容; 意向性; 心灵现象; 非对称; 外部事物; 错误表示; 因果关系; 心灵哲学; 莎丽; 可能世界
会议论文
Fulltext
孙卫民
1994
[ABSTRACT] 本文为同名硕士论文的摘要。因篇幅所限,不能交待所需预备知识,但也只需读者对模态逻辑有最基本的了解。如知晓Hughs和Cresswell[1968]第一部分或类似读物。文中所用符号、术语均为标准用法且多附以括号内解释。
[KEYWORDS] 模态逻辑; 代数语义学; 硕士论文; 实质蕴涵; 完全性; 可能世界; 命题变元; 关系语义; 有穷; 文中
会议论文
Fulltext
周北海
1994
[ABSTRACT] 嫁接框架是由模态框架和相干框架组合而成的一种新型框架。本文首先设计了这一框架,然后用其证明了S1的完全性,最后根据这些结果对S1的性质等有关问题作了一些直观的分析与说明。
[KEYWORDS] S1; 完全性; 模态逻辑; 相干逻辑; 元逻辑; 命题变元; 模型类; 可通达关系; 极大一致集; 可能世界
会议论文
Fulltext
周北海
1996
[ABSTRACT] 研究推理,找出推理的规律是逻辑学的主要任务之一,但我们今天仍然缺乏对于推理的足够认识。现在发展起来的逻辑语义学只是一种真值语义。从真值语义来看,各种逻辑在推理方面的意义并不明显。本文根据推理的基本要素提出了推理的规则集、前提集和结论集等概念,并以此构造了推理模型,提出了与真值
[KEYWORDS] 推理模型; 相干逻辑; 规则集; 推理方面; 可能世界; 逻辑规律; 实质蕴涵; 推理形式; 公式集; 逻辑学研究
[ABSTRACT] 本文的标题将空概念、零公式与实质蕴涵并提,并不是要说三者之间有什么内在联系,而是因为冯棉先生在《逻辑研究中有待澄清的若干问题》(以下简称《问题》,载《传统逻辑与现代逻辑》,上海市逻辑学会编,开明出版社,1994)一文中同时对上述三个方面作了“澄清”,而笔者却不赞同《问题》所做的澄清,
[KEYWORDS] 实质蕴涵; 逻辑研究; 现代逻辑; 逻辑学家; 可能世界; 下反对关系; 相干逻辑; 合取范式; 命题变元; 不完全性定理
会议论文
Fulltext
刘壮虎
1995
[ABSTRACT] 作者根据Montague、Scott等人的想法。在Segerberg、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学。本文讨论在这种语义学中相干逻辑的刻画框架和完全性。一、相干逻辑的邻域语义学相干逻辑的形式语包括命题变项p1,…,pn,…和命题联结词:...
[KEYWORDS] 邻域语义学; 相干逻辑; 命题变项; 语义学研究; 模态逻辑; 命题联结词; 命题逻辑; 可能世界; 相干蕴涵; 封闭集
会议论文
Fulltext
刘壮虎
1996
[ABSTRACT] 蕴涵是逻辑的最基本的概念之一,它不同于推出关系又和推出关系密切相关。不同的逻辑最主要的区别就在于它们使用不同的蕴涵。为比较不同的蕴涵,本文使用一种统一的语义学——邻域语义学。本文通过对蕴涵的最重要的性质——保真性的分析,
[KEYWORDS] 邻域语义学; 逻辑系统; 可能世界; 实质蕴涵; 保真性; 模态命题; 命题逻辑; 命题变项; 复合命题; 重言式
会议论文
Fulltext
熊明
1998
[ABSTRACT] 本文给出了哥德尔-根岑翻译(以下记为GT)的语义解释。首先对GT稍作变换,即把它看作是直觉主义逻辑内的一个映射而非古典逻辑到直觉主义逻辑的映射。
[KEYWORDS] 哥德尔; 直觉主义逻辑; 根岑; 本体论基础; 可能世界; 邻域语义学; 语义解释; 命题联结词; 原子公式; 本体映射
会议论文
Fulltext
周北海; 毛翊
2003
[ABSTRACT] 一、常识推理的志例与分析直观上常识推理就是用到常识的推理。考虑到技术处理的方便,可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。 (1)如果下雨则地湿,下雨,所以,地湿。 (2)鸟会飞,特威蒂是鸟,所以,特威蒂会飞。
[KEYWORDS] 常识推理; 可能世界; 命题逻辑; 逻辑地; 实质蕴涵; 形式化方法; 选择函数; 推不出; 推理形式; 谓词逻辑
会议论文
Fulltext
刘壮虎
2000
[ABSTRACT] 有两类不同的谓词:性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词, 构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。
[KEYWORDS] 谓词逻辑; 逻辑系统; 自由变元; 一阶逻辑; 原子公式; 公理系统; 可能世界; 当且仅当; 等值公理; 结构定义
[ABSTRACT] 在本文中,我仔细地、批判性地考察了克里普克所提出的关于严格指示词的直观检验方法,以及他所构造的三个著名论证:认知论证、语义论证和模态论证,这些论证旨在反驳关于名称的描述论,并确证名称是严格指示词,大多数摹状词是非严格指示词。我也批判性地考察了索姆斯为了维护模态论证、反驳对该论证的挑战所构造的那...
[KEYWORDS] 克里普克; 描述论; 严格指示词; 索姆; 摹状词; 语义论; 检验方法; 可能世界; 形而上学论; 认知论
会议论文
Fulltext
叶峰
2007
[ABSTRACT] 克里普克的形而上学模态性概念,是目前分析哲学中最重要的概念之一,是许多形而上学思辨的基础。这些思辨往往承诺一些超出物质世界之外的形而上学实体,如抽象实体或独立于物质的精神实体或属性,显得与自然主义相冲突。本文提出一个对克里普克形而上学模态性概念的自然主义解释,作为自然主义者对这些形而上学思辨的...
[KEYWORDS] 克里普克; 必然命题; 指称理论; 可能世界; 弗雷格; 语义理论; 精神实体; 逻辑真理; 卡尔纳普; 状词
Results 1-12 of 12
  • <<
  • 1
  • >>