期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
扬弃悖论命题的方法和标准 被引量:2
1
作者 赵总宽 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2006年第1期25-28,共4页
要合理解决悖论,首先要区别思想中三种不同的逻辑否定词:同指否定词并非();异指否定词非(′);兼指否定词不只是()。其次,要区分思想中四种不同矛盾命题:逻辑矛盾命题;辩证矛盾命题;怪论矛盾命题;悖论矛盾命题。它们具有辩证矛盾命题的... 要合理解决悖论,首先要区别思想中三种不同的逻辑否定词:同指否定词并非();异指否定词非(′);兼指否定词不只是()。其次,要区分思想中四种不同矛盾命题:逻辑矛盾命题;辩证矛盾命题;怪论矛盾命题;悖论矛盾命题。它们具有辩证矛盾命题的语义内容,却具有逻辑矛盾命题的语法表达形式。再次,要有令人满意的解决悖论的标准。罗素指出的解决悖论的三个必要条件,可作为令人满意解决悖论的共同标准。近百年来解决悖论诸种方案可分为(1)特设性排除悖论方案;(2)特设性容纳悖论方案;(3)非特设性扬弃悖论方案三大类。按罗素提出的三个标准,解决悖论方案(1)和(2)是不能令人满意的,(3)是令人满意的。 展开更多
关键词 悖论 悖论命题 合理解决悖论的标准 特设性排除悖论方案 特设性容纳悖论方案 非特设性扬弃悖论方案
在线阅读 下载PDF
命题真值的不同——半截子悖论与严格悖论的一个重要区别 被引量:4
2
作者 王建芳 《江汉论坛》 CSSCI 北大核心 2000年第11期44-48,共5页
半截子悖论命题虽然都能由其真推出其为假,但它们并不符合罗素说的“无意义”,没有所表示的内容无法判断真假;并且它们也不需要用塔尔斯基的“语言层次理论”来区分真假。在鲍契瓦的三值逻辑中,它们的值为假,而不像严格悖论的值是... 半截子悖论命题虽然都能由其真推出其为假,但它们并不符合罗素说的“无意义”,没有所表示的内容无法判断真假;并且它们也不需要用塔尔斯基的“语言层次理论”来区分真假。在鲍契瓦的三值逻辑中,它们的值为假,而不像严格悖论的值是“悖谬的”。从克里普克的间隙论方案看,它们不像严格悖论命题是“无根基的”,处于真值间隙状态。用语境敏感方案来衡量,它们的值并不随语境的变化而变化。从弗协调逻辑的观点看,它们并不像严格悖论语句那样“既真又假”。总之,与严格悖论命题不能简单地取真假二值中的任何一个不同,半截子悖论命题是“有根基的”,据其语义可析出其值为假。 展开更多
关键词 命题真值 半截子悖论 严格悖论 语境敏感方案 弗协调逻辑 悖论命题
在线阅读 下载PDF
邻域语义与修正真理论
3
作者 林其清 梁晓龙 《逻辑学研究》 CSSCI 2017年第1期5-29,共25页
古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论... 古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。 展开更多
关键词 修正真理论 修正序列 邻域语义 柯瑞悖论的逆命题
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部