刻畫不同應(yīng)當(dāng)算子的STIT邏輯
發(fā)布時(shí)間:2021-03-21 04:13
應(yīng)是語(yǔ)句與應(yīng)做語(yǔ)句是道義邏輯所刻畫的兩類重要的語(yǔ)句。貝爾納普等曾利用STIT邏輯給出了應(yīng)做語(yǔ)句的三種定義方式,這三種定義方式分別通過(guò)對(duì)行動(dòng)中主事性因素的不同要求來(lái)給出應(yīng)做語(yǔ)句的不同構(gòu)造。在應(yīng)做語(yǔ)句的這三種定義的基礎(chǔ)上,我們將利用STIT邏輯給出一個(gè)探討兩類語(yǔ)句間聯(lián)系和區(qū)別的系統(tǒng)進(jìn)而體現(xiàn)主事性的不同要求對(duì)兩類語(yǔ)句間關(guān)系的影響。
【文章來(lái)源】:世界哲學(xué). 2019,(05)北大核心CSSCI
【文章頁(yè)數(shù)】:5 頁(yè)
【文章目錄】:
一、引言
二、STIT邏輯及其在道義邏輯中的應(yīng)用
三、系統(tǒng)的構(gòu)件與解析
四、結(jié)語(yǔ)
本文編號(hào):3092302
【文章來(lái)源】:世界哲學(xué). 2019,(05)北大核心CSSCI
【文章頁(yè)數(shù)】:5 頁(yè)
【文章目錄】:
一、引言
二、STIT邏輯及其在道義邏輯中的應(yīng)用
三、系統(tǒng)的構(gòu)件與解析
四、結(jié)語(yǔ)
本文編號(hào):3092302
本文鏈接:http://sikaile.net/shekelunwen/ljx/3092302.html
最近更新
教材專著