世界哲学
世界哲學
세계철학
World Philosophy
1986年
4期
70~76
,共null页
模态逻辑;哥德尔;陈述;不完全性定理;可证性;公理系统;公式;必然性;重言式;逻辑研究
模態邏輯;哥德爾;陳述;不完全性定理;可證性;公理繫統;公式;必然性;重言式;邏輯研究
모태라집;가덕이;진술;불완전성정리;가증성;공리계통;공식;필연성;중언식;라집연구
<正> 这篇文章的主题是说明这样一种方法,就是用亚里士多德首先研究并称为模态逻辑的一个古代的逻辑分支来阐明一个现代的逻辑分支,即由 D.希尔伯特开创而由 K.哥德尔实现的对于数学自身的数学研究。模态逻辑研究的基本概念是必然性和可能性:一个陈述称为“必然的”,如果它必定是真的,称为“可能的”,如果它可能是真的。比如,因为在2000年可能有一场战争,陈述“在2000年将有一场战争”是可能的,但它不是必然的,因为那时可能没有战争。另一方面,“在2000年将有一场战争
<正> 這篇文章的主題是說明這樣一種方法,就是用亞裏士多德首先研究併稱為模態邏輯的一箇古代的邏輯分支來闡明一箇現代的邏輯分支,即由 D.希爾伯特開創而由 K.哥德爾實現的對于數學自身的數學研究。模態邏輯研究的基本概唸是必然性和可能性:一箇陳述稱為“必然的”,如果它必定是真的,稱為“可能的”,如果它可能是真的。比如,因為在2000年可能有一場戰爭,陳述“在2000年將有一場戰爭”是可能的,但它不是必然的,因為那時可能沒有戰爭。另一方麵,“在2000年將有一場戰爭
<정> 저편문장적주제시설명저양일충방법,취시용아리사다덕수선연구병칭위모태라집적일개고대적라집분지래천명일개현대적라집분지,즉유 D.희이백특개창이유 K.가덕이실현적대우수학자신적수학연구。모태라집연구적기본개념시필연성화가능성:일개진술칭위“필연적”,여과타필정시진적,칭위“가능적”,여과타가능시진적。비여,인위재2000년가능유일장전쟁,진술“재2000년장유일장전쟁”시가능적,단타불시필연적,인위나시가능몰유전쟁。령일방면,“재2000년장유일장전쟁