哲学研究
哲學研究
철학연구
Philosophical Researches
1985年
10期
48~54
,共null页
相干逻辑;直觉主义逻辑;多值逻辑;模态逻辑;逻辑系统;联结词;弗雷格;主要领域;演算;大发展
相榦邏輯;直覺主義邏輯;多值邏輯;模態邏輯;邏輯繫統;聯結詞;弗雷格;主要領域;縯算;大髮展
상간라집;직각주의라집;다치라집;모태라집;라집계통;련결사;불뢰격;주요영역;연산;대발전
<正> 自从弗雷格以来,逻辑系统的研究已经得到了极其巨大的发展。这一巨大发展可以分成几个主要领域,其中之一就是非古典演算的发展,例如,路易士创立模态逻辑,卢卡西维奇和波斯特引进多值逻辑,布劳威倡导直觉主义逻辑。我们这里想要谈论的相干逻辑,也是一种非古典演算。相干逻辑是关于相干蕴涵的逻辑。相干蕴涵是顾及命题在内容上的联系的一种联结词。命题在内容方面的联系是具体而复杂多样的。相干蕴涵反映了可用命题变项之共同出现表示的内容上
<正> 自從弗雷格以來,邏輯繫統的研究已經得到瞭極其巨大的髮展。這一巨大髮展可以分成幾箇主要領域,其中之一就是非古典縯算的髮展,例如,路易士創立模態邏輯,盧卡西維奇和波斯特引進多值邏輯,佈勞威倡導直覺主義邏輯。我們這裏想要談論的相榦邏輯,也是一種非古典縯算。相榦邏輯是關于相榦蘊涵的邏輯。相榦蘊涵是顧及命題在內容上的聯繫的一種聯結詞。命題在內容方麵的聯繫是具體而複雜多樣的。相榦蘊涵反映瞭可用命題變項之共同齣現錶示的內容上
<정> 자종불뢰격이래,라집계통적연구이경득도료겁기거대적발전。저일거대발전가이분성궤개주요영역,기중지일취시비고전연산적발전,례여,로역사창립모태라집,로잡서유기화파사특인진다치라집,포로위창도직각주의라집。아문저리상요담론적상간라집,야시일충비고전연산。상간라집시관우상간온함적라집。상간온함시고급명제재내용상적련계적일충련결사。명제재내용방면적련계시구체이복잡다양적。상간온함반영료가용명제변항지공동출현표시적내용상