哲学研究
哲學研究
철학연구
Philosophical Researches
2005年
11期
97~101
,共null页
语言逻辑 20世纪 研究对象 推理机制 思维方式
語言邏輯 20世紀 研究對象 推理機製 思維方式
어언라집 20세기 연구대상 추리궤제 사유방식
语言逻辑(The Logic of Language)又叫自然语言的逻辑(The Logic of Natural Language),是以自然语言中的逻辑问题为研究对象的一门新兴学科。逻辑是研究推理的科学,语言逻辑就是研究自然语言中的推理问题的科学。它与一般逻辑之间的区别就在于它以自然语言为研究对象,是自然语言的语形学、语义学、语用学三者的综合。研究自然语言中的推理问题,既可以用描述的方法,说明推理的过程,阐述推理的机制;也可以用形式化的方法,构建形式系统和语义模型,证明形式系统的一致性和完全性。用前一种方法形成的语言逻辑可以称为描述的语言逻辑,用后一种方法形成的语言逻辑可以称为形式的语言逻辑。
語言邏輯(The Logic of Language)又叫自然語言的邏輯(The Logic of Natural Language),是以自然語言中的邏輯問題為研究對象的一門新興學科。邏輯是研究推理的科學,語言邏輯就是研究自然語言中的推理問題的科學。它與一般邏輯之間的區彆就在于它以自然語言為研究對象,是自然語言的語形學、語義學、語用學三者的綜閤。研究自然語言中的推理問題,既可以用描述的方法,說明推理的過程,闡述推理的機製;也可以用形式化的方法,構建形式繫統和語義模型,證明形式繫統的一緻性和完全性。用前一種方法形成的語言邏輯可以稱為描述的語言邏輯,用後一種方法形成的語言邏輯可以稱為形式的語言邏輯。
어언라집(The Logic of Language)우규자연어언적라집(The Logic of Natural Language),시이자연어언중적라집문제위연구대상적일문신흥학과。라집시연구추리적과학,어언라집취시연구자연어언중적추리문제적과학。타여일반라집지간적구별취재우타이자연어언위연구대상,시자연어언적어형학、어의학、어용학삼자적종합。연구자연어언중적추리문제,기가이용묘술적방법,설명추리적과정,천술추리적궤제;야가이용형식화적방법,구건형식계통화어의모형,증명형식계통적일치성화완전성。용전일충방법형성적어언라집가이칭위묘술적어언라집,용후일충방법형성적어언라집가이칭위형식적어언라집。