数智图书馆-无锡数智政务 本次搜索耗时 6.028 秒,为您找到 388 个相关结果.
  • 二、模型:从现实世界到可能世界

    二、模型:从现实世界到可能世界 1.现实世界模型 2.抽象、一般的模型 3.可能世界模型 二、模型:从现实世界到可能世界 从公理学的角度看,公理系统的发展经历了从实质公理化、概括公理化到抽象的形式系统的演变。从语义学的角度看,公理化、形式化系统的解释经历了从现实世界模型到可能世界模型的演变。现实世界模型亦称单世界假定,它把形式系统内的一切符号和公...
  • 六、一个全面的归纳逻辑研究纲领

    六、一个全面的归纳逻辑研究纲领 六、一个全面的归纳逻辑研究纲领 古典归纳逻辑实际上是一种科学发现的逻辑,即从有限的感觉经验证据中抽象、概括、发现出普遍适用的自然规律。由于无法应对休谟的诘难,逻辑学家和哲学家大都从这个古典的发现纲领上后退,把如何获得猜测性假说的过程说成是一个完全非逻辑的过程,交给科学发现的心理学去处理,归纳逻辑则只处理用经验证据对已获得...
  • 六、逻辑的可修正性为什么难以被认同?

    六、逻辑的可修正性为什么难以被认同? 六、逻辑的可修正性为什么难以被认同? “逻辑的可修正性”论题提出后,引起了激烈的争论,迄今为止,很难说它获得了广泛认同,即使蒯因、苏珊·哈克等人也从早期的比较激进的立场不断后退,用各种方式把自己的立场温和化。据我所知,我本人以及皮奈诺普·麦迪所持的立场可能是其中最激进的。我认为,唯有这样才能前后一贯地并且彻底地解决...
  • 附录四 归纳问题:罗素与金岳霖(1)

    附录四 归纳问题:罗素与金岳霖 (1) 一、一个简短的历史回顾 附录四 归纳问题:罗素与金岳霖(1) ——中西哲学交流的一个案例 一、一个简短的历史回顾 在1840年鸦片战争之前,除了明代开始进入中国的少数西方传教士,中国知识界与西方知识界几乎没有什么接触。但在鸦片战争之后,特别是19世纪末和20世纪初,中国清朝政府开始官派留学生,后来又有自...
  • 二、活动的结果和产出

    二、活动的结果和产出 二、活动的结果和产出 众所周知,人的一些活动过程本身即包含着极大的乐趣,能够使人从中获得某种满足,以致使人觉得似乎这类活动的过程就是活动目的之所在。当科学家在神奇的未知世界中遨游时,“仰观宇宙之大,俯察品类之盛”(5) ,自然界宇观、宏观、微观客体的形态及其中的规律性都可能作为审美的对象,引起像爱因斯坦所说的那种“壮丽的感觉”。当...
  • 主题索引

    4 2026-05-27 《宇宙的琴弦》
    主题索引 主题索引 所有页码均为原版书的页码,即本书的边码,斜体页码指图表所在的页。 accelerated motion,加速运动29,44—45 in general theory of relativity,广义相对论的~58—75,125,376 after the bang(ATB),大爆炸以后(ATB)347,348,349,350—...
  • 一、人的思维操作能力和工具

    一、人的思维操作能力和工具 一、人的思维操作能力和工具 思维操作是主体运用思维工具及其使用方法、程序等加工客体信息,实现对客体的观念的或理论的把握的过程。从操作的角度来理解人的思维,思维所运用的概念、判断、推理、猜想、假说、理论等形式,均属于思维工具的范围。在思维中形成概念、作出判断、进行推理,提出并验证猜想或假说,直到建构理论,则是对这些思维工具的操...
  • 四、思维操作偏差的矫正

    四、思维操作偏差的矫正 四、思维操作偏差的矫正 对思维操作偏差的矫正,作为一种特殊的思维操作过程,与被矫正的思维操作构成对象性的辩驳关系。在人与人之间,这种辩驳外在化为自己对他人的辩驳或他人对自己的辩驳。辩驳是在反复的思维操作中纠正思维操作偏差的过程,是思维操作中的辩证运动。 古希腊文“辩证法”一词的原意是进行谈话的艺术,即在辩论中揭露并克服对方议论...
  • 第二节 典型及其历史演化

    第二节 典型及其历史演化 第二节 典型及其历史演化 上节已讲到,西方的典型是由一个三角形组成的。西方文化在其发展中,理想不断变化,三角形之间的关系也随之不断变化,从而作为三角形的整体——典型也不断变化。 一、纯形与古希腊精神 古希腊,人们把理想不仅看成是实体的,而且看成是形式的。毕达哥拉斯以数作为宇宙最终本源和几何学的示...
  • 附录一 主要西方人物原名及生卒年表

    附录一 主要西方人物原名及生卒年表 附录一 主要西方人物原名及生卒年表 (以译名的汉语拼音为序) 阿多诺   Theodor Wiesengrund Adorno(1903—1969) 阿恩海姆   Rudolf Arnheim(1904—2007) 阿那克西曼德   Anaximandros(约前610—前546) 阿那克西米尼   ...