逻辑学研究
邏輯學研究
라집학연구
Supplement to the Journal of Sun Yatsen University
2013年
4期
105~115
,共null页
相干逻辑 情境论 信息 邻界
相榦邏輯 情境論 信息 鄰界
상간라집 정경론 신식 린계
相干逻辑的情境论解释属于相干逻辑的直观语义。情境论以集合论的方式处理信息,用＂邻界＂的概念拓宽了可能世界语义学。情境论不仅以直观的方式解释了相干逻辑,还在相干逻辑如何解决蕴涵怪论,如何进一步修正逻辑上具有重要作用,理当受到现代逻辑学家更多的关注。
相榦邏輯的情境論解釋屬于相榦邏輯的直觀語義。情境論以集閤論的方式處理信息,用＂鄰界＂的概唸拓寬瞭可能世界語義學。情境論不僅以直觀的方式解釋瞭相榦邏輯,還在相榦邏輯如何解決蘊涵怪論,如何進一步脩正邏輯上具有重要作用,理噹受到現代邏輯學傢更多的關註。
상간라집적정경론해석속우상간라집적직관어의。정경론이집합론적방식처리신식,용＂린계＂적개념탁관료가능세계어의학。정경론불부이직관적방식해석료상간라집,환재상간라집여하해결온함괴론,여하진일보수정라집상구유중요작용,리당수도현대라집학가경다적관주。
Relevant logic＇s situation theory belongs to relevant logic＇s intuitive semantics. Situation theory based on set theory processes information, broadens possible world se- mantics with the notion of neighbourhood and construct relevant implication＇s ternary semantics relation with intuitive method. Situation theory plays an important role in how to solve implication paradox and how to modify relevant logic. So, it should be paid more attention by modem logicians.
