-
题名邻域语义与修正真理论
- 1
-
-
作者
林其清
梁晓龙
-
机构
华南师范大学政治与行政学院
中山大学逻辑与认知研究所
-
出处
《逻辑学研究》
CSSCI
2017年第1期5-29,共25页
-
文摘
古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。
-
关键词
修正真理论
修正序列
邻域语义
柯瑞悖论的逆命题
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名人物风云榜
- 2
-
-
-
出处
《生物医药世界》
2003年第01M期29-46,共18页
-
-
关键词
药品生产
生物制药公司
祁茜
Kathy
Ordonez
赛雷拉诊断公司
柯瑞
先灵葆雅公司
-
分类号
F407.7
[经济管理—产业经济]
K815.38
[历史地理—历史学]
-
-
题名企业服务金桥
- 3
-
-
-
出处
《科技潮》
2004年第5期59-59,共1页
-
-
关键词
北京柯瑞生物医药技术有限公司
北京汉王科技有限公司
北京清大科技股份有限公司
北京智能谷科技有限公司
-
分类号
F426.7
[经济管理—产业经济]
F279.244.4
[经济管理—企业管理]
-