世界哲学
世界哲學
세계철학
World Philosophy
1979年
3期
39~47
,共null页
形式系统 元逻辑 形式语言 哥德尔 子语句 谓词演算 定理 自然语言 协调性 不可判定
形式繫統 元邏輯 形式語言 哥德爾 子語句 謂詞縯算 定理 自然語言 協調性 不可判定
형식계통 원라집 형식어언 가덕이 자어구 위사연산 정리 자연어언 협조성 불가판정
<正> 1.形式语言和形式系统 1.1 语法和语义元逻辑(metalogic)可以定义为对形式语言和形式系统的语法和语义的研究。它与自然语言的形式处理有关,但不包括自然语言的形式处理。一形式语言通常需要一组形成规则,即对合式公式(语句或有意义的表达式)的机械的和完全的详细说明。这个详细说明通常包含三部分:机械地给定原始符号(基本单位)表,这些符号的某些组合被机械地
<正> 1.形式語言和形式繫統 1.1 語法和語義元邏輯(metalogic)可以定義為對形式語言和形式繫統的語法和語義的研究。它與自然語言的形式處理有關,但不包括自然語言的形式處理。一形式語言通常需要一組形成規則,即對閤式公式(語句或有意義的錶達式)的機械的和完全的詳細說明。這箇詳細說明通常包含三部分:機械地給定原始符號(基本單位)錶,這些符號的某些組閤被機械地
<정> 1.형식어언화형식계통 1.1 어법화어의원라집(metalogic)가이정의위대형식어언화형식계통적어법화어의적연구。타여자연어언적형식처리유관,단불포괄자연어언적형식처리。일형식어언통상수요일조형성규칙,즉대합식공식(어구혹유의의적표체식)적궤계적화완전적상세설명。저개상세설명통상포함삼부분:궤계지급정원시부호(기본단위)표,저사부호적모사조합피궤계지