Results 1-20 of 23
 | 
期刊文章
刘壮虎
逻辑学研究
2017
[ABSTRACT] 本文不从概念的外延和内涵出发,而是将概念作为初始出发点,按照概念结构整体论的观点,在思想–概念–语言三者统一的基础上,建立概念结构的形式理论,讨论其基本性质及其意义,并在此基础上研究若干相关的问题.实际中使用的推理,比我们通常说的逻辑推理要更广泛,本文建立依赖于语言的相对于主体的推理,并根据这...
[KEYWORDS] 概念; 模型; 推理; 不一致; 不可分辨性; 翻译
期刊文章
Fulltext
李楷; 王彦晶
逻辑学研究
2015
[ABSTRACT] 在博弈论中,人们对扩展式博弈的信息集有着不同的解释,而对不同解释的混用可能会引起矛盾。我们认为这一问题源于对扩展式博弈的两种解释——博弈规则和博弈过程——的混淆。本文通过给出一种动态认知的逻辑框架来试图区分和联系博弈规则和博弈过程。我们运用这种理论框架从博弈规则和对参与者的假定一步一步地生成博...
[KEYWORDS] 博弈规则; 完美信息博弈; 逻辑框架; 博弈论; 模态逻辑; 结构相似性; 认知视角; player; perfect; implies
期刊文章
Fulltext
高坤
逻辑学研究
2016
[ABSTRACT] 哥德尔对连续统问题的独立性的柏拉图主义回应作为一种“厚实在论”招致麦蒂(Penelope Maddy)的一个批评.作为一种可能的替代,麦蒂提出了所谓的“薄实在论”.本文试图论证麦蒂对厚实在论的批评并不像表面上看来那么有力,而薄实在论作为一种本体论立场涉嫌一种自相矛盾,并且后者也不能像厚实在论那...
[KEYWORDS] 连续统问题; 哥德尔; 麦蒂; 柏拉图主义; 薄实在论
期刊文章
Fulltext
许春梅
逻辑学研究
2016
[ABSTRACT] 本文试图从逻辑的角度来探讨语境依赖现象,一类特殊的语言语境依赖现象,即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D. M. Gabbay关于超模态逻辑理论进行扩充。首先,通过泛关系语义学和D. M. Gabbay的“模转换”概念建立起了与Gabba...
[KEYWORDS] 超模态算子; 模转换范式; 语义学; 翻译定理; K˙Tm,˙Kn
期刊文章
Fulltext
李熙
逻辑学研究
2014
[ABSTRACT] 二十世纪五十年代,卡尔纳普发展了归纳逻辑,他把概率看作一种证据对假设对“确证度”;二十世纪六十年代,所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及扩展所罗门诺夫通用归纳方法的表达力,本文整合二者。本文首先将所罗门诺夫先验概率的思想引入归纳逻辑中,在这个框架下,证明一阶逻辑...
[KEYWORDS] 
期刊文章
Fulltext
刘靖贤
逻辑学研究
2011
[ABSTRACT] 本文首先将新弗雷格主义的发展划分为三个阶段:(1)弗雷格算术(由二阶逻辑和休谟原则构成的理论)的一致性和对于二阶皮亚诺算术公理的可推出性的证明,(2)对休谟原则和二阶逻辑的哲学辩护与反驳,(3)对休谟原则和二阶逻辑进行限制,并证明其一致性和可推出性。然后着重介绍:(1)直谓二阶逻辑和公理V的一...
[KEYWORDS] 弗雷格定理; 直谓性; 概括公理; 后继公理
期刊文章
Fulltext
许春梅
逻辑学研究
2012
[ABSTRACT] 本文的工作是在D.M.Gabbay的一篇论文《超模态逻辑理论:在模态逻辑中的模转换》基础上所做的,主要是将他的两类满足关系扩充到n+1种满足关系,然后在此基础上得到两类一般性的逻辑类K[TnK]和K[TKn],其中n≥1。我们得到了一些更为一般性的结论:(1)逻辑类K[TnK]的定理模式是:对...
[KEYWORDS] 模态逻辑; 逻辑理论; 定理; 翻译; 公式; 世界
期刊文章
Fulltext
周北海; 贾青
逻辑学研究
2015
[ABSTRACT] 关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以“纯粹”的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直...
[KEYWORDS] 相干逻辑; 关系语义; 推理语义
期刊文章
Fulltext
周北海; 傅庆芳
逻辑学研究
2014
[ABSTRACT] 目前关于预设的真值语义学研究主要是各种三值语义。这看起来有自然的一面,但其实有一个严重的误区,将“无定义”也看成一个与预设原句真值处于同一层面的真值,混淆了对象语言与元语言的区分。预设句与原句是不同层次的句子。本文试以专名指称存在预设为例,通过部分模型以及在此之上的同底扩张模型方法构造了复合模...
[KEYWORDS] 预设; 专名; 指称存在; 形式语义
期刊文章
Fulltext
周北海; 马丽
逻辑学研究
2013
[ABSTRACT] 概称句的形式刻画研究始于人工智能.从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑.回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学...
[KEYWORDS] 概称句; 词项逻辑; 树图算法; 内涵逻辑
期刊文章
Fulltext
周北海
逻辑学研究
2010
[ABSTRACT] 弗雷格因同一替换律讨论而提出了涵义与指称的理论,这个理论后来引出了弗雷格迷题.弗雷格迷题的形成有多方原因,直接指称论对弗雷格理论批评是主要原因之一,以至于可以说,这是产生于直接指称论哲学立场的迷题.尽管如此,弗雷格理论确有不足.最重要的是,弗雷格理论只有关于涵义与指称的理论,即只有语言层面的理...
[KEYWORDS] 弗雷格迷题; 涵义; 内涵; 概念; 涵义语义; 概念语义
[ABSTRACT] 王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出"逻辑课程现代化"的口号,对当时的逻辑界有振聋发聩之功.此后"逻辑现代化"成为我国逻辑学发展的主旋律.
[KEYWORDS] 
期刊文章
Fulltext
赵震
逻辑学研究
2012
[ABSTRACT] 首先,本文在第二节中提出了谎者悖论所包含的一些问题,比如加强的说谎者悖论,Curry悖论,Yablo悖论,偶然的说谎者悖论,以及塔尔斯基的真不可定义性定理。其次,在第三节简单介绍了塔尔斯基的分层理论,并且指出了他方案的一个最大不足之处就是把一个真谓词分成了很多个个真谓词,这和我们的直观很不符合...
[KEYWORDS] 说谎者悖论; 塔尔斯基; 不可定义; 分层理论; 解悖方案; 可靠性; 完全性; 谓词
期刊文章
王彦晶
逻辑学研究
2016
[ABSTRACT] 辛提卡(J. Hintikka)1962年出版的开创性著作《知识与信念:这两个概念的逻辑导论》中为认知逻辑(Epistemic Logic)1奠定了理论基础。作为一种哲学逻辑,认知逻辑在其诞生之初受到了很多哲学家的批评,在上世纪七十年代一度发展较为缓慢。然而由于知识及信念的形式化概念的重要性和...
[KEYWORDS] 知识逻辑; 认知逻辑; 逻辑导论; 哲学逻辑; 模态逻辑; 逻辑学家; knowing; 公理化; 存在量词; 不可判定性
期刊文章
陈波; 吉拉·谢尔; 徐召清
逻辑学研究
2018
[ABSTRACT] 吉拉·谢尔从基础整体论出发,对逻辑基础问题给出了新的回答.她认为逻辑既奠基于世界,又奠基于心灵.但在《认知摩擦》中,她更强调前者,尤其是逻辑的事实性特征.她进一步澄清了逻辑性标准如何能够容纳二阶逻辑和模态逻辑,以及在基础整体论的视角下逻辑与集合论的关系.她还讨论了逻辑的心理主义,以及汉纳和麦蒂...
[KEYWORDS] 逻辑基础问题; 逻辑性标准; 心理主义; 逻辑的可修正性; 《认知自由》
[ABSTRACT] 基于"明示–推理"的话语交际模式,可以使用由会话主体集D,会话语言结构Φ,会话语义信息结构M,级差衍推关系?和会话语言解释函数F 组成的五元组<D,Φ,M,?,F>来构建一个基于(新)格赖斯主义的语用推理的语形–语义基本框架.该框架由会话参与者、话语形式与话语意...
[KEYWORDS] 合作原则; 会话隐涵; 推理; 模型
期刊文章
周北海; 张立英
逻辑学研究
2018
[ABSTRACT] 含糊类是基于样本和相似性得到的类.通过样本和与样本的相似性处理含糊对象是人们在面对含糊性时常用的方法.含糊类有样本收敛和样本发散两大类型,后者应该更为普遍.样本收敛的含糊类也是有核含糊类,可以通过核来处理边界情况.但是因为样本发散含糊类同时也是无核含糊类,所以这个方法不适用于样本发散含糊类.从...
[KEYWORDS] 含糊性; 含糊类; 样本; 形式语义
期刊文章
Fulltext
杨睿之
逻辑学研究
2012
[ABSTRACT] 作者在这篇文论中提出了一种实用主义的数学哲学观。其中的想法是,通过分析各种数学哲学思想对于数学实践的实际影响来比较它们的价值。为解释这种想法的可行性,作者将论证,正是数学的某些特性使得实用主义的方法能够被自然地运用于对数学哲学诸观点的分析。在之后的一节中,作者会给出一些案例分析以展示某些哲学观...
[KEYWORDS] 数学实践 实用主义 哲学观点 哲学思想 数学哲学 数学研究 案例分析 基础知识
期刊文章
Fulltext
张立英; 周北海
逻辑学研究
2013
[ABSTRACT] 基于[4]中的逻辑系统 ,本文通过删减和增加公理及规则给出3个逻辑G0,GD和GS,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和GS的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。
[KEYWORDS] 演绎方式; 选择函数; 模型定义; sentences; formal; universal; capture; generic; satisfying; semantic
期刊文章
Fulltext
琚凤魁
逻辑学研究
2010
[ABSTRACT] 本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑.这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案.我们的工作在祈使句和祈使力结构之间的对应之上展开.首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义.然后,祈使句的意...
[KEYWORDS] 
Results 1-20 of 23