对归纳法职能评价的历史综述

对归纳法职能评价的历史综述苑成存如何看待和评价归纳祛的职能，这是自归纳逻辑产生以来西方哲学家、逻辑学家一直争论的一个问题。围绕着这个问题，人们的争论主要集中在两个方面，一是如何看待归纳法在科学理论发现中的作用，二是如何评价归纳法在科学理论检验中的作用...

统计归纳推理的加强形式浅析

统计归纳推理是归纳推理的主要形式,作为归纳推理,它是以一些统计数据或资料为前提,以概率演算为基础,由样本所含单位具有某属性的相对频率推出总体所含单位具有该属性的概率.

从培根到波普尔:经典归纳主义的兴败

本文从哲学史上一些代表人物对归纳法在科学研究活动中的作用的看法入手，在立足科学史和逻辑的基础上，明确指出：归纳法既没有资格充当科学发现方法或准则，也没有资格充当科学证明的方法或准则．

皮尔士的逻辑哲学思想述评

美国学者查尔士·皮尔士在逻辑哲学领域里的开创性贡献主要表现在四个方面:对逻辑学性质的看法;对概念、命题意义的把握;对推理的分类;对归纳法职能和种类的理解。这四个方面的思想都直接或间接地影响了逻辑学和逻辑哲学的现代发展。

一种可行的量化逻辑自然演绎系统

提出了一种较为可行的量化逻辑自然演绎系统 ,其中间接证明是这一系统的主要证明方法 ,而量词消去和置换规则是这一系统的基本演绎规则。

从“入世”及其承诺看我国高职教育的发展

加入WTO给我国高职教育既带来机遇 ,也带来挑战。在机遇和挑战面前 ,我们只有采取适当的策略才能抓住机遇 ,迎接挑战。

高校逻辑教材改革中应当正确处理的几个关系

高校逻辑教材改革中应当正确处理的几个关系苑成存我国高校的逻辑学教材改革取得一定成效。但在逻辑学教材改革过程中，也确实存在着一些不容忽视的问题，这些问题都与对以下几个关系的不当处理有着直接或间接的联系。一、传统逻辑和现代逻辑的关系从这十几年出版的逻辑学...

贝叶斯推理方法探讨

贝叶斯推理作为一种推理方法是从概率论中的贝叶斯定理扩充而来。经过扩充,贝叶斯定理仅由适用给事件测定概率变成也能给假说测定概率(可信度)的工具。但如何确定先验概率的数值是贝叶斯推理中一个很重要而又困难的问题,这个问题还有不同看法的争论,还未获得很好的解决。

从经典归纳主义的兴衰历程看归纳法职能的演变

经过休谟"归纳问题"的诘难和波普尔反归纳主义的冲击,经典归纳主义从兴盛逐渐走向衰落,与这一过程相伴随的则是人们对归纳法职能的看法发生了显著的变化。经典归纳主义从兴盛逐渐走向衰落的历史启示我们,决不能夸大归纳法在科学发现和证实中的作用,特别是不能夸大归纳法在科学发现中的作用。

逻辑理论中的语词定义类型探新

句法定义和语义定义是语词定义的两种重要类型,前者的作出无须假定关于相应系统的一种解释,也无须满足某些语言外条件(如可证实性),而后者的作出必须先假定关于相应系统的一种解释,也必须满足某些语言外条件(如可证实性)。

统计命题的证实与证伪

统计命题的证实与证伪苑成存统计命题的证实与证伪是人们在日常生活和工作中经常碰到的一个问题，比如某化学制药厂生产出一种新型药，在广告中厂家宣称此种药的痊愈率为７０％。这个广告是否可信呢？显然这涉及到对统计命题（某种药的痊愈率为７０％）的证实或证伪。再如...

转换或扩展思维视角:思维创新的重要途径

要实现思维创新,必须突破思维定势的束缚。而突破思维定势束缚的最好办法,就是转换或扩展思维视角。转换或扩展思维视角的途径主要有:改变万事顺着想的思路、把直接变为间接、转换问题、超越当下、逻辑导引。

统计归纳推理的类型浅探

估计、假设检验和贝叶斯推理是统计归纳推理的三种形式。估计是由样本的有关信息推出具有某种性质的个体在总体中所占的比率;假设检验是运用有关样本的信息对统计假说(具有某种性质的个体在总体中所占的比率)进行否定或不否定;贝叶斯推理则不仅要根据当前样本所观察到的信息,而且还要考虑推理者过去所积累的有关背景知识。

统计命题的检验及其逻辑分析

统计命题的检验有否定和不否定两种情形,在否定情形中,我们以较高概率否定一个统计命题H;在不否定情形中,我们一般以较高概率肯定一个包括H为其组成部分之一的扩散型统计命题DH。贯穿在统计命题检验过程中的推理既有演绎环节,也有归纳因素。

也谈充分条件和必要条件的定义

假言命题是人们在实际生活中应用得比较广泛的一种思维形式,在逻辑学中占有十分重要的地位.由于假言命题是断定事物情况之间的条件关系的命题,因此,对假言命题来说,条件是最重要的,为了准确地把握一个假言命题的逻辑意义,必须首先弄清它所反映的条件的性质.在逻辑教科书中,各种条件的性质主要是通过充分条件、必要条件和充分必要条件的定义来体现的.但是我们要看到,在充分条件和必要条件的定义上,逻辑教科书的作者们是理解不一的,有些人(我们称为甲方)认为:

简析直言模态命题间的真假关系及其推理

所谓直言模态命题是指以传统的直言命题A、E、I、O为基础,加上模态词“必然”(□)或“可能”(◇)之后所形成的下面八种命题□SAP□ SEP□ SIP□ SOP◇SAP ◇SEP ◇SIP ◇SOP在上面八种命题中,彼此间也存在着同传统直言命题对当关系相类似的真假制约关系.为了便于记忆,我们可用下面的图形显示出来□SAP □SEP□SIP □SOP◇SAP ◇SEP◇SIP ◇SOP这一图形所显示的对当关系及其有效推理式可概括为以下四类:一、矛盾关系及其推理在八种直言模态命题中,具有矛盾关系的有如下四组:□SAP与◇SOP□SEP与◇SIP□SIP与◇SEP□SOP与◇SAP存在矛盾关系的两个命题,不能同真,

区间估计——一种值得提倡的统计推理

作为一种统计推理,无论是求概率值的区间值带是求平均数的自估计,一般在经过三个步骤之后,往往就能得出比较可靠的结论.