逻辑语义学

逻辑语义学是一门新兴的学科。它的兴起,由于推动了计算机识别自然语言的研究,为现代语言学研究提供了基础;有助于对西方哲学、特别是科学哲学的分析研究、借鉴、批判,因此受到了广泛的关注,获得了迅速的发展。短短几十年就形成了     

论现代逻辑

现代逻辑是用形式化的方法研究思维的形式结构及其规律的学科。形式化是指用一套表意符号去表示概念、判断、推理,获得它们的形式及结构,从而把对概念、判断、推理的研究转化为对形式的符号系统的研究。本文论述了现代逻辑的内涵、外延、特征及其发展趋势。     

科学进步的性质和对它的承认

美国明尼苏达大学科学哲学教授厄尔曼(J.Earman)最近应中国社会科学院邀请访华讲学。在沪期间作了“科学进步的性质和对它的承认”的学术报告,现摘要如下:     

数理逻辑的发展

数理逻辑又称符号逻辑,是用数学方法研究思维形式的逻辑结构及其规律的学科。所谓数学方法,是指用一套表意符号(即形式语言系统)表达思维的形式结构和规律,从而把对思维的研究转化为对符号的研究。以便摆脱自然语言的歧义性,构成能像算术或代数那样的严格精确的演算系统。从逻辑     

塔斯基的真理论

塔斯基是美籍波兰大逻辑学家,他的真理理论由他对真理概念的精确分析组成,其主题是运用现代逻辑方法为真理概念作出一个实质上适当的、形式上正确的定义。本文就塔斯基真理论的目标、结构、意义、发展等作了述评。     

论逻辑语义学

论逻辑语义学朱水林逻辑语义学是采用现代逻辑方法，研究语言表达式及其意义之间关系的学科。目前发展迅猛。本文论述逻辑语义学的涵义、形成和发展，特别论证了它对逻辑学从外延转向内涵的跃进，对现代西方哲学的分析，对现代语言学的发展，对人工智能基础理论建设的重要...