原始命题的逻辑学研究──兼论多因-果的逻辑推理

本文对公理系统中的原始命题进行了初步的探讨。原始命题之间的蕴涵是一种纯形式蕴涵，它与一般实质蕴涵的区别是，纯形式蕴涵具有非传递性，一般实质蕴涵则满足蕴涵传递律。公理系统中有限个原始命题推导出结论命题的过程，可以理解为多因一果的推理。这种推理需要对究竟依靠多少个原因命题作为前提，进行主观的选择。本文将多因-果同一因一果两种推理方法作了比较，并简单解释了以往认为欧氏第五公设不能被证明的原因。     

一种避免"蕴涵怪论"的可行方法

"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。     

论推理

本文对推理和推理形式作了考察，指出推理的基本要素是必然性、相干性和前提的无矛盾性，经典命题逻辑中的某些重言蕴涵式不是一般意义上的有效的推理形式。     

ETCS数学基础的语境分析意义

基于范畴论的语境特性,探索语境分析方法在数学基础研究中的实质功能。在对ETCS公理系统进行语境分析的过程中实现对ETCS的整体解读,把握ETCS公理系统的内在蕴涵,理解ETCS在当前数学哲学中的基础定位,进而揭示ETCS数学基础的语境分析意义。     

本质直观与形式直观

区分形式直观与本质直观是分析现象学的首要任务，这一区分基于这样的方法论原则：如果一种直观在一个命题蕴涵关系中表达的是前肢与后肢的谓词之间（它们的主词相同）的关系，那么，该直观是本质直观；如果其在一个命题蕴涵关系中表达是前肢与后肢的主词之间（它们的谓词相同）的关系，那么，它就是形式直观。具有蕴涵关系的两个本质之间具有本质必然性关系，而有本质的形式中的诸元素与该本质之间具有普遍必然性关系。     

试论实践推理的逻辑形式

实践推理是与人类行动密切相关的一种推理形式,然而关于它的逻辑结构是什么,到目前为止依然没有得到较好的处理。文章首先分析了已有的两种代表性方案,并指出其中的关键性缺陷。然后从人类行动的角度,分析了实践推理与能动性的关系,认为实践推理是能动性的一种集中体现。在此基础上,构造了带心智状态的极小能动性逻辑,并用这个逻辑来分析实践推理的逻辑结构。这种分析比以往方案的优势在于既能够揭示实践推理中前提和结论的某种逻辑关联,又有助于说明意向行动中的意向性因果。     

科学发现的本质及其逻辑机制的再发现

不管对科学发现进行语义分析，还是对科学发现活动本身进行历史探究，我们都会发现，科学发现除了具有社会、历史和心理上的属性外，它在本质上乃是新假说的产生、选择、修正、接受和解释的逻辑过程，其逻辑机制正是皮尔士与汉森等所倡导的溯因推理。而且，现代认知科学的新成果促进了溯因推理形式的不断完善，人们意识到在新假说产生与选择中背景理论与背景知识的重要作用，创新了溯因推理的推理形式，令人满意地回答了溯因推理何以能够以及如何能够成为科学发现的逻辑的问题。     

认知神经科学中神经层次的反向推理述介

近些年来,随着功能神经成像技术的广泛应用,认知神经科学家越来越多地运用反向推理策略来建立和评价各种认知假说。科学哲学家们在讨论反向推理的性质时多把反向推理当作演绎或归纳,企图从有效性和可靠性角度来分析反向推理的合理性。分析表明,这个做法是失败的。反向推理中演绎和归纳交织在一起,同时还要参照其他认识论价值标准,应当被理解成一种溯因推理。反向推理作为溯因推理不仅对形成新假说有启发作用,也能够以最佳解释推理的形式对竞争假说做出筛选。     

对李冶《测圆海镜》的新认识

和现在通行的看法相反，《测圆海镜》不是一本讨论天元术的书，与天元术有关的部分只是应用天元术以解勾股形罢了。其核心是其中的《识别杂记》部分，这里有完善的定义，完善合适的公理，丰富多彩的定理，已经建立了一个完善的公理系统，为我国数学开辟了一条公理推演的新路。     

论萨普对科学理论句法观的误解

通常将萨普的表述作为对科学理论句法观的标准理解,但对比卡尔纳普的原始表述,表明萨普的表述中存在诸多误解:一是认为句法观仅限于以一阶语言来重构科学理论,未指出句法观已将类型论与数学都囊括于其基本演算中;二是未指明"经验定律"就是重构后的科学理论"公理系统"中的"定理";三是对观察子演算及其形式语义的引入,误解了卡尔纳普在句法观中提出的经验语义解释及模型概念的本义。     

休谟问题组与浑沌理论

休谟问题是一组与因果性有关的问题，而归纳问题是派生的，休谟机智地区分了命题“同因同果”与命题“相似的原因导致相似的结果”，认为两之间没有严格推导关系。当代浑沌理论证明休谟的观点完全正确，浑沌运动并不违 反因果律，只对操作性困晨律施加了限制。     

数学知识的反个体主义透视

数学知识究竟是什么?仅仅诉诸数学家个人的头脑和内在禀赋难以解释其何以能够拥有看似抽象而又客观的数学知识。不管是将数学知识的内涵局限于被证明的命题,还是将数学知识重新诠释为命题间的蕴涵关系、进行数学推理的操作规则和程序以及思考和处理数学问题的技能等,最终均不得不考察数学家与其所处认知环境间的关系才能给出完整解释。可见数学知识无论内容和形式如何,均存在着一个不可或缺的环境维度,认知主体之所以能够拥有数学知识,在构成上依赖于其处于特定的物理环境和社会环境之中,此即"数学知识反个体主义"。     

弗雷格定理的再发现、证明及其哲学意义

弗雷格定理是弗雷格的研究者试图修正和重构弗雷格的不一致的逻辑－算术系统的结果。弗雷格定理表明，撇开弗雷格关于数的显式定义，从其系统中清除“外延”和“值域”的术语，直接从休谟原理出发，把它作为唯一的非逻辑公理加入到标准的二阶逻辑系统中，可得到一个一致的系统且二阶皮亚诺算术公理在此系统中是可证明的。本文讨论弗雷格定理的再发现和证明并以此反观弗雷格的逻辑主义，研究能否纯逻辑地回答数是什么这一问题。     

悖论的本质

悖论主要以“似是而非”和“似非而是”的形式出现。它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。最后介绍了构造悖论的一般方法。     

演绎推理心理学研究的新进展

许多认知心理学家认为，人天生有某种程度的演绎推理能力，推理是从感知、思维或判断中获得结论的思维过程。这个过程可能是推理者自觉产生，也可能是个无意识的过程，到底演绎推理的内部心理过程是如何的呢？这个问题，引起了逻辑学家、认知心理学家的极大兴趣，该文就演绎推理的主要类型关系推理、复合命题推理和范畴三段论推理对西方目前的研究进展作描述。     

结构主义的“超越”实在观

本文从唯物辩证法的角度，评介了索绪尔的语言系统模式，阿尔杜塞的理论实践观，德里达的消解结构论，论证所有的结构主义者都主张：世界上只有具体的语言系统、语言材料、语言行为和文字符号；“真实”只是一种转码、一种语言换位。早期结构主义是一种纯形式哲学，后期结构主义则成为一种真正的解释学。     

约翰·波洛克可废止推理观的省察

约翰·波洛克的可废止推理论在认识论视域下的推理研究中具有开创性意义。他的理论包含了三种不同的语义,体现了他在不同阶段的观点。其中,多重赋值语义旨在刻画命题的证成状态,但是,它在处理奇偶循环问题时会产生反直观结果;基于证成状态的循环语义是为了克服该反直观问题而提出的一种新标记语义,然而它并不完全适用于刻画命题的渐进式属性。为解决这一问题,基于证成度的循环语义被提出,它是以强度和证成度来表达命题的可信度。批判性地回顾和思考波洛克的理论成果,可以梳理其可废止推理观的演进,同时展示和讨论可废止推理研究中的一些重要问题。     

走向一种科学技术政治学理论－－评“西方马克思主义”关于科学技术政治效应的观点

本评述“西方马克思主义”关于科学技术的政治效应理论特别是法兰克福学派关于当代科学技术是一种新控制形式的观点。作指出,尽管“西方马克思主义”的这种理论存在种种不足，但是他们较深入地探讨了当代科学技术与政治之间的相互关系问题，提出一种独特的科学技术政治学的理论，这对于我们全面认识当代科学技术与政治的关系，充分发挥科学技术的正面政治作用，具有一定的参考价值。     

"本体论承诺"与科学知识不确定性的根源

科学知识是以假说的形式被提出并通过不断的经验证实成为科学理论而被接受的。科学假说是科学家把对世界的信念和看法用语言陈述的形式具体化了的命题。这种语言层面的命题表述,涉及把世界的本体实在翻译成有意义的概念,进行判断、推理形成科学理论的过程。由于世界本体实在的相对性及本体论的相对性,使得由此建立起来的科学假说具有相对性和不确定性,本体论的相对性构成科学知识不确定性的根源。奎因通过语言和逻辑的分析,把这一问题明确地表现出来并进行了具体和详尽的阐述。     

科学辩护的辩护:从人工智能中的溯因推理看

科学辩护是科学假说转化成科学原理的必经阶段,归纳法是科学辩护的基本模型。旧归纳之谜引出了科学辩护的合理性问题。溯因推理作为一种广义归纳法,同样遭到旧归纳之谜的质疑。除了科学发现功能,溯因推理还可以视为一种有效的科学辩护模型。人工智能中的溯因推理的辩护特征,充分表明归纳推理在方法论上的固有缺陷,尤其是科学确证中的证成问题。对科学辩护进行方法论上的保证,为科学辩护而辩护是十分必要的。