邻域语义与修正真理论

关键词：修正真理论 修正序列 邻域语义 柯瑞悖论的逆命题 

摘要：古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于 分析真与相关悖论的修正序列.修正真理论根据语句在所有修正序列中的表现,对语 句进行分类.然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯 瑞悖论的逆命题断定为绝对地真,这与直觉不一致.本文将从两种路径引入邻域语义 研宄修正真理论.路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列.这 类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的 一些语句的病态呈现出来.路径二是通过引入邻域语义模型,使得对任意不含模态词 的公式Ф,模态公式口Ф在后继阶段的真值可以反映Ф在上一阶段的真值,并且口Ф在 极限阶段的真值可以反映Ф在至这个极限阶前是否稳定真.从而可以通过口Ф的真值 来限定T＇Ф＇的真值,使得满足相应限制的模型类表示了相应的修正序列.本文最后将 对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型.

中山大学学报论丛杂志要求:

{1}来稿务求论点明确，论据可靠，数字准确、文字精练。并具原创性，不侵犯他人著作权，稿件未投它刊，未在其它任何期刊(包括内部出版物)刊登或研讨会上发表过(特约除外)。

{2}提供作者简介：姓名、性别、民族（汉族可省略）、工作单位（写到二级学院）、职称或职务、主要研究方向或学科特长或从事何种专业技术工作、邮政编码、电子邮箱地址、联系电话。

{3}获得基金资助的文章应在文章首页地脚以“基金项目”作为标志注明项目名称及编号，并附项目证书复印件。

{4}正文内容要求论点明确，资料可靠，文字精炼，层次清楚，数据准确，具有学术性、创新性和实践性。

{5}注释是对文内某一特定内容的进一步解释或补充说明，注释序号用带圆圈的阿拉伯数字表示（如①、②），并按顺序列于当页地脚。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社