期刊文献+

《逻辑学研究》 CSSCI

作品数666被引量540H指数8
《逻辑学研究》杂志是由中山大学主管、中国逻辑学会与中山大学共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进...查看详情>>
  • 曾用名 中山大学学报论丛
  • 主办单位中国逻辑学会;中山大学
  • 国际标准连续出版物号1674-3202
  • 国内统一连续出版物号44-1649/C
  • 出版周期双月刊
共找到666篇文章
< 1 2 35 >
每页显示 20 50 100
可计算环上幂零根与Jacobson根的计算复杂度
1
作者 王勋 《逻辑学研究》 CSSCI 2022年第3期36-51,共16页
Downey等人(2007)证明了:存在一个可计算的有单位元素的交换环,其幂零根是Σ_(1)^(0)-完全集;存在另一个可计算的有单位元素的交换环,其Jacobson根是Π_(2)^(0)-完全集。本文进一步证明了:存在一个可计算的有单位元素的交换环,其幂零根... Downey等人(2007)证明了:存在一个可计算的有单位元素的交换环,其幂零根是Σ_(1)^(0)-完全集;存在另一个可计算的有单位元素的交换环,其Jacobson根是Π_(2)^(0)-完全集。本文进一步证明了:存在一个可计算的有单位元素的交换环,其幂零根是Σ_(1)^(0)-完全集且其Jacobson根是Π_(2)^(0)-完全集。此外,对于任意c.e.集A,都存在一个可计算的有单位元素的交换环使其幂零根与A图灵等价;对于任意Π_(2)^(0)集B,都存在一个可计算的有单位元素的交换环使其Jacobson根与B图灵等价。 展开更多
关键词 JACOBSON根 交换环 幂零根 计算复杂度
下载PDF
三门问题的概率动态认知逻辑分析
2
作者 李章吕 潘易欣 《逻辑学研究》 CSSCI 2021年第5期23-33,共11页
三门问题是一个反直观的概率问题,受到数学、逻辑学、心理学、经济学、计算机科学等众多领域的共同关注。概率动态认知逻辑是新近发展起来的一种逻辑理论,它把概率逻辑和动态认知逻辑相结合,将事件的概率处理成认知模型里的世界的概率,... 三门问题是一个反直观的概率问题,受到数学、逻辑学、心理学、经济学、计算机科学等众多领域的共同关注。概率动态认知逻辑是新近发展起来的一种逻辑理论,它把概率逻辑和动态认知逻辑相结合,将事件的概率处理成认知模型里的世界的概率,从而可以更加直观地展现事件的概率分布。借助概率动态认知逻辑为三门问题建立概率认知模型,可以清晰呈现换门与不换门各自赢得汽车的概率,并全面揭示三门问题的概率认知模型在概率乘积更新规则下的变化过程,从而帮助我们以一种整体的视角深入理解三门问题。 展开更多
关键词 三门问题 概率动态认知逻辑 概率乘积更新规则 概率认知模型
下载PDF
《逻辑学研究》征稿启事
3
《逻辑学研究》 CSSCI 2020年第1期F0003-F0003,共1页
《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关... 《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关领域学术同行的交流。 展开更多
关键词 逻辑学研究 中国逻辑学会 学术刊物 相关学科 学术研究 中山大学 人文社会科学重点研究基地
下载PDF
蒯因并不叫做蒯因(英文)
4
作者 何朝安 《逻辑学研究》 CSSCI 2019年第6期69-78,共10页
在对非元语言性谓词主义的近期辩护中,法拉诉诸两种称谓概念的区分,以期避免元语言谓词主义所遭遇的克里普克式的贫乏性诘难。本文试图表明,法拉的核心论证并不成立,因为其本身也面临某种令人意想不到的恶性循环。为了避免克里普克式的... 在对非元语言性谓词主义的近期辩护中,法拉诉诸两种称谓概念的区分,以期避免元语言谓词主义所遭遇的克里普克式的贫乏性诘难。本文试图表明,法拉的核心论证并不成立,因为其本身也面临某种令人意想不到的恶性循环。为了避免克里普克式的贫乏性诘难,法拉将面临某种不一致性;而反过来为了避免不一致性,法拉很可能被迫落入贫乏性陷阱。 展开更多
关键词 不一致性 语言性 克里普克 恶性循环 元语言 蒯因 谓词 诘难
下载PDF
多智能体模态逻辑系统K_n中的知识遗忘 被引量:1
5
作者 文习明 方良达 +2 位作者 余泉 常亮 王驹 《逻辑学研究》 CSSCI 2019年第2期43-62,共20页
如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓... 如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。 展开更多
关键词 多智能体模态逻辑 知识推理 知识编译 知识遗忘
下载PDF
2017年全国现代逻辑学术研讨会专栏(下):编者导语
6
作者 刘虎 《逻辑学研究》 CSSCI 2018年第4期1-1,共1页
近年来,中国在逻辑学,特别是形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际先进水平。每年举办的全国现代逻辑研讨会,不仅体现了我国在现代逻辑领域的最新前沿研究,也增进了国内各个研究机构、学者间的相互交流,从而推动... 近年来,中国在逻辑学,特别是形式逻辑学方向的研究水平突飞猛进,在一些领域已经达到了国际先进水平。每年举办的全国现代逻辑研讨会,不仅体现了我国在现代逻辑领域的最新前沿研究,也增进了国内各个研究机构、学者间的相互交流,从而推动我国现代逻辑水平的进一步发展。 展开更多
关键词 现代逻辑 学术研讨会 形式逻辑学 导语 编者 专栏 研究机构 相互交流
下载PDF
愤怒博弈者的更新逻辑(英文) 被引量:2
7
作者 黄繁 文学锋 《逻辑学研究》 CSSCI 2016年第3期71-88,共18页
愤怒的博弈者是具有攻击性的,为了减少对手的效用,他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同,我们的逻辑中因应愤怒更新的是博弈者的可选行为,即在更新之后的模... 愤怒的博弈者是具有攻击性的,为了减少对手的效用,他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同,我们的逻辑中因应愤怒更新的是博弈者的可选行为,即在更新之后的模型中,愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统,证明了其可靠性以及弱完全性,并将其应用在最后通牒博弈中。 展开更多
关键词 最后通牒博弈 模态逻辑 愤怒 行为模式 公理系统 逻辑构建 攻击性 完全性
下载PDF
范本特姆《逻辑、认识论和方法论》书介
8
作者 雒自新 《逻辑学研究》 CSSCI 2013年第2期92-96,共5页
约翰·范本特姆,逻辑、认识论和方法论,郭佳宏,刘奋荣等译,北京:科学出版社,2013年。J.van Benthem,2013,Logic,Epistemology,and Methodology,translated by JiahongGuo,Fenrong Liu et al.,Beijing:Science Press."逻辑之门—... 约翰·范本特姆,逻辑、认识论和方法论,郭佳宏,刘奋荣等译,北京:科学出版社,2013年。J.van Benthem,2013,Logic,Epistemology,and Methodology,translated by JiahongGuo,Fenrong Liu et al.,Beijing:Science Press."逻辑之门——约翰范本特姆经典著作"是由荷兰阿姆斯特丹大学资助的翻译项目。该项目的成果以丛书形式由科学出版社出版,刘奋荣担任丛书主编。《逻辑、认识论和方法论》为丛书的最后一卷。在本卷中,范本特姆教授通过丰富的全景描述向我们展示了逻辑技术和一般哲学之间的深刻关联。这些讨论集中体现了两者的整体性与互动性。全书共收录19篇论文,按照研究的主题的不同,这些论文被进一步分成5个部分:逻辑常项、认知逻辑、科学方法论、时空基础和逻辑哲学。 展开更多
关键词 科学方法论 逻辑技术 认识论 范本 科学出版社 书介 逻辑哲学 阿姆斯特丹
下载PDF
刑事证明标准的高概率模型
9
作者 杜文静 《逻辑学研究》 2024年第2期17-31,共15页
在刑事司法证明中,为了实现司法审判的数字化,有必要对刑事证明标准进行量化描述。法律概率主义通过有罪概率和概率阈值构建了“高概率裁决模型”。根据这一模型,当有罪概率是准确的高概率时,裁决应当认定被告有罪。但是,该模型受到法... 在刑事司法证明中,为了实现司法审判的数字化,有必要对刑事证明标准进行量化描述。法律概率主义通过有罪概率和概率阈值构建了“高概率裁决模型”。根据这一模型,当有罪概率是准确的高概率时,裁决应当认定被告有罪。但是,该模型受到法律传统主义的强烈批判,认为用高概率来描述刑事证明标准在道德上不可接受且会产生推理悖论,而我们将通过对刑事证明标准的重构为其进行辩护。刑事证明标准可细分为叙事性、稳定性、完全性和充分性四要素。当审判满足叙事性、稳定性和完全性时,有罪概率的准确性得以确保。如果此时的有罪概率还满足充分性,则可以认为审判满足刑事证明标准,并应认定被告有罪。因此,一旦有罪概率的准确性得到保障,刑事证明标准可以化归为高概率。高概率裁决模型具有正当性,能消解传统主义的批判,促使审判实现核心功能。 展开更多
关键词 刑事证明标准 有罪概率 概率阈值 高概率裁决模型 错判风险
下载PDF
基于构造性思想的直觉主义逻辑证明语义
10
作者 程华清 《逻辑学研究》 CSSCI 2020年第2期14-28,共15页
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词及量词的理解也是基于构造性立场的。本文构建了直觉主义逻辑... 布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词及量词的理解也是基于构造性立场的。本文构建了直觉主义逻辑的证明语义,这是一种内涵语义,其特点是:遵循构造性思想、尽量贴近直观、避免使用集合概念,语义解释从具体命题、具体对象(个体)、具体性质和关系等出发,使具体命题成为“公式解释”和“直观有效”概念的基础。进而在这种语义下证明了直觉主义命题逻辑和谓词逻辑的可靠性。 展开更多
关键词 直觉主义逻辑 构造性思想 证明语义
下载PDF
可想象性与可能性(英文)
11
作者 唐英英 《逻辑学研究》 CSSCI 2019年第3期102-114,共13页
本文的讨论围绕着“想象障碍迷思”这一议题,即为什么人们对某些反事实情境存在想象障碍,而展开。本文首先对BrianWeatherson 的“In-Virtue-Of Hypothesis”给出了批评,并提出人们对某些反事实情境存在想象障碍是因为那些反事实情境在... 本文的讨论围绕着“想象障碍迷思”这一议题,即为什么人们对某些反事实情境存在想象障碍,而展开。本文首先对BrianWeatherson 的“In-Virtue-Of Hypothesis”给出了批评,并提出人们对某些反事实情境存在想象障碍是因为那些反事实情境在概念上是不可能的——概念上不可能的情境,也仅有概念上不可能的情境才是不能被想象的。针对这种对可想象性与可能性关系的理解,本文也讨论了一些可能的反驳并指出这些反驳的不成功之处。 展开更多
关键词 想象性 情境 概念 性关系
下载PDF
“明清西方逻辑学等理论科学的东渐”国际学术会议综述
12
作者 黄志鹏 陈莉 《逻辑学研究》 CSSCI 2018年第1期145-147,共3页
2017年9月23至24日,由中山大学西学东渐文献馆、广州与中外文化交流研究中心联合主办的“明清西方逻辑学等理论科学的东渐”国际学术会议在中山大学哲学系举行。会议期间,海内外学者共发表论文和报告21篇。
关键词 国际学术会议 西方逻辑学 西学东渐 明清时期 科学 综述 中外文化交流 中山大学
下载PDF
算法随机性与逼近元(英文)
13
作者 陈超 《逻辑学研究》 CSSCI 2018年第2期62-74,共13页
本论文将会提出逼近元微分定理的能行化版本。我们证明了在实数集上,点x对所有L1可计算函数满足逼近元微分定理描绘的收敛,当且仅当x是Schnorr随机的。
关键词 随机性 逼近 算法 实数集 定理 微分 收敛 函数
下载PDF
弗雷格《概念文字》理解的两点注记 被引量:2
14
作者 杨海波 《逻辑学研究》 CSSCI 2012年第4期39-48,共10页
文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献:首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与... 文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献:首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与文章中存在误解;其次,我们讨论弗雷格如何用遗传性概念来定义祖先关系,进而定义自然数或有穷数,并使得数学归纳法仅根据自然数的定义就得以成立,这也为弗雷格把算术还原为逻辑奠定了基础。 展开更多
关键词 弗雷格 概念文字 二阶逻辑 数学归纳法
下载PDF
分次模态传递框架类(英文)
15
作者 马明辉 《逻辑学研究》 2010年第2期19-25,共7页
本文证明分次模态逻辑在有穷传递框架类中的Goldblatt-Thomason定理。一个有穷传递框架类可由分次模态公式集定义当且仅当它在不相交并、生成子框架和分次有界态射像下封闭。该定理的证明使用带根的有穷传递框架的分次Jankov-Fine公式。
关键词 模态逻辑 定理 证明 公式
下载PDF
OK库:为解决SAT问题引入的整体研究平台(英文)
16
作者 奥立弗.库曼 《逻辑学研究》 2009年第1期20-53,共34页
OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org.。本文中我们讨论了这个数据库的发展历史、开发动机和组成架构,并概述了其当前的状况。文章解释了它与现有其它平... OK库是一个开源数据库,被用于支持广义SAT问题领域的研究和发展,该库可从下述网址获得:http://www.ok-sat-library.org.。本文中我们讨论了这个数据库的发展历史、开发动机和组成架构,并概述了其当前的状况。文章解释了它与现有其它平台的差别:在我们看来,OK库的方法是"整体性"的,也即OK库不仅包含程序代码,也包括用于处理和评价实验(以及实验结果本身)的研究计划和方法。因此可以把OK库理解为IRE,即集成研究环境(但它并非只是构建一个单独的集成块,而是基于Unix/Linux传统的工具箱)。"广义可满足性问题"被理解为SAT问题向CSP的推广,本文中讨论了其中的基本思路。作为结束,本文阐述了解决高级核心SAT的(我们所认为的)十个基本研究问题。 展开更多
关键词 研究平台 SAT OK 问题引入 LIBRARY 源数据库 “整体性” LINUX
下载PDF
《逻辑学研究》征稿启事
17
《逻辑学研究》 2023年第1期F0003-F0003,共1页
《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关... 《逻辑学研究》杂志是由中山大学主管、中山大学与中国逻辑学会共同主办,并由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的逻辑学专业学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究,增进海内外逻辑学及相关领域学术同行的交流。 展开更多
关键词 逻辑学研究 中国逻辑学会 学术刊物 相关学科 学术研究 中山大学 人文社会科学重点研究基地
下载PDF
巴坎公式与时态逻辑
18
作者 周君 《逻辑学研究》 CSSCI 2020年第2期29-40,共12页
本文分析了普赖尔等学者有关时间与存在关系的论述,深入考察了时态逻辑中关于巴坎公式的理论得失,指出:巴坎公式及其逆二者之组合意味着每个可能世界有同样的个体域,而在时态逻辑中,可能世界是不同时间的世界,因而不同时间有同样的个体... 本文分析了普赖尔等学者有关时间与存在关系的论述,深入考察了时态逻辑中关于巴坎公式的理论得失,指出:巴坎公式及其逆二者之组合意味着每个可能世界有同样的个体域,而在时态逻辑中,可能世界是不同时间的世界,因而不同时间有同样的个体域,这违背了现实世界的实际图景。在现实世界中,不同时间可以有不同的事物,这意味着不同时间的个体域可以不同。据此,在时态逻辑中,我们应该拒斥巴坎公式。 展开更多
关键词 巴坎公式 普赖尔 时态逻辑 量化 存在
下载PDF
逻辑学研究(双月刊)编辑委员会
19
《逻辑学研究》 CSSCI 2019年第4期I0003-I0003,共1页
下载PDF
《逻辑学研究》征稿启事
20
《逻辑学研究》 CSSCI 2017年第2期152-152,共1页
《逻辑学研究》是中山大学和中国逻辑学会主办、由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流.
关键词 逻辑学研究 征稿启事 重点研究基地 人文社会科学 中山大学 学术刊物 中国逻辑 大学逻辑
下载PDF
上一页 1 2 35 下一页 到第
使用帮助 返回顶部