导读:本文包含了直觉主义逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:直觉,逻辑,主义,谓词,公理化,知识,系统。
直觉主义逻辑论文文献综述
余军成[1]（2019）在《直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统》一文中研究指出在达米特给出的直觉主义谓词逻辑矢列演算系统L的基础上,构造一个与L等价的系统L~*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统LK~*以及直觉主义谓词逻辑的矢列演算系统L',这有助于探讨直觉主义逻辑与经典逻辑之间关系。(本文来源于《贵州工程应用技术学院学报》期刊2019年03期）
李晟,李娜[2]（2018）在《直觉主义逻辑上的Friedman-Sheard理论》一文中研究指出文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。(本文来源于《逻辑学研究》期刊2018年02期）
涂保勋[3]（2018）在《子直觉主义逻辑的邻域语义学研究》一文中研究指出子直觉主义逻辑是直觉主义逻辑的部分逻辑,最先由Corsi在1987年的论文“弱严格蕴含逻辑”中系统加以研究。Restall在1994年的论文“子直觉主义逻辑”中对其进行研究,使其得到发展。此后许多逻辑学家参与到子直觉主义逻辑的研究中来,这些研究多是在关系语义学下进行的。本文研究子直觉主义逻辑的邻域语义学,给出一个矢列系统,证明该系统在邻域语义学下的可靠性。最后探讨该系统到模态逻辑的翻译。全文由四章组成。第1章简要介绍直觉主义逻辑与子直觉主义逻辑。本章介绍直觉主义的主要思想和直觉主义逻辑。在直觉主义逻辑部分,本章比较了直觉主义命题逻辑和经典命题逻辑的不同,还介绍了直觉主义谓词逻辑。最后介绍了子直觉主义逻辑。第2章介绍模态逻辑的邻域语义学。本章首先介绍了关系语义学和邻域语义学,并对二者进行了比较。然后介绍邻域框架的性质。最后介绍邻域模型的过滤模型。第3章介绍从直觉主义逻辑和子直觉主义逻辑到模态逻辑的翻译。主要包括:从直觉主义命题逻辑到模态逻辑S4的翻译;从子直觉主义逻辑BPL到模态逻辑wK4的翻译;从子直觉主义逻辑wK到模态逻辑K的翻译。第4章引入子直觉主义逻辑的邻域语义学。本章首先给出子直觉主义逻辑的邻域模型和语义解释。在邻域语义学下,证明一些矢列与邻域框架性质之间的对应关系。然后给出一个矢列系统,证明该系统在邻域语义学下的可靠性。最后探讨该系统到模态逻辑的翻译。(本文来源于《西南大学》期刊2018-04-20）
徐京京[4]（2018）在《关于直觉主义认知逻辑若干问题的研究》一文中研究指出认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。长期以来,学术界在经典逻辑的基础上对认知逻辑开展了深入而广泛的研究,针对不同知识类型建立了相应的逻辑系统加以刻画。近年来,一批学者将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究。这种研究为强调构造性和能行性的计算机科学相关领域的研究提供了新的逻辑工具。众所周知,直觉主义逻辑除了基于证明概念的BHK(Brouwer-Heyting-Kolmogrov)语义、基于Heyting代数的代数语义还有基于真值的Kripke语义。Kripke结构是模态逻辑的重要语义结构之一,易于理解且与形式化方法中诸多结构相似,在此结构上的逻辑语言可以作为描述计算系统性质的规范语言。所以,直觉主义认知逻辑的诸多研究基于Kripke结构展开。但是,由于兼顾认知模态词和直觉主义否定词的语义解释,这些Kripke结构的可达关系需要满足更多的约束性质,这就给相关逻辑系统完备性证明中模型的构造带来困难。尤其是对含有公共知识这种具有不动点语义特性的模态词的逻辑系统而言,通常的典范模型方法在许多情形都不奏效。本文将在Marti等人已有工作基础上,对带公共知识和分布式知识的直觉主义认知逻辑系统开展进一步研究,主要工作包括如下方面:1.在带分布式知识的直觉主义认知逻辑IDK的基础上,通过模型变换完成了刻画满足正向内省性的直觉主义分布式知识的公理系统IDS4的完备可靠性证明,并统一了IDK、IDT及IDS4的完备性证明。2.在直觉主义逻辑框架下同时处理公共知识和分布式知识,针对不同可达关系特性,建立了含分布式知识和公共知识的两个直觉主义认知逻辑公理系统ICDK和ICDT,通过对模型逐次变换构造了典范模型并给出了完备可靠性证明。(本文来源于《南京航空航天大学》期刊2018-03-01）
徐京京[5]（2018）在《直觉主义认知逻辑ICDK》一文中研究指出认知逻辑是研究知识推理和信念变化的模态逻辑的一个分支,在人工智能、多agent系统以及对策论等领域有着广泛应用。为给强调构造性和能行性的计算机科学相关领域的研究提供新的逻辑工具,一批学者开始将直觉主义构造性观点和认知逻辑相结合,在直觉主义逻辑基础上对认知逻辑展开研究。基于J?ger和Marti对直觉主义分布式知识和公共知识的研究,在直觉主义逻辑框架下同时处理公共知识和分布式知识。针对知识满足的不同性质及不同可达关系特性,建立了含分布式知识和公共知识的两个直觉主义认知逻辑公理系统ICDK和ICDT。通过对模型进行逐次变换的方法构造了典范模型并给出了完备可靠性证明。(本文来源于《计算机科学与探索》期刊2018年11期）
王佳君[6]（2017）在《论直觉主义学派的逻辑观》一文中研究指出直觉主义学派奠基人布劳威尔在澄清科学、语言本质的基础上把逻辑规定为一门反映推理语言规律的科学,但他没有意识到:逻辑和数学一样,具有比其它科学更高的必然性。海丁把数学中使用的逻辑规则规定为一般化的数学定理,并构建了形式化的直觉主义逻辑。该学派强调构造性,对逻辑常项进行了构造性的解释,从而拒斥了排中律的普遍有效性,并质疑经典的间接证明方法。事实上,直觉主义的构造性证明与经典的间接证明体现了不同的推理方式,各自有不同的适用领域和应用价值,而兼容并蓄正是现代逻辑和现代科学的发展趋势。(本文来源于《湖南科技大学学报(社会科学版)》期刊2017年06期）
余军成[7]（2017）在《论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统》一文中研究指出在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。(本文来源于《贵州工程应用技术学院学报》期刊2017年03期）
王佳君[8]（2017）在《数学哲学与逻辑哲学中的直觉主义思想研究》一文中研究指出直觉主义数学以及相应的数学哲学诞生于20世纪初关于数学基础的大争论时期。相对于另外两个主要争论对手,即逻辑主义和形式主义,直觉主义更为激进,试图对普遍使用的经典数学进行革命性的重建。在直觉主义数学的研究过程中还诞生了直觉主义逻辑,它也逐渐成为现代逻辑中的重要分支。本文着重探讨对直觉主义思想做出最重要贡献的布劳威尔、海丁和达米特的数学哲学和逻辑哲学思想。作为直觉主义学派的奠基人,布劳威尔率先全面阐述了直觉主义的理论。海丁是布劳威尔的学生,他最早构造了直觉主义逻辑的形式系统。达米特是西方哲学界“语言学转向”变革中的代表人物,他在意义理论基础上为直觉主义做了有别于前人的辩护。本文的内容包含以下四章:第一章为“历史的回顾与国内外研究现状”。先从对数学基础的研究历史开始介绍直觉主义产生的理论背景,再从中引出数学哲学问题以及数学基础与数学哲学的关系问题,并试图给予解答。笔者反对从事数学基础工作的人可以完全不关注数学哲学,而偏向于支持“数学哲学在先”的观点,即数学哲学为包括数学基础在内的一切数学实践提供“第一原则”,虽然该观点还不够完整。笔者还具体讨论了康德的数学哲学以及逻辑主义、形式主义以及布劳威尔之前的直觉主义的数学哲学思想。这些思想都是布劳威尔数学哲学思想产生的理论背景。第二章为“布劳威尔的数学哲学”。按照布劳威尔的哲学、认识论、数学哲学的顺序来论述他的数学哲学思想及其与哲学、认识论的关系,并以连续统理论为例来说明布劳威尔如何在数学实践中贯彻他的数学哲学,还考察了海丁和外尔对布劳威尔数学哲学的解释。笔者认为:我们不能脱离布劳威尔的哲学思想而孤立地理解和评论他的数学哲学,并且他的哲学和数学哲学都是修改数学实践的理由。在数学实践上,布劳威尔成功消除了集合论悖论。然而,他的哲学是存在重大缺陷的,这尤其体现在对科学的消极态度,而且这还意味着对科学极其有用的经典数学成了做“恶”的工具。笔者认为,这种观点源自于布劳威尔对科学积极的一面选择性无视。第叁章为“直觉主义的语言观、逻辑观与直觉主义逻辑”。论述布劳威尔的语言观、逻辑观以及海丁对其的解释,在此基础上,介绍了比较常见的直觉主义命题逻辑系统及其克里普克语义,并表明它们是如何贯彻直觉主义思想的。笔者认为:布劳威尔否定逻辑在直觉主义数学中的作用是不对的,我们完全可以发展和完善一种适合直觉主义数学的直觉主义逻辑。其实,当代直觉主义数学的发展已经表明直觉主义逻辑在直觉主义数学的研究中是必不可少的工具。第四章是“达米特对直觉主义的辩护”。先论述达米特为什么要把对直觉主义数学的辩护转变为对直觉主义逻辑的辩护,再论述他的具体辩护。最后,探讨可交流性的问题,因为达米特正是从这方面来拒斥柏拉图主义意义理论的,而这正是为经典逻辑提供辩护所需的意义理论。笔者认为:达米特对可交流性的条件不够充分,我们还必须考虑交流各方的内部机制,而被贴上“唯我论”等标签的布劳威尔数学哲学倒是可以满足这些条件。另外,虽然表达连续统的语言没有精确性,但也不影响它的可交流性。笔者认为,达米特在辩护中忽视了对内在精神构造的探讨,错误设定了掌握语言意义的条件,并无法解释经典数学语言的可交流性。结束语部分将罗列直觉主义者取得的共识,以及当代意义理论、认知哲学和心智哲学的发展对达米特理论提出的批评。现在有一种改进方法就是继承外尔、海丁等人所倡导的现象学思想,构造出一种建立在意向性基础之上的意义理论。和达米特意义理论一样,该意义理论也能为直觉主义辩护,但它更为合理。(本文来源于《华东师范大学》期刊2017-03-17）
余军成,何向东[9]（2016）在《论直觉主义谓词逻辑的矢列式自然演绎系统》一文中研究指出达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。(本文来源于《湖南科技大学学报(社会科学版)》期刊2016年05期）
余军成[10]（2016）在《达米特直觉主义逻辑哲学思想研究》一文中研究指出达米特是20世纪最有影响的英国哲学家。他的哲学着作有叁个特点:一是数量众多,其中,有许多是鸿篇巨着;二是语言晦涩难懂;叁是技术性强。在达米特的哲学着作中,尤其是在数学理论的逻辑基础的哲学探讨中,他扬弃了真值条件意义理论及其逻辑基础;这促使笔者想要全面而系统地考察他提出的关于构造主义意义理论与直觉主义逻辑之间的关系的理论。笔者主要采用达米特的直觉主义逻辑作为技术手段,意义理论作为解决构造主义与柏拉图主义争论的研究方法。主要工作体现在五个方面:第一,较为全面梳理了达米特本人的哲学思想以及国内外关于达米特逻辑哲学思想的研究现状和直觉主义逻辑的研究进展。第二,较为系统地考察了达米特的命题与事实观。第叁,从拒斥经典逻辑的两种论证方法,到对数学的直觉主义逻辑进行辩护,再到直觉主义逻辑的真理论,探解了直觉主义逻辑哲学中的一些重要问题和难题。第四,从矢列式自然演绎系统、矢列演算系统、正规化思想叁个方面构建达米特的直觉主义逻辑演绎思想。第五,探讨了达米特直觉主义逻辑哲学思想的价值意义以及未来的工作。这五个方面的工作相互作用、互相影响,构成了一个有机整体:第一和第二方面的工作为后面叁个方面的工作提供了前提和可能;第叁个方面的工作为第四个方面的工作提供了哲学基础和理论支撑,而第四个方面的工作为第叁个方面的工作提供了逻辑基础和技术手段;第五个方面的工作归纳总结了第二至第四个方面工作的价值意义,并提出了未来的研究方向。这些工作表明研究达米特的直觉主义逻辑哲学思想具有重要价值意义:一是系统地梳理且提炼出达米特直觉主义逻辑与哲学,尤其是与构造主义意义理论相融合的方法,既为研究达米特本人的哲学思想提供了一把钥匙,又为我们从事哲学研究,尤其是分析哲学、逻辑哲学等研究提供了技术工具和理论支撑。二是从证明论发展的历史视角,彰显了达米特的直觉主义逻辑演绎思想在结构证明论中的重要性和影响力。叁是特别指出达米特的自然演绎思想在直觉主义逻辑哲学研究中的价值,为普及和推广直觉主义逻辑提供了依据和指导。(本文来源于《西南大学》期刊2016-10-01）
直觉主义逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
直觉主义逻辑论文参考文献
[1].余军成.直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统[J].贵州工程应用技术学院学报.2019
[2].李晟,李娜.直觉主义逻辑上的Friedman-Sheard理论[J].逻辑学研究.2018
[3].涂保勋.子直觉主义逻辑的邻域语义学研究[D].西南大学.2018
[4].徐京京.关于直觉主义认知逻辑若干问题的研究[D].南京航空航天大学.2018
[5].徐京京.直觉主义认知逻辑ICDK[J].计算机科学与探索.2018
[6].王佳君.论直觉主义学派的逻辑观[J].湖南科技大学学报(社会科学版).2017
[7].余军成.论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统[J].贵州工程应用技术学院学报.2017
[8].王佳君.数学哲学与逻辑哲学中的直觉主义思想研究[D].华东师范大学.2017
[9].余军成,何向东.论直觉主义谓词逻辑的矢列式自然演绎系统[J].湖南科技大学学报(社会科学版).2016
[10].余军成.达米特直觉主义逻辑哲学思想研究[D].西南大学.2016
论文知识图
