现当代多值逻辑的主要技术成果和语义哲学基础

多值逻辑是取三个以上真值的非经典逻辑,寻找可靠的哲学基础和语义解释是多值逻辑研究的重要课题。随着多值逻辑研究成果的日益丰富,有些逻辑哲学问题可以得到澄清,而有些新问题逐渐显现出来。本文在对多值逻辑现当代主要研究成果给以整理的基础上,将对多值逻辑的语义解释困难和哲学基础问题进行分析。在分析中得出这样的结论:多值逻辑难以找到普遍适用的语义解释,但是可以有完美的局部解释,这种情况与经典逻辑类似,因此多值逻辑与经典逻辑一样有哲学基础。     

从必然性退却--波普的无逻辑可能世界

卡尔·波普的科学知识增长理念之所以坠入无逻辑可能世界 ,其原因是因为他过分强调了正确推理之真前提与真结论之间联系的必然性 ,这导致他否定归纳逻辑在科学发现中的价值。同时他又认为科学发现不能从演绎逻辑推出 ,因而在波普所谓的科学发现的可能世界中既没有归纳逻辑也没有演绎逻辑 ,而仅仅是猜测     

归纳逻辑三题简析

本文考察了归纳逻辑中流传的一些错误观念，试图澄清以下观念。第一，认为归纳推理(论证)是从特殊到一般的推理的看法是不正确的。第二，有人认为演绎逻辑与归纳逻辑的区别在于它们有不同的推理类型；而我们认为，它们的区别在于其评价标准不同。第三，认为假说是归纳逻辑本身固有的观点也是不正确的。     

归纳逻辑研究述评

本文首先对国外卡尔纳普、波普尔、欣迪卡、莱维与赖兴巴赫等的归纳逻辑研究和国内鞠实儿、陈克艰、李小五、熊立文、陈晓平与刘壮虎等的归纳逻辑研究进行了述评,接着就归纳逻辑是否逻辑的两种争论进行了述评。作者认为,虽然归纳逻辑的基础理论研究似乎已经走入低谷,但其应用研究却方兴未艾。     

关于归纳逻辑的若干问题——对现代归纳逻辑的回顾与展望

本通过从现代归纳逻辑的诸多问题中选出休谟问题、经验主义概率归纳逻辑、逻辑主义概率归纳逻辑、主观主义概率归纳逻辑、贝叶斯定理、无差别原则、相关变项法、非帕斯卡概率归纳逻辑、局部归纳逻辑与整体归纳逻辑等九个问题加以讨论,展示出现代归纳逻辑的发展脉络及其前景。笔认为,局部归纳逻辑在很大程度上是绕过谟问题以及其他一些疑难问题的,因而尽管它对于现代归纳逻辑的发展起了相当大的促进作用,但是过于宽泛的局部化     

关于逻辑和逻辑现代化的几个问题——评唯演绎主义

我国的五次逻辑论争表明逻辑学科本身还有不够规范和完善之处，其局限性和实效性之薄弱又难以适应当代高新科技的发展和文化的需求。逻辑学要改进、变革和发展。若仍以唯演绎主义看待逻辑和逻辑现代化则是不合时宜的。     

悖论的本质

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

论归纳逻辑的性质和功能

演绎符号逻辑公理体系和数学概率论公理体系的建立鼓舞着许多哲学家构想出了多种多样的归纳逻辑体系。哲学家们关心发展归纳逻辑目的有二:一是为生活和科学研究提供不充分置信推理理论,二是让归纳逻辑为人类信念理性化提供根据。而且哲学家们对后者更感兴趣。若能达到这一目的,人类就能由归纳解决休谟问题,即由归纳证明人类知识具有稳固基     

复合谓词的逻辑系统

有两类不同的谓词：性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词,构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。...     

认知型归纳逻辑系统

认知型归纳逻辑是认知型归纳推理的逻辑理论。它能更好地适应经验科学发现、科学论证、机器学习程序设计和管理决策等多方面需要。这里给出的认知型归纳逻辑系统CILA是一个具有认知作用又具有逻辑合理性的公理系统。...     

命题构成与弗雷格式涵义

结构化命题和对结构化命题的自然化解释,是当前哲学界主流的命题理论。根据这种理论,命题是具有组分和结构的复合实体,其表征能力应该诉诸人的语言和认知活动来得到解释。然而,自然化进路并不能解决结构化命题的统合问题,反而引起更多的困难,因而不能成立。有些哲学家提出结构化命题的命题构成问题,试图拒斥包括整分论进路在内的所有结构化命题。但是,利用弗雷格的涵义(思想)我们可以避免和回应这些批评,从而在简单命题和结构化命题之间取得某种结合。     

古典命题演算的直觉主义语义分析

本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节l把通常的直觉主义命题逻辑的克里普克关系语义推广为T—框架语义,为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。     

走出逻辑的雾区

有人认为,传统逻辑发展到今天,已经没有什么可研究的了。其实,在人们自以为已熟悉得不能再熟悉的那片逻辑领地,至今仍存在着许多雾区,本文试举出几处,以期与同人共同探讨。     

环境伦理的建构逻辑

环境伦理作为人与自然关系和谐的伦理支点,其建构逻辑是环境伦理之所以能够存在的前提基础,它揭示了环境伦理作为一种哲学范式存在的可能性和必要性。通过对环境伦理的理论前提、环境伦理的本质规定、环境伦理的内在根据三方面剖析,试图为环境伦理建构逻辑的合理性提供运思路径。     

缺省论证的逻辑分析

单调的传统逻辑不能很好地处理常常出现在现实问题领域中的三类情况,即不完全的信息、不断变化的情况、以及求解复杂问题过程中生成的假设,缺省论证的逻辑正是适应这种需要而产生的.当一个论证是演绎的,惟一可能的攻击是它的前提,而缺省论证则不同,即使它的所有前提都被接受,它也能被攻击.缺省论证能用论证博弈的对话论辩形式来陈述,一个论证是否证明有效能在正方与反方间的论证博弈中检验.     

三思“逻辑真”

研究逻辑哲学,离不开“逻辑真”。对于“逻辑真”,笔者曾两次撰文[1][2]陈述了看法。现在,本文拟以逻辑的研究对象为视角,对这一问题再谈一些看法,以就教于同仁。...     

普特南对逻辑实证主义的批判

意义概念和合理性概念是逻辑实证主义学派的核心概念。逻辑实证主义者提出了意义的证实理论,并且试图将这样的理论运用于心灵哲学之中,他们还试图将合理性概念做理论化的处理。普特南指出逻辑实证主义者误用了意义的概念,没有认真地考察、研究语义学,忽略了意义概念的日常习惯用法。普特南认为逻辑实证主义重新解释科学的倾向恰恰是逻辑实证主义运动出现失误的根源。他们对于合理性概念的处理也陷入了形而上学的泥沼之中,是一种自相反驳的方法。这样的分析是一种深刻的洞见。     

论科学理论的局部合理性

科学理论由科学理论1和科学理论2两部分组成，科学理论1探讨同类自然现象间的一般规律，科学理论2探讨不同自然现象间的普遍规律。任何一种合理性都相关于我们人类的背景知识，科学理论的合理性也不例外。科学理论整体上的合理性在逻辑学内得不到保证，但科学理论的局部合理性是存在的。