共查询到20条相似文献,搜索用时 78 毫秒
2.
3.
4.
5.
6.
7.
一个自由模态的摹状词理论LFMDT_K 总被引:1,自引:0,他引:1
一、LFMDTK的理论背景用自由逻辑来处理限定摹状词,已形成多种自由摹状词理论。这些理论以自由逻辑为基础,是自由逻辑在摹状词领域的重要应用。但是,对自然语言中如“当今的法国国王是当今的法国国王,这是必然的”、“唐僧的大徒弟会七十二变是必然的”这样的既包含“空限定摹状词”又包含“必然”的语句,却很难用这些理论来刻画。本文提出一个自由模态的摹状词理论LFMDTK(文中简记为LK),来处理和刻画限定摹状词在模态语境中出现的情形。在LK中,引入了模态算子“□”。LK能够反映出限定摹状词与个体常量、个体变元的根本区别。个体… 相似文献
8.
自由摹状词理论[1],以自由逻辑为基础,用形式化方法对摹状词[2]加以研究,把非空摹状词和空摹状词均看做真正的单称词项,探讨它们的特征.自1956年里纳德(H.S.Leonard)[3]提出第一个自由摹状词理论以来,经过半个世纪的发展,自由摹状词理论已形成了一个庞大的家族,对其探讨愈加深入.本文拟对自由摹状词理论的产生背景和原因、研究现状、理论意义和发展前景加以概述与评论. 相似文献
9.
论斯特劳森的描述的形而上学 总被引:1,自引:0,他引:1
20世纪50年代初,正是分析哲学面临困境的时候。这种困境主要表现在两个方面:一是逻辑经验主义的基本理论支柱,主要是意义证实原则和对分析与综合的区分,受到了分析哲学家们的质疑,提出挑战的分别是亨普尔和蒯因;二是维也纳学派提倡的逻辑分析方法受到了牛津日常语言哲学家的挑战,这主要来自后期维特根斯坦、赖尔和后来的奥斯丁等人。正是在这种哲学背景中,斯特劳森显示了自己的哲学才华:首先是在1950年发表《论指称》一文,对罗素的著名的摹状词理论提出了挑战,用语言的使用方式取代指称对象作为意义的标准;其次是在《个体——论一种描述的形… 相似文献
10.
11.
12.
自克里普克试图运用可能世界语义学恢复传统的密尔式专名理论,并反对摹状词理论以来,一些哲学家继续完善克里普克的理论,另一些哲学家则不断地使摹状词理论更加精致化。两派哲学家各自维护自己理论的基本前提,互相指责从对方理论的基本前提出发会导致令人难以接受的结论。毫无疑问,两派的对立是很明显的:一派认为,作为语言不可缺少的组成部分的专名是对象的标记,它本身是没有任何涵义(内涵)的,它在语言中的功用是直接指示它所指的对象,因而它是严格指示词(rigiddesignator);另一派则认为,我们实际使用的专名是一族摹状词的改装,摹状词族的涵… 相似文献
13.
“私人语言”及其形上根源 总被引:1,自引:0,他引:1
维特根斯坦在其后期哲学中正式提出①的“私人语言论题”,被认为是这位在现代西方哲学中备受关注的天才哲学家最有价值的思想遗产,其地位堪与罗素的“摹状词理论”和塔斯基的“真理论”相媲美。(参见Shanker and Kilfoyle,p.84)同时,它也是在维特根斯坦研究专家之外引起了广泛兴趣的问题。对于维特根斯坦否认私人语言可能性的立场,除少数人如艾耶尔外,人们均无异议,但对于他以此为理论靶子所欲探讨的问题是什么、其理论敌人是什么以及想要引出的结论是什么等问题,哲学界则注家蜂起,人言言殊。这其实也许正是维特根斯坦本人所追求的理论效果… 相似文献
14.
在自然语言中,形如"如此这般的……"这样的短语被称为摹状词.摹状词是用来摹状事物的,它揭示出事物的某些特征.通常,把摹状词分为非限定摹状词和限定摹状词.非限定摹状词常以"某个如此这般的……"这种形式出现,用来指称某个不确定的对象. 相似文献
15.
弗雷格的涵义/意谓理论为信念句子的句法和语义分析提供了一个框架。一个信念句子由专名、动词"相信"和从句组成。根据弗雷格的从句理论,从句有间接意谓,即它的思想。按弗雷格的分析,可以建立信念逻辑的形式语言和语义。这种语义是混合式的,引入涵义、个体和真值三类本体。还可以建立一个弗雷格式的信念逻辑系统。它是不需要可能世界语义学的信念逻辑。罗素先后提出处理信念语境中同一替换律失效问题的摹状词理论、信念关系论和逻辑原子主义。但罗素没有对信念句子的句法和语义作出明确的分析。 相似文献
16.
17.
近年来,我国的逻辑学著述陆续引进了“摹状词”。在英语中,摹状词的结构是:定冠词the+形容词+单数普遍名词。例如,“the author of waverely”(“《威弗莱》的作者”),“the morning star”(“晨星”),汉语没有定冠词,而且名词也无单复数之分,汉语的摹状词结构应该是什么样的呢?这个问题受到了我国逻辑学界的普遍注意,许多引进“摹状词”的著述,对摹状的汉语结构提出了不同的看法。这些看法,归纳起来,大致有以下七种: 相似文献
18.
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用. 相似文献
19.
罗素与他曾遇见过的,并就哲学问题进行过交流的好几位实用主义哲学家相互影响。这些相互影响同罗素与他的朋友和合作者如摩尔、怀特海、维特根斯坦等之间的相互影响性质不同。这是一种敌对的性质。事实上罗素与唯心主义者的相互影响也是如此。不同的地方只在于罗素本人曾经历新黑格尔主义这一阶段。至于就实用主义来说,罗素自始至终把它作为对手,实用主义者的主张对他来说是不相容的。尽管罗素自己思想发展过程中在这一点上没有改变过,但是,正如我们将看到的,他思想上的变化使他比他自己承认的更接近这些实用主义的观点。1896年,罗素在他第一次访问美国时结识了詹姆斯和皮尔斯。后来罗素又从W.维尔比(Welb 相似文献