共查询到20条相似文献,搜索用时 15 毫秒
1.
真值条件语义理论认为,要知道句子的意义就在于知道它的真值条件,与此相对,言语行为理论主张:说话就是执行规则支配的行为,要知道使用中的句子意义即话语意义就在于要知道成功执行该言语行为的条件。该理论的创立者奥斯汀(Austin)认为言语行为成功执行必须满足六条规则:[1]第一条规 相似文献
2.
3.
语言之所以引起分析哲学家的兴趣,其主要原因在于,它似乎提供了研究一些主要哲学问题的一种有力方式。以语言意义理论的形式所进行的关于语言的研究,便构成对实在性质的研究。上述这个想法一直就产生很大影响,它是提出真值条件语义学的主要动因,是实在论与反实在论之间的激烈争论的主要动因。在这一争论中,反实在论者论证说,标准的真值条件语义学所假定的那种实在论是无法接受的。 相似文献
4.
5.
一动态命题逻辑的来源和基本构想动态逻辑DL(DYNAM IC LOGIC)是关于行动和程序推理的形式系统。DL可以描述为三个经典逻辑的合成:一是一阶谓词逻辑;二是模态逻辑;三是正则事件(REGULAR EVENT)的代数。DL区分于经典逻辑的地方是其真值的特性:经典逻辑的真值是静态的,一公式Φ的真值由其结构中自由变元的取值所决定,公式Φ导致的真值和赋值被看做不可改变的。[1]而动态逻辑在这点上正好相反,在DL中,有清晰的被称做程序的语形结构,这些程序的作用就是改变变元的值,由此进而改变公式的值。这些改变在经典谓词逻辑中,是在元逻辑的层… 相似文献
6.
一消除蕴涵怪论的主要方案及其困境为了消除怪论,逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案,可以发现它们向同一方向划出了比较连续的轨迹:(1)前后件真假值对→真值的影响渐弱,直至消 相似文献
7.
Devitt与Dummett之问存在着严重的理论分歧,主要表现为:何谓实在论;语言问题与实在论问题的关系如何;命题是否仪有实证论的真值条件;如何看待实证论等等。一言以蔽之,二人的分歧归属于实在论与反实在论的理论冲突。 相似文献
8.
一、问题的引入在近些年里,塞恩斯伯里(R.M.Sainsbury)越来越细致地为我们描画了一种理解指称的新思路,最后,他在其新书《没有指称物的指称》中提出了关于指称理论的一种系统的新框架。(Sainsbury,2005)塞恩斯伯里相信,意义真值条件理论在考虑意义问题时的基本思路,对小于语句的指称性表达(referring expressions)是适用的。对于语句,真值条件而不是真值构成了意义。无论一个语句的实际真值是真还是假,其意义都是不变的。类比于这个思路,对于一般的指称性表达,它的意义应是指称条件。无论世界上是否有东西实际上满足指称条件,指称性表达的… 相似文献
9.
真理、逼真性和实在论张志林在语义学层面,有两个论题对科学哲学中的实在论具有典型意义,RI.科学理论的命题具有真值。RZ.科学理论的术语具有指称。据此,我把科学哲学中侧重于研究RI的实在论称为真值实在论,把侧重于研究RZ的实在论称为指称实在论。由于许多实在论者强调RZ是RI的必要条件,或RI是RZ的证据,所以研究科学理论的真理性是两类实在论共同的基本任务之一。鉴于断定科学理论真理性的严重困难.实在论者往往以对逼真性的探讨作为补救之策,波普尔主张真值实在论,但当他主张真理和实在可相互定义时,他确实在逻辑上犯了循环定义的错误。Harr’e等指称实在论者认为真值实在论者把理论规定为命题集,而命题的无限后承必然导致无限性困难。Harr’e等人把理论规定为自然类有序结构的模型簇,认为理论发展从根本上说是对未知过程类比物的揭示。实际上这一理论隐含着一个先验的预设:可能经验的领域和不能经验的领域必定存在着经验领域客体或事态的类似物。这一未得合理说明的预设实际上也是指称实在论者定义逼真性的基础。他们的逼真性概念不仅在理论上有这一基本性的缺陷,而且在实践上也有困难。他们的所谓一类型相似”和真值实在论者的“相对内容”一样,在实用 相似文献
10.
《逻辑学研究》2017,(1)
古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。 相似文献
11.
12.
关于理论评价问题,五十年代以前西方哲学界的正统看法是:理论必须由观察陈述来判决。五十年代以后,这种观点受到了许多批评,批评的焦点集中在经验事实和理论之间的关系上面。主要证据有五条。1、没有中立的观察语言,2、观察陈述是可误 相似文献
13.
一双索引赋值的引入语义理论主要研究语言表达式的意义或内容。在可能世界语义学中,语句的真值是在单个的可能世界中考虑的。以可能世界语义为框架,我们一般讲语句p在可能世界w中为真或者为假,并可借此讨 相似文献
14.
双因子模型可以同时包含一个全局因子和多个局部因子,在描述多维测验结构时有其独特优势,近些年应用越来越广泛。文章基于双因子模型,提出了4种合成总分和维度分的方法,分别是:原始分法,加和法,全局题目加权加和法和局部题目加权加和法,并采用模拟的方法,在样本量、测验长度、维度间相关变化的条件下考察了这些方法与传统多维IRT方法的表现。最后,通过实证研究对结果进行了验证。结果显示:(1)全局加权加和法和局部加权加和法,尤其是局部加权加和法合成的总分和维度分与真值最接近、信度最高。(2)在维度间相关较高,测验长度较长的条件下,局部加权加和法的结果较好,部分条件下甚至优于多维IRT法。(3)仅有局部加权加和法合成的维度分能够反应维度间真实的相关关系。 相似文献
15.
目前关于预设的真值语义学研究主要是各种三值语义。这看起来有自然的一面,但其实有一个严重的误区,将"无定义"也看成一个与预设原句真值处于同一层面的真值,混淆了对象语言与元语言的区分。预设句与原句是不同层次的句子。本文试以专名指称存在预设为例,通过部分模型以及在此之上的同底扩张模型方法构造了复合模型,给出了一个既保证不同语言层次的区分又可以跨层次统一谈论原句和预设句关系的形式语义。通过这个语义,揭示了预设句与原句的2//[2]+[0]式的真值结构,使得通常情况下关于预设的默认得到形式上的刻画和呈现。 相似文献
16.
关于多值逻辑的辩证哲学思考 总被引:2,自引:0,他引:2
古典逻辑是二值的,换句话说,它只有真、假两个真值。从亚里斯多德(在古代中国还有墨子)首创的传统逻辑到弗雷格、罗素的数理逻辑系统,古典逻辑的二值性质并没有改变。然而,多值逻辑却是作为一种非古典逻辑出现的,它可以具有三个或三个以上的真值,多值逻辑是怎样产生并发展起来的?它主要有哪几种最常见的形态?古典逻辑的二值特性为什么需要改进?为什么要引进中间真值?古典逻辑的矛盾律和排中律是否继续有效?能不能运用辩证法 相似文献
17.
18.
19.
20.
弗雷格是第一个注意到命题的预设为假会影响到命题真值判定的哲学家。对这种因预设为假而形成的真值空隙,弗雷格、罗素和斯特劳森提出了不同的处理方式,由此奠定了预设的语义解释的基础。但预设的语义解释一直面临着种种质疑。这些质疑有说服力吗?应该放弃预设的语义解释吗?本文将对此进行分析,揭示这些质疑中所存在的问题,从而对预设的语义解释的合理性进行辩护。一、预设为假与真值空隙第一个把预设作为逻辑概念加以讨论的哲学家是弗雷格,其预设思想可以归纳为四点:第一,预 相似文献