首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
以弗协调命题逻辑Cn(1≤n〈ω)为基础,采取逻辑分支相融合的方式,使用逻辑扩张的方法,可以将弗协调逻辑措施应用于多主体认知逻辑,建立一个弗协调逻辑与多主体逻辑的融合系统CnEmK(1≤n〈ω);CnEmK(1≤n〈ω)具有可靠性和完全性,并且是一个可以处理弗协调性的多主体认知逻辑系统;CnEmK(1≤n〈ω)也是一种基本的弗协调多主体认知逻辑系统,以之为基础可以进一步扩张得到关于公共知识、共同知识、协同知识的弗协调多主体认知逻辑系统。  相似文献   

2.
弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统,即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标准语法和语义的基础上,对弗完全否定的逻辑涵义进行了直观解释,并分析了其逻辑语义特征;给出了弗完全逻辑拟真值表的具体列法,表明了系统P1的可判定性;利用拟真值表方法,表明了一般意义排中律在P1中的失效;对弗完全逻辑P1可以容忍逻辑悖论的逻辑机制进行了解析,并就此将弗协调逻辑C1和P1进行了容忍能力的比较。  相似文献   

3.
经典逻辑视野中的弗协调逻辑   总被引:2,自引:0,他引:2  
以科斯塔弗协调逻辑系统的技术处理为依据来分析命题 与其弗协调否定 之间的逻辑关系可以知道弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律之间存在很大差别;由此可见科斯塔弗协调逻辑不是真正意义上的弗协调逻辑,但是科斯塔弗协调逻辑作为非经典逻辑其理论意义是重大的,这正如非欧几何之与欧氏几何。  相似文献   

4.
弗协调逻辑是一种可以容纳“矛盾”的非经典逻辑,其所容纳的“矛盾”被称为“真矛盾”。在弗协调逻辑看来,逻辑悖论就是一种“真矛盾”,是可以被弗协调逻辑系统所容纳的。在分析逻辑悖论语法表现的基础上,我们可以清楚地看到弗协调逻辑消解悖论的逻辑机制。弗协调逻辑作为一种解悖方案,实际上是隔离了悖论对系统的不良影响,这种隔离意义上的悖论消解具有重要的现实意义;同时其相对于协调而区分出来的弗协调,也具有重要的逻辑哲学价值。  相似文献   

5.
对如何构造科学归纳逻辑系统,逻辑学家们面临一些疑难和谜题,其中最为奇特的谜题是尼尔森.古德曼提出的古德曼悖论,对归纳逻辑的合理性提出了新的挑战。  相似文献   

6.
勃克斯因果陈述逻辑理论评析   总被引:1,自引:0,他引:1  
勃克斯构建的因果陈述逻辑系统集中体现了他对“因果性”模式的研究和探讨。他创新性地提出了“因果必然”、“因果可能”和“因果蕴涵”概念,并在因果可能世界语义学中对它们进行了诠释。无论是因果陈述逻辑公理系统的语形还是语义,都为归纳逻辑的发展提供了一个新的工具.而这一逻辑系统所具有的强大的理论创新功能也为归纳逻辑成为科学认知的必然逻辑奠定了坚实的基础。  相似文献   

7.
在研究哲学和弗协调逻辑之间关系的过程中,与其从形式结论中提炼哲学推论,不如探究弗协调逻辑的出现和发展对那些有深厚根基的哲学问题产生何种影响。因此,拟提出若干受到弗协调逻辑发展显著影响的重要哲学问题:演绎系统中矛盾的影响;通过否定和矛盾可达致的理解;辩证法的形式化;理性概念;矛盾的指称。最后作为结论而深入研究的问题是:弗协调性内部的主要问题不是停留在实质和(或)真矛盾的存在或非存在周围(这已导致处理弗协调逻辑问题的学者们互相对立的立场),而是在我们的认知系统中避免重复出现矛盾或不协调的可能性或不可能性。这并不是倡导一种"弗协调世界观",而是试图证明我们的世界将会不可避免地产生不协调。因此,弗协调是适应人类知识内在现实性的一种途径。  相似文献   

8.
科学确证理论是科学哲学研究的核心问题之一,它探讨科学理论(假说)的真理性并为科学假说提出辩护。随着归纳逻辑程序设计新问题背景的出现,为科学假说提供解释和确证这一核心议题重新得到阐释。一般认为,传统的归纳逻辑程序设计问题背景对应于由皮尔斯对科学假说进行解释的回溯推理,而新的问题背景则对应亨普尔确证归纳假说的推理。用归纳逻辑程序设计的问题背景重新分析科学确证与科学解释,为亨普尔的"确证悖论"提供了一个新的解决方案,可以看作是人工智能对科学哲学的一个贡献。  相似文献   

9.
弗协调逻辑是以怀疑经典逻辑矛盾律的普遍有效性为基础而发展起来的逻辑理论,它通过对经典逻辑否定的修改,弱化经典逻辑的否定来达到对矛盾律的限制。关于弗协调逻辑的否定与矛盾一直是争议的焦点,本文试图从国内关于这两点的一些分析及争论出发,探讨弗协调逻辑的否定与经典逻辑否定的关系,并进而分析弗协调逻辑所说的矛盾与经典逻辑的矛盾律是否一致。  相似文献   

10.
概率作为数学的一个分支学科历史并不久远,但是,它对归纳逻辑的现代发展是同概念理论的发展紧密相联的。早期概率理论的研究是与研究赌博的数学相关的,到19世纪初概率论已成为比较成熟的数学理论,这样就为归纳逻辑的发展提供了工具。当1921年凯恩斯提出第一个概率逻辑系统时就标志着归纳逻辑以现代的面貌出现了。  相似文献   

11.
哈克在《演绎的辩护》(1976)一文中指出,演绎辩护将面对一个与归纳辩护类似的二难困境:我们不能对之提供归纳辩护,这样的辩护太弱了;我们也不能对之提供演绎辩护,这样的辩护将是循环的。本文指出,哈克原来的证明存在严重疏漏。是不能成立的;但她在论文中表达的思想是重要的,本文为之构造了一个新证明,并阐发了这个证明的认识论意蕴:通过其所含逻辑常项的解释。逻辑系统与关于日常语言和思雏实践的经验发生十分间接的联系;除了逻辑系统(在技术上)的可靠性和完全性外,还有一个它(在认识论上)是否正确或适当的问题。即逻辑系统内的形式论证是否充分、适当地刻画了逻辑系统外的非形式论证;不存在对演绎和逻辑系统的绝对辩护,只存在对它们的相对辩护;逻辑在原则上是可修正的。  相似文献   

12.
归纳逻辑是研究人们的认识如何从具体、个别性的前提上升到一般概括性的结论。它的前提的真实性只为结论的真实性提供了部分支持,它是一种或然性,不确定性的推理。自然科学的不断发展构成了归纳逻辑产生和发展的重要原因;同时,归纳逻辑在科学创新中也具有重要作用和意义。因此,形式的归纳逻辑系统具有建立的可能性和必要性。  相似文献   

13.
归纳逻辑的演进经历了古希腊归纳逻辑、科学的归纳逻辑、形式的归纳逻辑和实践主导的归纳逻辑四个阶段。古希腊归纳逻辑思想尽管没有实现理论化和系统化,但实践取向比较明显。近代归纳逻辑基本实现了理论化和系统化,它的突出特点是建立在自然科学发展的基础上,是一种科学归纳逻辑。从布尔到卡尔纳普,归纳逻辑实现了从经典形态向现代形态的演进,是一个归纳逻辑形式化、数学化的发展进程,但也面临着许多困难和挑战。实践主导的归纳逻辑代表了归纳逻辑新的发展方向,实现了归纳逻辑历史上的一次革命性的转变。实践转向突破了以往归纳逻辑研究注重纯逻辑理论的研究模式,把逻辑科学置于与之关联的其他学科领域之中,展现了逻辑科学本身的活力。实践转向为解决合取谬误、休谟问题等提供了有益的启示。  相似文献   

14.
辛提卡构造的认知逻辑系统所刻画的认知主体具有“逻辑全能”属性,即认知主体知道自身知识的所有逻辑后承同时知道逻辑系统的所有逻辑后承。霍克特认为这一属性表明辛提卡构造的认知逻辑系统不可能是逻辑;李金厚和蒋静坪认为逻辑全能问题是个伪问题。在这里认为逻辑全能问题是认知逻辑系统表达认知主体过于理想化,该问题的解决需要在逻辑可能与认知主体的认知可能之间寻找一个平衡点。  相似文献   

15.
蒯因的逻辑研究   总被引:1,自引:0,他引:1  
蒯因构造了两个公理简明,特性奇异的逻辑系统NF和ML;他既想给逻辑以经验论的说明,又欲维护逻辑在科学理论体系中的特殊地位,两者之间的平衡最后只能求助于方法论上的实用主义。因此,经验论加实用主义,这是对他的逻辑观的最恰当的概括。  相似文献   

16.
亚里士多德逻辑系统的形成依赖于特定的哲学的支配和指导,亚里士多德的哲学研究亦离不开其逻辑研究,但亚里士多德逻辑系统不是从亚里士多德的哲学研究中分离出来的。作为一门具体科学,亚里士多德逻辑系统是古典自然语言逻辑系统,它的元系统不可能从哲学研究中产生。事实上,在亚里士多德理论体系里,逻辑理论出现在前,哲学理论出现在后。  相似文献   

17.
逻辑究竟是一还是多,这是逻辑哲学上的一个重要问题。金岳霖认为逻辑系统可以是多,而逻辑只能是一。因此,从理论层面上看金岳霖是个一元论者,而从事实层面上讲他则是个多元论者。这种逻辑眼界对逻辑科学的发展有着极其重要的意义。  相似文献   

18.
自皮亚杰创立第一个心理逻辑系统以来,人们对该系统的学科性质看法不一。心理逻辑系统是一个逻辑系统,但其又不同于一般的逻辑系统。皮亚杰开拓了逻辑学与心理学的交叉领域,开辟了新的研究领域,促进了逻辑学与心理学的交叉融合,但由于对皮亚杰心理逻辑的评价和界定受到了逻辑学中心理主义和反心理主义的影响,因而,正确认识皮亚杰的心理逻辑系统需要我们正确认识逻辑学中的心理主义和反心理主义。  相似文献   

19.
一直以来,我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义.近年来,逻辑系统却越来越多地被用来研究理性行动者的很多方面.例如,如何接受单一的信息,多主体间的交流行为,以及更为一般的受目标驱动的主体间的互动.特别是,对观察和交流中的信息流的研究,大家使用所谓的知识更新、信念修正和偏好改变的动态认知逻辑.当新信息进来时,这些逻辑使用信息的"语义意义"作为被更新状态的选择范围.然而,同样重要的是,理性主体的行动也会基于其他信息,譬如,由推理和反省得剑的信息.对这些问题的研究实际上是对信息在更为语法的意义上进行理解的,即,把信息看作是可以由主体阐明的东西.也许有些奇怪,尽管在这一领域已经存在不少的研究方案,但是火家对什么是信息,信息的关键机制是什么等问题更少有一致的意见.可以看出,对"信息"的意义在逻辑中确实有很多不同的理解.本文基于可能世界的语义,给出一个一致的信息模型,同时也赋予可能世界语法的"可及通路".这样,我们就能把外部的"更新信息"和内部的"阐明信息"放在同一个动态逻辑系统中.特别是,我们提出了两个基本的信息行动:纯粹的基于观察的更新("单纯的看")和把不明显的知识变为明显知识的"知觉实现".我们阐明为什么这些行动是自然的,同时我们也提出了一些新的研究问题.其中,很多问题探讨如何使其他的逻辑传统,包括信念修正理论、情景语义学和弗协调逻辑等适用于信息一驱使的理性行动者的图景.  相似文献   

20.
一般认为,标准量子力学需要使用一套它自己的逻辑系统,即量子逻辑.量子逻辑采用与一般逻辑系统不同的语义规则,因此和古典逻辑无法兼容.此篇文章将呈现一套量子力学的严格形式基础,它是对古典二值逻辑之保守扩充;保守扩充意指比原先之逻辑系统强,但较强的原因为它有较多之词汇.此套逻辑为三值逻辑.古典逻辑中为真的句子仍然为真.古典逻辑中为假的句子将被区分为强性假与中性.第三个真值-中性-考虑了非本征态情况中之观察句.本文详列了物理的公理并显示它们具有一个模型.此提案的可行性说明了量子逻辑是不必要的,并且存在一个共同的逻辑架构可提供给数学、非量子物理及量子力学使用.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号