哲学研究
哲學研究
철학연구
Philosophical Researches
2000年
9期
72~78
,共null页
语义学 语义解释 相对 情况 设想 完全性 逻辑系统 邻域 命题逻辑 构造
語義學 語義解釋 相對 情況 設想 完全性 邏輯繫統 鄰域 命題邏輯 構造
어의학 어의해석 상대 정황 설상 완전성 라집계통 린역 명제라집 구조
推演系统并不一定是逻辑系统，在讨论一个推演系统是不是逻辑系统时，完全性是一个重要的标准。然而，完全性是相对于语义解释的，如果允许任意的语义解释，则完全性标准可能是无用的。设想这样的情况，有一种语义解释，使得所有的推演系统对于它都是完全的。实际上，确实有这样的语义解释。在本文中，我们构造一种适合于一切命题逻辑的语义学，在这种语义学中讨论推演系统的完全性。并利用这种完全性简单地讨论怎样的推演系统是逻辑系统。
推縯繫統併不一定是邏輯繫統，在討論一箇推縯繫統是不是邏輯繫統時，完全性是一箇重要的標準。然而，完全性是相對于語義解釋的，如果允許任意的語義解釋，則完全性標準可能是無用的。設想這樣的情況，有一種語義解釋，使得所有的推縯繫統對于它都是完全的。實際上，確實有這樣的語義解釋。在本文中，我們構造一種適閤于一切命題邏輯的語義學，在這種語義學中討論推縯繫統的完全性。併利用這種完全性簡單地討論怎樣的推縯繫統是邏輯繫統。
추연계통병불일정시라집계통，재토론일개추연계통시불시라집계통시，완전성시일개중요적표준。연이，완전성시상대우어의해석적，여과윤허임의적어의해석，칙완전성표준가능시무용적。설상저양적정황，유일충어의해석，사득소유적추연계통대우타도시완전적。실제상，학실유저양적어의해석。재본문중，아문구조일충괄합우일절명제라집적어의학，재저충어의학중토론추연계통적완전성。병이용저충완전성간단지토론즘양적추연계통시라집계통。
