您好、欢迎来到现金彩票网!
当前位置:秒速快三 > 说明语义学 >

S6 系统的语义解释

发布时间:2019-06-03 23:40 来源:未知 编辑:admin

  S6系统有两个特点:(1)它没有必然化规则N,所以其语义解释必须引入非正规世界;(2)它把MMp当作系统公理,对于MMp的语义解释一方面可以利用非正规世界,但另一方面也可以对它作一般的可能世界语义解释。这两种解释之间的不同反映出我们对于可能世界的认同标准之间的差异。而且对于非正规世界,我们一方面可以把它们理解成死点,但另一方面我们也可以通过构造性的方法证明其不是死点。这一对矛盾也反映出S6系统的语义解释所面临的复杂情况。而本文则试图理清这种复杂情况并将勾勒出适合于S6系统的语义解释的可能世界背景。 文章主要分为六个部分: 一、S6系统进行介绍并说明(证明)其中一些特殊定理和语法性质。 二、S6系统进行语义解释;对非正规世界的引入、非正规框架的引入、V赋值的变化以及X集的引入都作了说明,并指出在非正规世界中避免出现逻辑矛盾的途径——让SB规则在其间失效。 三、指出S6系统利用非正规世界的死点性质回避了更尖锐的问题——可能世界是否能够允许矛盾命题在其中的存在?通过对可及关系定义的反思揭示了非正规世界没有必要一定就是死点。 四、在第三部分的基础上进一步通过构造方式证明了非正规世界可以不是死点。但此证明依赖于两个假设,分别对应于问题(1)可能世界中是否允许包含逻辑矛盾?(2)可能世界能否仅由命题构成? 五、通过对可能世界的定义的反思来为问题(1)(2)寻求答案。首先批驳了可能世界不能被定义的观点,其次考察了具有代表性的六种可能世界定义并找出了它们各自对问题(1)(2)的回答。为了对问题(1)(2)做出肯定的回答, 作者对定义1,11,Ill表示支持而对定义IV,V,VI进行了置疑并认为它们对于 一致集的坚持没有必要。 六、带着问题门)u)对可能世界的哲学本体地位进行反思,批判了真实 存在说和可能状态说,认同了否定可能世界实在性问题的观点。

  刘社军;也谈“可能世界”之定义问题[J];广西大学学报(哲学社会科学版);1997年03期

  陈伟,刘晓红;论可能世界语义学的主要哲学问题[J];社会科学辑刊;1998年06期

  刘帅;程梦诗;;“可能世界”理论视野中的武侠世界[J];理论观察;2009年03期

  王南湜;;我们可以在何种意义上谈论历史规律与人的能动作用[J];学术月刊;2006年05期

  张文琴;反事实条件句和大卫·刘易斯的逻辑哲学[D];华东师范大学;2012年

  李瑞;文本世界理论视阈下的《西游记》专名英译研究[D];上海外国语大学;2014年

  陈素艳;从极端实在论和温和实在论之争看模态逻辑本体论问题[D];山西大学;2009年

  方同义;本体与境界——中国古代哲学主题的理论阐释[J];哲学研究;1993年03期

  朱跃;论人的认知与语义的不确定性[J];四川外语学院学报;2004年04期

  张微;;本文前面展示的可能世界——一种探索解释学美学的新理论[J];法国研究;1992年02期

  韦世林;试析夸张辞格的逻辑支点[J];云南师范大学学报(哲学社会科学版);1996年04期

  郭泽深;胡浩;;真正的可能性和必然性[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

  唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

  陈晓平;;谈谈虚拟蕴涵问题[A];1996年逻辑研究专辑[C];1996年

  王文方;王一奇;;对路易士虚拟条件句语意论的一个修正[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

  冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

  季秋;王万森;王新;;人工智能中逻辑学的研究[A];逻辑与认知学术研讨会会议论文集[C];2004年

  韦世林;;可能世界理论与变异修辞[A];跨世纪的中国修辞学[C];1999年

  王启义;;从形式语意论到二维模态语意论[A];第三次金岳霖学术思想研讨会论文集[C];2005年

  陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

  李季先;理性看待中国贸易顺差可能世界第一[N];21世纪经济报道;2007年

  刘钢;信息哲学与未来东方科技哲学的基础[N];中国社会科学院院报;2005年

  本报记者 顾定槐 田甜;2015,中国化工可能世界第二[N];中国化工报;2006年

  《社会科学报》特约记者 计海庆;强调语境化不意味着科学进步无规则[N];社会科学报;2006年

  张文琴;反事实条件句和大卫·刘易斯的逻辑哲学[D];华东师范大学;2012年

  徐晔翀;论可能世界语义学中的个体跨界的同一性问题[D];华东师范大学;2010年

  刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年

http://lenjproductions.com/shuomingyuyixue/155.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有