排序方式: 共有62条查询结果,搜索用时 15 毫秒
11.
《逻辑哲学论》虽然注家甚多,此书对于概率和归纳问题的零星讨论却一直没有受到后人的重视,而本文则试图对这些讨论进行尝试性的重构。本文的写作目的是双重的。首先,本人试图揭示早期维特根斯坦的概率理论与他的整个逻辑原子论架构之间的关系,说明他是如何通过“真值根据”这个概念而将日常语言中的概率表述全部还原为真值函项理论的。在此基础上,笔者将说明为何他的这种概率理论缺乏实际的应用价值。其次,本文将讨论维氏将归纳问题和概率问题相互分离的“分离策略”,并尝试重构出他提出该策略的隐蔽动机。在此基础上.笔者将站在认知科学的立场上为这个策略本身提供一些辩护和批评。笔者认为,早期维氏虽然正确地看到了“思维经济原则”对于归纳推理的重要指导意义,并看到了该原则本身是无法被还原为逻辑真理的,却并没有意识到该原则本身可能是一切具有一定智能水准的问题解决系统所必须依赖的问题解决策略。令人遗憾的是,他对“心理学”和“逻辑”所作的简单的二分法阻止了他更为深入地对智能系统的普遍问题解决逻辑作出探究,尽管这种研究的确是可以相容于他的前述“分离策略”的。总而言之,本文认为早期维氏的概率理论的科学价值相当有限;与之相比较,他的归纳观却可能已指出了如何揭示智能系统的普遍认知机制的正确道路,尽管他在《逻辑哲学论》阶段还缺乏对于这条道路的全面自觉。 相似文献
12.
祖国和平统一是华夏炎黄子孙的共同目标和崇高愿望。在今年新春茶话会上,国家主席、中共中央总书记江泽民发表了《为促进祖国统一大业的完成继续奋斗》的重要讲话。提出了正式结束两岸敌对状态和进行两岸高层接触,促进两岸经济文化交流的八项重要主张,在海内外中华同胞中引起强烈反响。3月9日,各宗教团体的宗教界人士,在京召开座谈会,座谈江泽民主席的重要讲话,各宗教团体领导人在会上畅谈了对祖国和平统一的真诚期望。本文是中国道教协会会长傅元天在座谈会上的发言,特载发表。 相似文献
13.
14.
莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词进行特殊处理,使得量词公式是二值的;其二,把包含空词项的复合句一概归于第三值。针对上述两点,本文以一度衍推系统为基础,在语义上,以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统,使得量词公式是三值的,同时使得一部分包含空词项的复合公式或真或假。 相似文献
15.
语词自身并不指称,作出指称的是人——这是斯特劳森(P.Strawson)关于名称之指称的一个洞见。然而,个体有关于名称之指称的对象的多个信念储备,在遇到含有某个名称的表达式并意欲对之做出反应时,他如何确定这个名称的指称?经典语义理论没有专门回答这一问题。 相似文献
16.
17.
根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔(Arthur Prior)提出的tonk对推理论构成了严重挑战。库克(Roy Cook)最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。 相似文献
18.
19.
宋代项安世著《周易玩辞》一书,主张“因辞而测象”的治易路数,其学术风格兼重象数和义理。项氏《周易玩辞》一书,对元代吴澄产生了很大影响。吴澄的易学思路,基本也遵循“观象玩辞”的路数进行,其易学著作《易纂言》多处提及并肯定项氏观点。但吴澄没有在项氏的观点面前止步,在易象内涵、卦变理论和义理的理解等方面,表现出与项氏易学不同的特点。 相似文献
20.
涵义语义与关于概称句推理的词项逻辑 总被引:1,自引:0,他引:1
概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用A一表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。 相似文献