浅析卡尔·波普尔的证伪主义

波普尔认为:现代自然科学革命表明,科学的精神是批判,也就是不断推翻旧理论,不断作出新发现,而科学发现是理性的活动,无需经验的参与。这就是说,科学就是理性不断作出的假说,而这假说不断遭到批判,即被证伪。因此,他提出科学和非科学的“划界标准”不是逻辑实证主义的“可证实性”判据,而应当是他所谓的“可证伪性”判据。进而提出“可证实性”判据不仅不合理,而且不可能,因为他的工具即归纳法是无效的。一、归纳主义的起源及发展归纳主义起源于英国,从培根到罗素,后来又被逻辑实证主义所继承,长期以来统治着西方科学哲学界。弗兰西斯·培根…     

周文斌：破除不利于创新的障碍

中华民族是一个有着伟大创新精神和创造能力的民族。遗憾的是，由于长期的封建统治，中国并未能形成尊重人才、尊重创造的科学传统和促进科技进步的合理机制，这正是我国科学技术由兴盛走向衰落的根本原因。     

浅谈“五四”文学中的个性主义

个性主义在“五四”文学中占有十分重要的位置。作为一种社会思潮，个性主义曾影响了整整一代青年，唤醒了一代青年对自我价值和自我欲求的肯定和追求。但由于许多原因，个性主义在三十年代却逐渐走向衰落。文章拟对“五四”文学中的个性主义加以较为全面的分析，从而使人们能够比较清楚地了解那一段历史，继承“五四”，超越“五四”     

从爱因斯坦的研究方法看现代科学理论的发现模式

爱因斯坦研究方法所开创的假设———演绎主义科学理论发现模式,克服了归纳主义发现模式的弊端和归纳———演绎主义、天赋观念———演绎主义发现模式的缺陷,并以其较完整的形式和卓有成效的研究令人信服 ,为现代科学理论的发现提供了一个成功的模式。     

化学新课程教学中的归纳法

归纳法是一种科学的教学方法,在教学中应用归纳法应进行优化的选择。归纳法教学的主要方式有:分类归纳法、列表归纳法、提纲归纳法、题型归纳法4种等。     

战略过载、战略透支与大国的衰落

<正>国家的兴衰之谜一直都是中外学者不倦探索的议题。人们所关注的一个疑问是,在很多领域都占有优势的大国,为何会从权力的巅峰走向衰落。问题的答案莫衷一是。尤其是在当前,关于美国是否正在走向衰落已成为学界讨论的热点话题。对此,人们的观点亦不尽相同。从战略上讲,一个适应国情、执行有力的战略往往能够为国家的崛起与兴盛提供有力的支撑。相反,战略     

最小数原理——数学归纳法的理论依据

归纳法和演绎法都是重要的数学方法,归纳法中完全归纳法和演绎法都是逻辑方法;不完全归纳法是非逻辑方法。只适用于数学发现思维,不适用数学严格证明。高中阶段学习的数学归纳法,是一种递归推理,是科学归纳法在数学中的应用与体现。数学归纳法是论证关于自然数的无限多个命题的重要方法,它的正确性源于自然数的归纳公理或最小数原理。     

罗素论归纳问题

归纳问题是罗素哲学中一个十分重要的问题.罗素对归纳问题的合理性的逻辑解决方案分前后两个时期.前期印"归纳法原则",后期即非证明推理的"科学推理的公设"学说.尽管罗素没有解决归纳问题,其学说在哲学上却有重要影响.罗素提出的归纳问题合理性在逻辑学范围提供根据是不可能的观点,对最终从其他角度去解决归纳问题,无疑是一大不可磨灭的贡献.     

归纳、猜想与数学归纳法的证明

归纳、猜想与证明这类题目对培养学生的创造性思维,具有很好的训练作用。这类题型是:第一步给出命题(与自然数有关)的结构;第二步要求学生计算出最初的三个至四个初始值;第三步要求学生通过已计算出的初始值,应用不完全归纳法,发现其命题的一般性规律,作出科学的猜想和判断——敢于猜想,善于猜想,最后用数学归纳法对所作的猜想——般性结论,作出完整科学的证明。     

社会转型时期的数量崇拜现象评析

科学评价标准是定性评价与定量评价的统一。然而，现行的评价标准却一再向数量化倾斜，甚至达到了对数量化的崇拜。数量崇拜的症结是对质的疏远，对质的漠视，其谱系根源是科学主义、物质主义和现实主义，与此相伴的必然结果是理想主义的衰落和虚无主义的兴盛。因此，克服数量紫拜的对策只能是以对立面制衡对立面，即用理想主义、人文主义和定性评价来制衡现实主义、科学主义和数量主义的横冲直撞。在大力倡导和落实科学发展观的今天，如何同时建立起具有科学发展观的评价标准，对我国的社会主义建设具有重大实践意义。     

归纳法在探索物理规律中的应用

归纳法是由个别或特殊推到一般的方法,可分为完全归纳法和不完全归纳法,在探索物理规律中,常用的是后者。通过列举出某类物理事物的对象具有某种性质或规律,并分析出制约此性质或规律的根本原因,从而推出这一类物理事物具有这种性质或规律的结论。归纳法在探索物理规律中有很重要的地位。文章通过举例对归纳法在探索物理规律中的应用进行试探性的研究,并总结一般应用的步骤。     

归纳逻辑视野下的数据挖掘研究综述

对归纳逻辑思想在数据挖掘中的应用研究进行了综述。国外的研究主要集中在人工智能方面,重点是高阶归纳逻辑研究,通过多态归纳逻辑、机器学习等方面发展了归纳逻辑理论。国内的研究集中在知识发现方面,例如通过研究关联规则等探讨知识发现的内在机理。相对来说,国外的发展更偏重于应用领域,而国内也在不断扩展归纳逻辑的理论应用,但在数据挖掘领域研究仍然偏少。     

归纳程序在数学发现中的作用

数学是逻辑程序与归纳程序的辩证统一，书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。从信息加工角度分析了归纳的意义、数学发现的过程及归纳程序的数学发现中的作用。     

机器故障诊断模糊分类规则的归纳学习

机器状态的有效监控是机器安全运行,提高系统生产效率的重要途径,由于环境的复杂性与不确定性,现有机器故障诊断系统的可靠性还不能满足应用要求,为此近来年发展了模糊诊断技术,对于模糊系统而言,其关键问题在于如何获得解决具体问题的模糊知识或规则,为此提出了一种被称为模糊归纳学习的学习方法,并利用模糊信息熵概念建立了从不确定信息数据中归纳模糊规则的学习准则,实验结果表明,利用所提出的模糊归纳学习方法所获得的模糊规则能不确定怀数据进行有效分类,从而能有效地提高机器故障诊断系统的与可靠性。     

罗素论归纳问题

归纳问题是罗素哲学中一个十分重要的问题。罗素对归纳问题的合理性的逻辑解决方案分前后两个时期。前期即“归纳法原则”,后期即非证明推理的“科学推理的公设”学说。尽管罗素没有解决归纳问题,其学说在哲学上却有重要影响。罗素提出的归纳问题合理性在逻辑学范围提供根据是不可能的观点,对最终从其他角度去解决归纳问题,无疑是一大不可磨灭的贡献。     

有序集的一般归纳原理和连续归纳法

证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。     

用构造基证明归纳定理

在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。     

Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant

To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi- algebraic dynamical systems, we first establish a formal framework for evaluating the quality of continuous inductive conditions. In addition, we propose a new complete and computable inductive condition for verifying the safety of semi-algebraic dynamical systems. Compared with the existing complete and computable inductive condition, this new inductive condition can be easily adapted to achieve a set of sufficient inductive conditions with different level of conservativeness and computational complexity, which provides us with a means to trade off between the verification power and complexity. These inductive conditions can be solved by quantifier elimination and SMT solvers.     

感性绕组直流电阻快速测试仪的研制

提出了一种动态测量感性绕组直流电阻的新方法,该方法通过采样被测绕组充电过程中电压、电流信号,借助于V／V、I／V转换、自动程控放大器A1,A2、采样保持器S／H、多路切换开关MPX、模数转换器A／D、单片机等器件,实现了快速测量感性绕组直流电阻的目的。该法对测试电路电源、外串电阻要求不高且不需要预先测量被测绕组的电感量,一次即可完成直流电阻的测量。直流电阻表达式中,不含微分项,简化了要求,从而易实现,易编程,有较高的精度。组成的测量装置表明方法是可行的。     

感应电动势两种表示法的物理实质

根据法拉第电磁感应定律,说明对感应电动势两种表述的理解和这两种表述的地位,证明并讨论了感应电动势两种表述的等价性和相对性问题,指出感生电动势与动生电动势不同的物理实质。