哲学研究
哲學研究
철학연구
Philosophical Researches
1979年
3期
25~34
,共null页
传统逻辑 数学基础 数理 兴起与发展 三段论 实质蕴涵 蕴涵怪论 布尔代数 命题演算 模态逻辑
傳統邏輯 數學基礎 數理 興起與髮展 三段論 實質蘊涵 蘊涵怪論 佈爾代數 命題縯算 模態邏輯
전통라집 수학기출 수리 흥기여발전 삼단론 실질온함 온함괴론 포이대수 명제연산 모태라집
<正> 一、传统逻辑的不足 数理逻辑的兴起与发展是沿着两条路的。其一是感到传统逻辑有不足的地方,加以改进,从而引起数理逻辑。另一个则是由数学基础的研究而引起的。现在我们先就第一方面立论,关于数学基础的研究方面,待我们有机会时再另文讨论。
<正> 一、傳統邏輯的不足 數理邏輯的興起與髮展是沿著兩條路的。其一是感到傳統邏輯有不足的地方,加以改進,從而引起數理邏輯。另一箇則是由數學基礎的研究而引起的。現在我們先就第一方麵立論,關于數學基礎的研究方麵,待我們有機會時再另文討論。
<정> 일、전통라집적불족 수리라집적흥기여발전시연착량조로적。기일시감도전통라집유불족적지방,가이개진,종이인기수리라집。령일개칙시유수학기출적연구이인기적。현재아문선취제일방면립론,관우수학기출적연구방면,대아문유궤회시재령문토론。