哲学研究
哲學研究
철학연구
Philosophical Researches
2009年
11期
60~68
,共null页
《概念文字》 弗雷格 纪念 结构 函数 现代逻辑 自然演绎系统 自然语言
《概唸文字》 弗雷格 紀唸 結構 函數 現代邏輯 自然縯繹繫統 自然語言
《개념문자》 불뢰격 기념 결구 함수 현대라집 자연연역계통 자연어언
人们赞美现代逻辑有许多说法，比如，它采用公理系统的方法，从而使逻辑成为一门科学；它采用自然演绎系统的方法，可以比较自然地刻画和描述日常推理的实践；它采用形式化的方法，因而消除了自然语言的歧义，使逻辑达到精确性；它提供了一种普遍的构造语言和建立演算的方法，
人們讚美現代邏輯有許多說法，比如，它採用公理繫統的方法，從而使邏輯成為一門科學；它採用自然縯繹繫統的方法，可以比較自然地刻畫和描述日常推理的實踐；它採用形式化的方法，因而消除瞭自然語言的歧義，使邏輯達到精確性；它提供瞭一種普遍的構造語言和建立縯算的方法，
인문찬미현대라집유허다설법，비여，타채용공리계통적방법，종이사라집성위일문과학；타채용자연연역계통적방법，가이비교자연지각화화묘술일상추리적실천；타채용형식화적방법，인이소제료자연어언적기의，사라집체도정학성；타제공료일충보편적구조어언화건립연산적방법，
