文档介绍：西南大学
硕士学位论文
隐偏好逻辑研究
姓名:姜桂飞
申请学位级别:硕士
专业:逻辑学
指导教师:唐晓嘉
201205
岢龅钠ê寐呒蚴没酒ê寐呒镅杂昧礁瞿L阕涌凇叮凇捶隐偏好逻辑研究导师唐晓嘉教授中文摘要逻辑学专业硕士研究生姜桂飞近几年,许多逻辑学家意识到信息在逻辑中的重要地位而转向对信息的研究,出现了不少研究成果·代表性的有琂.,,F渲论文菪畔⒓捌浔浠欠裨诼呒镅约坝镆逯杏兄苯拥姆从常畔分为显信息和隐信息。我们认为偏好作为一种基本信息,同样具有隐显之分。论文所采取的是别明确表示主体的弱偏好和严格偏好信息,并在语义上将偏好处理成准序.。因此,可以将其看作是含有显偏好信息的逻辑。本文旨在对含有隐偏好信息的逻辑进行研究,为实现这一目标,我们将语义结构本身作为基本研究对象,按照从语义模型到形式系统的思维进路,将论文分成以下五个部分:第滦髀郯ㄎ侍獾奶岢觯芯肯肿醇把芯康乃悸泛捅疚牡慕峁沟饶谌荨第滦畔ⅲ畔⒂胫本踔饕迓呒紫榷月呒械男畔⒔惺崂恚鱿孕畔⒑鸵信息的划分;然后对直觉主义逻辑进行简要介绍,在此基础上分别对认知逻辑以及直觉主义逻辑中的信息加以讨论和比较,进一步理解直觉主义逻辑中信息表达方式的特点。第缕ê寐呒胍ê;对宜接表达偏好信息的偏好逻辑进行简要介绍;是本文研究的重点和难点。从语义模型出发,在分析直觉主义逻辑中的隐偏好信息的基础上,通过重新解释直觉主义逻辑的逻辑联接词以表达严格偏好信息而提出隐偏好逻辑,并证明了该逻辑系统的可靠性和相对于可区分模型类的完全性;通过定义哥德尔式的翻译映射将隐偏好逻辑翻译到偏好逻辑中。第乱ê寐呒墓ǹP胬┱拧2捎闷ê寐呒云ê帽浠亩矸绞剑谝偏好逻辑的基础上增加了公开宣告算子并讨论了归约公理的成立情况。第轮饕I婕奥畚难芯康囊恍┗窘崧酆吞致邸关键词:偏好逻辑直觉主义逻辑隐偏好逻辑显信息与隐信息公开宣告扩张籿,,
篖:猣:.甀..”巴【琣,瓼‘痜凇凇畉甌瑆.“.:
.西南大学硕十学位论文瑆瑆,:;.,瑃‘勰‘’,’甌,..
第滦髀问题提出及研究现状虽然信息概念不是逻辑学的标准主题,在逻辑中也有着不稳定的地位,但当逻辑涉及到具体直观时,信息问题就产生了。关于事实牍男畔ⅲ蔡和动态的信息,刚性与柔性男畔⒔恢谝黄稹=改辏矶嗦呒家意识到信息在逻辑中的重要地位而转向对信息的研究,出现了不少研究成果,代表性的有.,。论文菪畔⒓。其实,这一思想,最早可以追溯到,在这篇论文中,范·本特姆将直觉主义逻辑中的“负载信息”称为隐知识,与之对应的是认知逻辑中的显知识。二者的区别主要在于,认知逻辑在经典逻辑的基础上增加了模态算子疵魅返谋泶镉锎省爸5馈保⒃谀P椭用不可区分可能世界范围来表示主体的认知状态,直觉主义逻辑没有明确的语言来表达信息,而是在语义上通过对逻辑常元的“负载性”馐屠幢硎镜模绻剑矢萦镆褰释,每个状态都有一个后续状态使得妒成立,或在有穷树的所有终结点上妒成立。从认知的角度可以理解为:我们现在就已经“知道”妒一定会成立的,而在认知逻辑中,用俣手苯颖达上述意思,显然前者不如后者那么明确与直接。菇徊教致哿酥本踔义逻辑所含的隐信息与认知逻辑中的显信息之间的关系,指出某些行动如宣告,观察评,内省梢越畔转化成显信息。在这一思想的启发下,我们认为偏好作为一种基本信息,同样具有隐显之分。随着逻辑发展的不断深入以及运用领域和范围的不断扩展,偏好作为哲学、博弈论、决策论和效益理论等学科的重要概念也越来越受到逻辑学者的重视。近年来,关于偏好的研究日益成为逻辑运用理论的熟点之一,越来越多的国内外学者运用逻辑的工具对偏好概念及其逻辑性质进行研究,有一大批关于偏好不同方面的学术成果问世。汉森·年出版的《哲学逻辑手册》的“偏好逻辑”~章中,对此前的偏好逻辑研究做了全面的综述。当前关于偏好的研究主要集中在偏好的改变綣.⑵ê糜胫J丁⑿拍畹热现8拍畹墓叵约捌ê迷谏缁嵫≡裰械挠τ..】论文所选取的偏好逻辑基于许多学者的工作,它产生于获得充分的发展。该偏好逻辑语言用算子口‘,口‘来明确表示主体的偏好信息,并在语义模型中将偏好处理成准序纱耍梢越淇醋魇呛邢偏好信息的逻辑。但是还没有看到对隐偏好如何进行逻辑刻画的研究文献。【,【,【產【.浚⒃赱.;,琣琣阕拥亩耘***阕印
研究思路及主要内容西南大学硕士学位论文鉴于偏好作为人类行为中的一个基本概念,在众多学科中具有重要的地位,如它是博弈论中个体理性,道义逻辑中的义务和社会选择理论中集体决策的基础。因此,本文对偏好这一概念从隐显两个角度进行逻辑分析,有助于对偏好概念的精确化理解,另~方面隐偏好逻辑的提出及研究方式具有一定的理论