科学中问题的结构与问题逻辑

“问题”是科学认识论与方法论中的极其重要的范畴。我在《问题·科学问题·科学目标》一文(载《百科知识》1987年第11期)中,曾对“问题”以及有关概念作出如下定义:问题——某个给定过程的当前状态与智能主体(人或机器)所要求的目标状态之间存在的差距;问题求解——设法消除给定过程的当前状态与所要求的目标状态之间的差距;疑难(Puzzle)——求     

问题逻辑的语言分析(续)

作者鉴于自然语言中各种类型问句的多样化,从而企求扩大问句分类的范围。问句的分类主要是根据问题的中心而定,我们认为这是合理的。为此必须把“问题的中心”这样的概念弄清楚。可是这一概念在问题逻辑的专著中,还从未进行过专门研究。为了提出问题,首先必须确定问题的中心。问题的中心就是问句所要询问的内容。例如,直接问     

逻辑的范围(续)

3、发现和辩护当一个陈述已经作出之后,可能出现两个重要问题:它是如何被想到的?我们有什么理由把它作为一个真的陈述接受下来?这是不同的问题。混淆它们将是一个严重的错误,混淆答案至少是同样严重的错误。第一个问题是一个关于发现的问题;有关这个问题的种种情况是在发现的范围之内的。第二个问题是一个关于辩护的问题;有关这个问     

解放前我国传统逻辑中争论的若干问题(续)

六、关于主谓项的周延和存在问题 1、关于特称主项的周延和存在一种看法认为,特称量项只指数量上的部分(包括单个),故为不周延,其量词可为“某些”或“某个”。当时有些著作都是从断定主词的数量上来区分全称和特称的。他们认为,既然全称断定了主词的全部,特称就是断定了主词的非全部,即只断定了主词的部分。故有人把特称判断规定为“从主辞外延底一部分,肯定之或否定之的判断,”其形式为“某(些)S是P”或“某(些)S不是P”,因为它“仅能     

逻辑基础问题(中)

运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻辑又不能建基于世界的任何事物之中;它必须建基于世界的某一方面,这个方面强大到足以支撑关于逻辑后承(逻辑地从什么得出什么)的断言。我对这个问题的解决办法是把逻辑建基于一种特别强的法则类型即"形式"法则之中。我证明,由于这些法则的特别强大的"不变性"程度这个特征,它们足够强大到为逻辑提供基础,然后我解释了逻辑是如何建基于这样的法则之中的。这个基础包含着形式性的一个标准以及基于这个标准而为逻辑常项提出的一个标准——逻辑常项是逻辑真和逻辑后承的"引擎"。     

科学方法论研究(续)

二十世纪以来,自然科学愈来愈转化为直接生产力,对社会发展起着越来越显著的作用,因此陆续产生了一批以自然科学的各个侧面为研究对象的新兴学科,如:科学学、科学逻辑学、科学创造的心理学、科学方法论,等等。其中的科学方法论,因为它在攻     

散文构思的逻辑探索(续)

归纳聚合构思法在不少散文中,作者为了贬褒某一人,或某一事,往往从各个不同的侧面选取若干能够反映这些人或事的个别事件加以叙述、描摩,然后用议论或抒情的形式加以概括,来揭示其丰盈的内蕴。这种用具体各别的形象的描绘来贬褒某一人或某一事的构思方法称之为归纳聚合构思法。这种构思法可以使议论与抒情所表示的理念和具体形象的     

泛系分析与科学方法论(续)

有的系统可以描述成输入输出与内态或内构三位一体的抽象自动机的形式。当只考虑输入输出而不计及内构时,这就是古典控制论的黑箱方法,也叫行为学方法。现代控制论计及了内构,有了态空间方法及卡尔曼(Kalman)的可观测性及可控性概念,相当于一种具体的     

论亚里士多德的逻辑规律理论(续)

三、什么是亚里士多德逻辑规律理论中的形而上学和唯心主义?(一)不能把亚里士多德从实体怎样论证逻辑规律也应当怎样的唯物主义思想看作形而上学亚里士多德在论证逻辑规律过程中,除了提出了上面谈到的那些积极的思想之外,同时也提出了一些消极的思想。正如亚里士多德逻辑规律理论中的积极思想是同亚里士多德的哲学观点中唯物主义和接近辩证法的思想相联系一样,亚里士多德     

近代科学奠基者的信仰(续)

五、笛卡尔(1596—1650),法国数学家、物理学家和哲学家。他出生于图赖讷省拉梅村一个穿袍贵族家庭,他20岁时获普瓦捷大学法律学士学位,后来在荷兰定居21年。他创立了解析几何学。用坐标系来描述空间的点和坐标值的相互对应。笛卡尔认为:“数学真理,如同其他一切受造之物一样,也都是由上帝所确立,并依赖于上帝。”     

近代科学奠基者的信仰(续)

十二、法拉第(1791—1867),英国物理学家,化学家,基督教会长老。法拉第以发现电磁感应定律而闻名于世,被誉为电学之父。爱因斯坦在书房里挂着法拉第的画像,以表达他的崇敬之情。 法拉第出生在伦敦城郊一个穷铁匠的家庭,父母是追求敬虔与属灵生命的小教会成员。法拉第只上过两年学,他自习文化,做过卖报童,书籍装订工,他20岁时听化学家戴维的课并担任他的助手。     

科学、逻辑、道德——现代西方元伦理学纵观(续)

四、流变Ⅲ:规定主义伦理学规定主义伦理学派的基本倾向是对情感主义伦理学的一种否定性反应。它在方法上坚持了现代西方整个元伦理学理论的基本方法论原则:这就是坚持以逻辑语言的分析方法来研究伦理学问题,甚至也坚持把伦理学视为“逻辑学研究的一个分支。”但在结论上却与情感主义伦理学大相经庭。第一,他们认为,道德命题、语言、判断等不是个人主观纯情感的表达,而是兼备情感调节和事实描述双重功能的,第二,伦理学不是纯非认知性的,而是认知与非认知双重因素的统一或混合,所以,伦理学与科学并不是完全对立或隔离的;第三,价值判断或伦理学命题决不能简单地归诸于非理性的情感主义范畴;此外,伦理学命题可以提供规定或规范。     

易卦的科学的本质(续)

四、从热力学的物态方程谈到易卦的排比在《前言》里,提到笔者探讨易卦的动机,由于发现了热力学对物态的分析处理步骤,同易卦的排比方式,非常接近。可是西洋的热力学这门学问,出现于近世;中国的易卦却发源于古代。同以高度抽象著名,而出现的时间,相差竟有好几千年,不能不算是人类学术思想史上一个奇迹。     

徐光启·科学·天主教(续)

中国天主教的贤哲徐光启最早接触天学(天主教)是在1595年他三十四岁时。当时他在广东韶州教书,偶值馀暇,信步至城西天主堂,“瞻仰天主像设,盖从欧罗巴海舶来也”(徐光启:《跋〈二十五言〉》)。他与韶州天主堂司铎郭居静(L,Cattaneo,1560-1640)语,“颇惬恰”(李问渔:《徐文定公行实》)。这是徐公与西方科学、文化接触的开始。1600年,他在“留都”南京与耶稣会利玛窦司铎晤谈,“以为此海内博物通达君子”(徐光启:同上);前此,徐公曾见过利氏重绘、由应天(今南京)巡抚赵可怀和南都(南京)吏部主事吴中明重刻于苏州、南京     

真之结构和内容(续)

让我们考虑把内容赋予一个真之理论这个计划。塔斯基的定义通常是通过几步达到的。首先,有一个关于对象语言中的句子是什么的定义,然后,有一个对一种满足关系的特征(满足是所指的一种高度概括的说法)的递归说明;对满足的特征的递归说明转变成一种弗雷格和戴德金式的明确定义;然后基于句子和满足的概念定义真。我们现在放弃把对满足的特征的递归说明转变为一种定义这一步,从而说明我们现在把真和满足这两个谓词看作是初始的东西。     

论自然法的科学探讨方式(续)

〔Ⅱ〕我们现在转向考察无限性的方面,它构成了与经验的东西相对立的先验性的原则。走向经验的意见及其多样物与简单物的混合,与概念相反,在绝对的概念或在无限性中清除了动摇,而不完全的分离被决定了。在一种较低的抽象中,无限性虽然也作为主体的绝对性,在一般的幸福论中并且特别在自然法中由一些体系加以强调（这些体系叫作反社会主义的,并把个人的存在设置为第一的和最高的东西）,但是,无限性在那里没有被提高到它在康德或费希特的唯心论中曾得到的纯粹的抽象。在这里不叙述无限性和它的多样性的转变的本性,因为当它是运动和变…     

从现代逻辑观点看中世纪彼得的语言逻辑理论(续)

三、扩大人称指代可以按另一种标准划分为扩大的指代和限制的指代。所谓“扩大”和“限制”是相对于人称指代来说的,与普通逻辑书上所谓“概念的扩大和限制”有所不同。彼得说:“限制是一个普遍词项从比较大的指代缩减到比较小的指代”。例如,在“一个白的人在跑”中,形容词“白的”把“人”的外延只限于白的人。扩大是一个普遍词项的外延从比较小的指代到比较大的指代,例如在“一个人可能是反基督的”中,词项“人”不仅指称现在存在的人,而且     

逻辑基础问题(下)

第三部分首先回应那些对在第二部分中所阐述的形式性/逻辑性标准的批评,然后为逻辑与数学之间的关系提出一个新的解释,以替换传统的逻辑主义解释。逻辑主义企图把数学归约到逻辑,但是它的缺陷之一在于无法为逻辑提供一个基础。通过把逻辑与数学都建基于形式之中,以及对二者的劳动分工与合作的解释,新基础解决了这个问题。本文进一步证明,新基础保证了逻辑的必然性、普遍性、主题中立性、强大规范性以及其他种种特性,并在最后讨论了逻辑中的错误和修正。     

逻辑基础问题(上)

为逻辑构建一个系统的哲学基础,这是一个异常困难的问题。我在本文上篇提出,这个问题在很大程度上属于方法论问题,需要处理传统的基础性方法论"基础主义"。这个方法论原则上无法为非常基本的学科提供基础,而逻辑就是这样一门学科。为了完成这一任务,我替换了这一方法论,而代之以新的"基础整体主义"。基础整体主义把强烈的基础性要求(真与正确性证明)与非传统的、"整体主义"的工具组合起来为知识提供了一个基础。这一组合使得它甚至可以为逻辑这样最为基本的学科构造严格的基础。     

论所谓心身问题(续)

三、什么是唯物论的心身一元论? 什么是唯物论的心身一元论呢?首先把我们所知道的几个唯物的心身一元论的例子来考察一下。中国古代的荀况的唯物心身一元论只说了一句话,即“形具而神生”。身是有形的东西所以叫做形。但不是有形的东西就有神。所以形还应该有别的意思。那就应该是形