哲学研究
哲學研究
철학연구
Philosophical Researches
1986年
6期
57~63
,共null页
模态命题;模态逻辑系统;命题逻辑;可能世界;模型类;模态词;公式;亚里士多德;数理逻辑;模态系统
模態命題;模態邏輯繫統;命題邏輯;可能世界;模型類;模態詞;公式;亞裏士多德;數理邏輯;模態繫統
모태명제;모태라집계통;명제라집;가능세계;모형류;모태사;공식;아리사다덕;수리라집;모태계통
<正> 早在古希腊,亚里士多德就对模态命题作过讨论。但用数理逻辑方法研究模态命题是始于本世纪初。刘易斯(C.I.Lewis)从研究严格蕴涵出发,在命题逻辑中加进模态词L(必然)和M(可能)而构造了模态逻辑系统
<正> 早在古希臘,亞裏士多德就對模態命題作過討論。但用數理邏輯方法研究模態命題是始于本世紀初。劉易斯(C.I.Lewis)從研究嚴格蘊涵齣髮,在命題邏輯中加進模態詞L(必然)和M(可能)而構造瞭模態邏輯繫統
<정> 조재고희석,아리사다덕취대모태명제작과토론。단용수리라집방법연구모태명제시시우본세기초。류역사(C.I.Lewis)종연구엄격온함출발,재명제라집중가진모태사L(필연)화M(가능)이구조료모태라집계통