本文關(guān)鍵詞：基于直覺(jué)主義邏輯的隱偏好分析

  更多相關(guān)文章： 直覺(jué)主義邏輯 顯信息 隱信息 隱偏好邏輯 嵌入

【摘要】：根據(jù)偏好及其變化是否在邏輯語(yǔ)言及語(yǔ)義模型中有直接的反映,可以將其分為隱偏好和顯偏好。本文旨在對(duì)含有隱偏好信息的邏輯進(jìn)行研究,基于對(duì)直覺(jué)主義邏輯中的認(rèn)知信息的分析,通過(guò)修改直覺(jué)主義邏輯的語(yǔ)義解釋提出了隱偏好邏輯,并證明了該邏輯系統(tǒng)的可靠性和相對(duì)于可區(qū)分模型類的完全性;最后,通過(guò)定義哥德?tīng)柺降姆g映射將隱偏好邏輯嵌入到偏好邏輯中。
【作者單位】： 西南大學(xué)邏輯與智能研究中心;
【關(guān)鍵詞】： 直覺(jué)主義邏輯 顯信息 隱信息 隱偏好邏輯 嵌入
【分類號(hào)】：B812
【正文快照】： 信息是認(rèn)知科學(xué)的重要概念,它雖然不是邏輯學(xué)的標(biāo)準(zhǔn)主題,但當(dāng)涉及到對(duì)邏輯的直觀理解和具體解釋時(shí),它便無(wú)處不在:關(guān)于事實(shí)(factual)與過(guò)程(procedural)的信息,靜態(tài)(static)與動(dòng)態(tài)(dynamic)的信息,剛性(hard)與柔性(soft)的信息交織在一起。近年來(lái),許多邏輯學(xué)家意識(shí)到信息在邏

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 顏中軍;;論直覺(jué)主義邏輯對(duì)經(jīng)典邏輯的挑戰(zhàn)[J];湘潭大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2011年03期

2 劉壯虎;哲學(xué)邏輯概論[J];北京航空航天大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2000年01期

3 任曉明;谷飆;;達(dá)米特對(duì)直覺(jué)主義邏輯的辯護(hù)[J];南開(kāi)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年04期

4 ;金岳霖學(xué)術(shù)獎(jiǎng)(邏輯學(xué))獲獎(jiǎng)作品簡(jiǎn)介(二)[J];思維與智慧;1991年02期

5 劉新文;;函數(shù)完備性問(wèn)題[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

6 陸尚強(qiáng);存在怪論的推導(dǎo)與分析及有關(guān)語(yǔ)意問(wèn)題[J];廣西師院學(xué)報(bào)(自然科學(xué)版);1998年03期

7 劉大中,董克誠(chéng);一階命題演算的希爾伯特型直覺(jué)主義系統(tǒng)[J];河北大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年02期

8 閆坤如;對(duì)排中律的辯證理解[J];淮陰師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2004年03期

9 余俊偉;;經(jīng)典邏輯視野下的非經(jīng)典否定[J];哲學(xué)動(dòng)態(tài);2010年07期

10 馮棉;;一類命題邏輯的一般弱框架擇類語(yǔ)義[J];邏輯學(xué)研究;2011年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前1條

1 俞穎杰;;達(dá)米特論指稱和涵義[A];第二屆中國(guó)科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 張保壘;表列演算探究[D];華東師范大學(xué);2011年

2 陳珊;核證邏輯研究[D];中國(guó)社會(huì)科學(xué)院研究生院;2011年

，

本文編號(hào)：836409