浅析波普尔的证伪主义——波普尔对“分界问题”与“归纳问题”的解决

证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的。证伪原则既是波普尔解决"分界问题"与"归纳问题"的关键,也是他的科学认识论与方法论的基础。波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难。

数理逻辑中的归纳定义和归纳证明

运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质。归纳集所具有的这种封闭性质,就是数学归纳法原理。它是一前件真而后件不能假的蕴涵命题,因此归纳证明实际是通过证明它的前件(奠基和归纳两步)真,从而证明后件(归纳命题)必然真的演绎证明。

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质。

论塔斯基的语义性真概念

塔斯基将真理概念定义为:在对象语言O中一闭语句是真的,当且仅当,它被所有的对象序列所满足。该定义的含义是,如果将该闭语句分解成开语句后,其中的自由变元能被某些对象序列所满足,则再将开语句合成为闭语句,其闭语句就被所有序列所满足,于是可断定该语句是真的。塔斯基的语义性真理定义既保留了亚里士多德古老真理定义的直观含义,又避免了在语义封闭的语言中导致悖论。其定义既成为经典逻辑的语义学基础,广泛应用与能用一阶语言所表达的科学领域中的句子集中,同时定义本身也是运用一阶逻辑对概念进行分析的典范。

关系命题的语形和语义——一个逻辑分析的实例

当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。

本质主义与反本质主义

在哲学逻辑中,关于单一指称这个涉及语义性质的问题曾被广泛地讨论犤1犦。作为讨论的结果,持不同意见者被划分为两个阵营———本质主义和反本质主义。本文从哲学史上对这个问题的已有研究出发,重新思考指称的本质,并尝试着给出作者本人对指称本质的理解。

论在不同逻辑系统中的排中律

作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性。作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一。

论推理的有效性

推理或推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化 ,推理形式的不同类型构成了不同的逻辑系统 ,有效性概念相对于不同的系统而言 ,具有相对性和层次性。同时 ,系统内的有效性又分为语形有效性与语义有效性 ,它们分别可由形式证明的方法和语义解释的方法加以判定。

存在概念的逻辑分析

:“存在”概念有两义 ,称之为B1和B2 ,它们代表了哲学家两种不同的本体论立场。存在集B2是一个具有不同层次子集的命题函项E(Mn(x) ) ,这些不同层次的子集Mn(x)构成了函项E的不同取值范围或不同的定义域。某物是否存在的问题 ,实际上是某物在何种定义域中存在的问题 ,因而避免了在定义域不确立或非单一情况下 。

论金岳霖的逻辑观

金岳霖站在现代逻辑学科的前沿 ,提出逻辑的实质是穷尽所有可能的必然命题 ,逻辑系统是研究逻辑的工具 ,各逻辑系统的不同 ,不是实质的不同 ,而是表达实质的具体工具不同。实质上各系统都是在一定范围内对可能的穷尽 ,而由于或者是推论的工具的不同如实质蕴涵与严格蕴涵 ,或者是表示可能 (即命题 )的工具的不同如二值与多值等 ,导致了不同的逻辑系统。金岳霖还从逻辑的实质和工具两方面对“必然”、“推论”、“同一、排中、矛盾思维三原则”等基本概念作了深入的阐述。

弗雷格的真值函项理论

本文就G·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而用以分析命题的逻辑结构，并用以重建谓词公式的真值函项理论作一简要阐述和分析。

试论赖欣巴哈的意义理论

意义和意义理论是当代许多哲学派别和哲学家从事哲学研究时不可或缺的部分。赖欣巴哈从对意义的概念分析入手 ,对意义理论进行了细致的分析研究 ,指出了逻辑实证主义的真理的意义理论的证实原则所遇到的困难。为克服其困难 ,他将自己的概率理论运用于意义理论提出了概率的意义理论 ,使实证主义的意义理论得以进一步发展。对意义理论的发展和研究都具有重要价值。

论逻辑的有效性及其判定

推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。

规范逻辑简论

规范罗辑是在经典命题逻辑基础上增加了"应当"、"允许"、"禁止"等规范楼态词所构成的非标准逻辑，其规范命题形式的逻辑性质除了具有真值性外还具有合理性问题。由于对其合理性的不同理解，又构成了不同的规范逻辑系统，如根据规范模态词在不同的规范可能世界中不同的逻辑关系．形成了DT、DS4、DS5等系统；根据规范模态词既绝对又相对的性质，形成了一元（绝对）、二元（相对、等系统。规范逻辑就是运用公理方法或模型方法研究规定命题形式语法或语又有效性的形式系统。

试论MBA的逻辑考试与我国的逻辑教学

MBA的逻辑考试是对考生逻辑思维能力的测试。它重归纳而轻演绎 ,重语义而轻形式 ,不假定考生有专门的逻辑知识 ,这都与我国高校普通逻辑的教学要求不同。如何处理好掌握逻辑知识与提高逻辑思维能力的关系 ,这是MBA逻辑考试向我们逻辑教学提出的挑战 ,值得我们去研究和探讨。

基于PEL模型的管理制度评价思考

随着社会关系的变革速度的加快,管理制度创新成为一种趋势。对新的管理制度进行一定的评价是必要的。高奇在《科学方法实践》中提出的PEL模型,是提供所需要的预设、证据和逻辑去支持一个给定的科学结论的科学证明模型,也是对科学理论进行评价的模型。本文尝试将这一模型运用于管理评价中,分别从管理预设、管理中的制度以及管理论证中的逻辑三个方面对管理制度的科学性评价进行研究。

“警察”一词的逻辑分析

警察是什么?对这一问题有很多不同的回答．但归纳起来有以下三种类型：

哥德尔不完全性定理和“心灵与机器”的关系问题

一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。