給出演算LLC+q的一個(gè)加模態(tài)算子的擴(kuò)充,即通過向LLC+q的語言中增加一個(gè)一元模態(tài)算子◇,進(jìn)而得到擴(kuò)充演算LLC+q+◇。LLC+q+◇這一演算不但能夠處理語言學(xué)中的回指以及量化問題,還能對(duì)"可能"這一模態(tài)詞進(jìn)行刻畫。除此之外,LLC+q+◇還能被用于分析皮爾士謎題并給出皮爾士謎題的一個(gè)范疇類型邏輯的處理方案。 

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

【文章目錄】：
一、演算LLC+q的基本構(gòu)造
二、演算LLC+q的擴(kuò)充
三、演算LLC+q+◇的應(yīng)用
四、結(jié)語


【參考文獻(xiàn)】：
期刊論文
[1]皮爾士謎題的范疇類型邏輯解析[J]. 賈青.  哲學(xué)動(dòng)態(tài). 2017(10)
[2]皮爾士謎題[J]. 賈青.  世界哲學(xué). 2015(05)



本文編號(hào)：3650145