归纳逻辑与认识论

认识论是西方古典归纳逻辑的理论基础。在逻辑史上不论是归纳派还是反归纳派,他们的逻辑思想和认识论都是紧密联系的。现代归纳逻辑把概率方法引进来,极大地推动了归纳逻辑的发展,但从认识论的角度看,概率演算再精确,改变不了它为之服务的归纳逻辑具有概然性的特征,但可提高其概然度即可靠性。     

帕斯卡概率解释的恰当性与可应用性——现代归纳逻辑的哲学探讨

帕斯卡概率解释主要有逻辑解释、主观解释、频率解释、性向解释以及主体交互解释五种。与逻辑解释相比较而言,主观解释和它的衍生物主体交互解释是更为有效的认识论解释;而与频率解释相比较而言,性向解释是当前可利用的更为有效的客观解释。由于在自然科学中要找到一系列独立的可重复条件是可能的,因而一般说来客观解释适用于自然科学;而在社会科学中任何事件的独立重复都是不可能的。因而认识论解释适用于社会科学。     

论主观概率判断中的基础概率谬误

"基础概率谬误"是人们在进行主观概率判断时倾向于使用具体信息而忽略掉一般信息的现象。它可以解释很多情况下人们所做的主观概率判断和决策。它的提出使得人们不得不重新思考以贝叶斯定理为基础的决策理论的规范性研究方案,继而开始了决策理论的描述性研究,并提出了支持理论等重要理论成果。关于基础概率谬误产生的认知策略,主要有代表性启发策略、相关性原则、非因果基础概率原则等解释。但是,基础概率谬误并不就真的是"谬误",有时候这还是一种合理的决策方式。     

培根归纳主义中的非—P概率思想探究

长期以来大部分学者对培根归纳思想的研究主要定格在他的归纳法与亚里士多德的"三段论"对比研究上,而很少涉及培根归纳概率思想的研究。文章旨在:一、澄清培根的归纳法为不确定性推理留下了空间;二、在排除归纳法的逻辑结构上,穆勒的归纳逻辑工具是不恰当的;三、培根归纳法的不确定性推理思想更适合用柯恩的非—P概率工具来刻画。     

不确定性下决策理论的发展:主观概率研究综述

随着经济学对不确定性的分析和认识的不断加深,主观概率理论逐步发展起来.这个过程不仅反映了经济学对现实世界的分析和解释力,同时也是经济学现代发展的一个重要方向.在对不确定性的分析中,主观概率起着至关重要的作用.对于主观概率的研究,在不同历史阶段,不同的经济学家有着不同的认识.本文拟对主观概率理论的发展过程作一个综述,以期能够勾勒出该理论的发展脉络,并以此为基础,对主观概率理论的发展前景和趋势做出评述.     

提倡和加强逻辑应用研究

逻辑学是一门基础理论学科,同时又是一门有较强应用性的工具学科.从古希腊亚里士多德创建传统形式逻辑起,到近代英国弗兰西斯·培根建立古典归纳逻辑,从19世纪中叶以后数理逻辑的诞生,到非标准逻辑和概率逻辑的发展,有一个共同的特点,就是在建立逻辑理论系统的同     

法律人工智能概率推理的困境与破解

概率方法是一种允许在不确定情况下进行证据推理的数学模型,具有计算可靠性和完备性的形式化基础。然而,概率推理在建模过程中存在两大困境,即概率数值从何而来以及如何解决证据聚合难题。贝叶斯概率和富兰克林原则为数值难题提供了破解之道。贝叶斯概率充分融合客观概率和主观概率,为它们提供统一框架,解决概率数值的评估分歧。富兰克林的一般性原则确保适当参考类的理性选择,解决数值难题的客观概率赋值。基于概率理论的贝叶斯公式具备一致性和规范性,借助严格的形式化概率推论可以消解证据聚合难题。通过对两大困境的回应和破解,表明概率方法是计算不确定性推理的可靠工具,为面向法律人工智能的证据推理模型提供了理论支持。     

中国逻辑史比较研究之反思

本文立足百余年来中国逻辑史比较研究的现状,对比较研究中存在的不足进行了反思,从比较的对象、比较的内容、比较的文化视野、比较研究中的训诂问题、比较研究的方法问题等方面提出了一些基本的看法.主张以非形式逻辑作为方法研究中国古代的逻辑理论和思想,倡导加强逻辑与文化之间的互动研究,认为应该把中国古代的逻辑理论与思想同亚里士多的逻辑思想中的非形式逻辑部分进行比较研究;在比较研究的过程中,应该加强对古书的正确训释,以免随心所欲的比较研究.     

金岳霖的逻辑一元论思想探析

在莱布尼兹（G·W·Leibniz）的“理想语言计划”的指引下，逻辑学发展至弗雷格（G·Frege）已建立起一个初步自足的逻辑演算系统。其后，逻辑学家们致力于进一步发展和完善经典逻辑。罗素（B·Russell）、怀特海（A·N·Whitehead）对经典演算语法的研究，塔尔斯基（A·Tarski）和哥德尔（K·Godel）所作的元逻辑问题探讨，使经典逻辑系统进一步得到改进和完善。然而，由于数学基础研究的促动和对经典逻辑的哲学批判，导致了一些非经典逻辑系统，如模态逻辑、直觉主义逻辑、多值逻辑等等相继被建立起来。现代逻辑系统的这种复杂性，…     

试论罗素的摹状词理论

罗素最早在《论指称》一文中提出了他关于摹状词的几乎全部基本思想,继而在《数学原理》中对其给以形式化处理,纳入其逻辑演算系统之中,并在《数理哲学导论》等书中多次重述.对此,人们大多从罗素所使用的逻辑分析方法以及这一理论在分析哲学中的影响的角度给以赞许.殊不知,罗素的论证过程潜在地存在某些问题,对于一种新理论的建构这可以说是致命的.但并没有谁较为完整的指出这些问题,笔者试图将其指出来.     

普赖斯特的非存在论辩护策略

为了理解存在,我们不得不理解非存在.普赖斯特结合意向性理论为非存在论进行了有力的辩护,运用逻辑工具创造性地探讨了具有意向算子和意向谓词的语义学理论,为非存在论找到了逻辑基础.虚构对象、抽象对象和世界是三类主要的非存在对象,也是意向对象,普赖斯特运用意向算子语义学和意向谓词语义学的逻辑理论对它们逐一进行了论述,并提出了多重指谓逻辑策略.     

现代逻辑关于辩证思维现象的思考

思考现代逻辑对辩证思维现象的刻画是涉及多门学科的工作,对此,辩证逻辑研究几十年来产生了各种各样的探索进路。我们选择对标注逻辑、动态逻辑以及哲思逻辑等现代逻辑分支关注的辩证思维现象进行考量。然后,从辩证思维现象的个案个例出发,采用语言逻辑分析自然语言句法语义的方法——组合范畴语法CCG融合λ-演算或投射话语表述理论PDRT等工具,对典型的辩证思维例句进行解析推演,彰显其中的矛盾思想和动态思想,从而尝试开启辩证逻辑研究的新思路。     

当代归纳逻辑的认识论问题

当代归纳逻辑最重要的认识论问题是归纳概率的认识论阐释问题。主要阐释有逻辑阐释、频率阐释、性向阐释和主观贝耶斯阐释。主观贝耶斯阐释因大弃赌定理可为其合理性辩护而占主导地位,但这种阐释目前不仅遭遇到对大弃赌论证本身的质疑,而且面临着它所致力的确证事业中的测度敏感性难题与旧证据难题。概率阐释的新趋向是回归客观主义。     

金岳霖逻辑思想研究

本文主要对金岳霖先生20世纪20—40年代逻辑思想进行较全面的研究。金岳霖对传统逻辑进行了创造性的介绍和深刻的批评;对罗素、怀特海《数学原理》的逻辑演算作了全面介绍;另外金先生深入思考逻辑哲学问题,精辟而系统讨论逻辑演算,在我国最早讨论了逻辑的完全性、一致性和独立性。金先生堪称我国现代逻辑和逻辑哲学的奠基人。     

有限认识与合乎理性的错误——刑事司法裁判概率性错误的成因分析

刑事司法实践中,由法官认定的司法裁判事实属于社会认知背景下的事实,经验认知的成分始终无法回避,而经验认知是有限认识,没有办法保证判断当时的认知绝对不会出错.因此,法官裁判认定的事实在实体上始终有产生概率性错误的可能性,这种可能性因为案件叙事建构的偏离、证据体系的缺陷以及逻辑推演的盖然性,而与司法过程相伴而生.明确法官形成裁判事实的过程和裁判事实存在概率性错误的合理性,即错案客观上无法绝对避免,对于有效控制刑事错案、树立科学的错案预防理念实属必要.     

论莱布尼茨的数理逻辑成就及成因

莱布尼茨是数理逻辑的奠基者和创始人,他提出了建立理性演算和一套普遍科学语言的设想,构造了关于两个概念相结合的演算,并成功地将命题形式表达为符号公式。莱布尼茨取得这些成就绝非偶然,首先传统逻辑为数理逻辑打下了基础;其次,近代数学的发展和莱布尼茨一以贯之的理性演算思想也直接促进了数理逻辑的形成;最后,莱布尼茨的数理逻辑思想是为他的认识论服务的。莱布尼茨将逻辑数学化和对思维进行推演的设想对后世有着极其重要的意义。     

亚里斯多德模态逻辑的形式系统及其模态悖论

亚里士多德的模态逻辑尽管十分复杂、充满争议,但尽可能运用现代逻辑的工具来构建亚氏模态逻辑的体系,不仅可能重现亚氏逻辑的辉煌,也可能甄别出其中的某些错讹.从联合演算出发构建的亚氏模态逻辑系统在很大程度上反映了亚氏模态逻辑的严谨性,但也暴露出它的局部的模态悖论.我们可以剔除造成悖论的内容,使亚氏模态体系更加严密;也可以考虑探索亚氏模态逻辑的本真思想,发展一种不完全等同于现代逻辑的内涵式的新的逻辑类型.     

贝叶斯网络模型对风险因素的分析

风险是一种不确定性后果发生的可能性,风险的不确定性来源于世界图景的非决定性、技术理性的局限性、主体认知的有限性以及研究程序的逻辑倒置等。贝叶斯网络模型作为因果性和随机性结合的模型,可以排除风险中的不相关因素,而且能够通过概率值的变化来表示风险发生的支持概率。     

国外非单调道义逻辑研究探析

受人工智能理论的启发,结合非单调推理建立非单调道义逻辑系统成为道义逻辑研究的新趋势.通过对国外两种主要类型的非单调道义系统进行分析与比较,进而从三个方面界定了冲突义务与可替代义务之间的辩证关系,并提出道义分离规则应作为可废止性规则使用的观点,这更有利于建立面向实践领域的道义系统,从而为非单调道义逻辑研究提供了新的视角.     

一本富有启发性的逻辑学著作——《实用符号逻辑》评介

茹季札先生所著的《实用符号逻辑》一书,已由西北大学出版社出版了。全书共五章四十节,约23万言。该书对“概念和类演算”、“命题”、“命题逻辑”、“量词逻辑”、“模态逻辑与量词推理”等逻辑理论作了充分而深入的论证与浅显而科学的阐释,是近年问世的逻辑论著中颇有特色和富有启发性的一本著作。 首先,在使用价值上,《实用符号逻辑》具有实用性。它便于读者学,也便于学后用。在论述中,作者从日常生活和工作