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