哲学研究
哲學研究
철학연구
Philosophical Researches
1978年
8期
61~64
,共null页
逻辑学的发展 二十世纪 现代逻辑 历史时期 发展缓慢 主要部分 数理 数学 迅速发展 机器证明
邏輯學的髮展 二十世紀 現代邏輯 歷史時期 髮展緩慢 主要部分 數理 數學 迅速髮展 機器證明
라집학적발전 이십세기 현대라집 역사시기 발전완만 주요부분 수리 수학 신속발전 궤기증명
<正> 逻辑学是一门古老的科学,在很长的历史时期内,发展缓慢;但近一百年来得到了迅速的发展。人们通常把近一百年来迅速发展起来的逻辑学叫做现代逻辑,它的主要部分是数理逻辑。数理逻辑,按其性质,既是逻辑学又是数学。数理逻辑的建立是逻辑学
<正> 邏輯學是一門古老的科學,在很長的歷史時期內,髮展緩慢;但近一百年來得到瞭迅速的髮展。人們通常把近一百年來迅速髮展起來的邏輯學叫做現代邏輯,它的主要部分是數理邏輯。數理邏輯,按其性質,既是邏輯學又是數學。數理邏輯的建立是邏輯學
<정> 라집학시일문고로적과학,재흔장적역사시기내,발전완만;단근일백년래득도료신속적발전。인문통상파근일백년래신속발전기래적라집학규주현대라집,타적주요부분시수리라집。수리라집,안기성질,기시라집학우시수학。수리라집적건립시라집학