本文主要研究馮-賴特的行動邏輯理論。對行動的研究最早可以追溯到亞里士多德，亞氏當(dāng)時就已經(jīng)對行動進(jìn)行了分類描述。其后的哲學(xué)家對行動進(jìn)行了各種說明和解釋，也從邏輯學(xué)的角度對行動進(jìn)行了研究。 馮-賴特的行動理論在各種理論中獨(dú)樹一幟。他1951年創(chuàng)建的現(xiàn)代道義邏輯系統(tǒng)把所處理的主要客體對象看作是行動的名稱。到20世紀(jì)70年代，他把關(guān)于行動名稱的邏輯作了改進(jìn)，在對行動概念予以分析之后，引入了行動句的概念，構(gòu)建了二個行動邏輯演算系統(tǒng)。到80年代，他以分類的方式對行動進(jìn)行研究，給出了對行動邏輯的一個相對來說充分系統(tǒng)的描述。 本文主體分為四個部分。第一部分介紹了馮-賴特對行動的說明和理解。第二部分討論馮-賴特的行動推理模式——實(shí)踐三段論。第三部分闡述了馮-賴特建立的行動邏輯演算。第四部分詳細(xì)闡述了馮-賴特行動邏輯中二個重要的算子B、S的引入及對它們的具體研究。 

【文章來源】：華南師范大學(xué)廣東省 211工程院校

【文章頁數(shù)】：50 頁

【學(xué)位級別】：碩士

【文章目錄】：
中文摘要
英文摘要
引言
一、 馮-賴特的行動概念和對行動的說明和理解
二、 馮-賴特的實(shí)踐三段論
三、 馮-賴特建立的行動邏輯演算
    (一) 行動語句的分析和符號構(gòu)建
    (二) 基于命題邏輯建立的演算
    (三) 基于謂詞邏輯建立的演算
四、 馮-賴特引入的BS算子及其行動邏輯
    (一) 二個行動算子B、S的引入
    (二) BS算子的運(yùn)用
    (三) BS算子的特點(diǎn)、BS-語句及其量化
參考文獻(xiàn)
后記



本文編號：3304979