自然语言的符号化(上)

(一) 逻辑学研究的中心问题是推理形式有效性的判定。作为这种判定的第一步,必须把推理符号化,即从用自然语言所表达的推理中抽象出刻划它的形式结构的符号表达式。显然,为了解决推理的符号化,必须一般地研究自然语言的符号化。看下面两个推理:     

多主体认知系统中的互知推理

在多主体认知系统中 ,每个主体都是一个推理者。多主体之间互知推理的复杂性在于 ,这种推理的对象中 ,不仅包括对象世界的知识 ,而且包含系统中其他的同样正在进行推理的主体 ;推理者对其他主体的思考及其结果进行推理 ,这些主体同样对推理者的思考及其结果进行推理。这使得推理的素材是弹性的 ,动态的 ,随着推理的过程不断变化的。这种推理 ,是对人的日常思维能力的挑战 ,也是对逻辑学的挑战。本文通过构造关于知道的模型 ,用逻辑语义学的方法 ,来刻划多主体之间的互知。形式语言Ｋ在形式语言Ｋ中 :1 ,2 ,… ,ｎ分别表示系统中ｎ个不同的主…     

自然语言的符号化(下)

上文讨论了命题逻辑层次上自然语言的符号化。本之继续讨论在谓词逻辑层次上自然语言的符号化。谓词逻辑区别于命题逻辑之处,就在于要进一步分析原子命题的内部结构。为此,需要定义一些新的符 号     

中国逻辑学会形式逻辑专业委员会2003年学术研讨会概述

由中国逻辑学会形式逻辑专业委员会主办、绵阳师范学院承办的逻辑学术研讨会于2003年12月13～15日在四川绵阳市举行,来自全国数十所高校和科研机构的专家学者出席了研讨会.与会者讨论了逻辑学的国际前沿动态、现代逻辑的发展及与相邻学科的交叉研究、语言逻辑的研究阶段和途径等学术问题.大会特别针对高等教育中非形式逻辑教学和批判性思维的学科理念、课程框架等热点问题进行了广泛热烈的探讨.     

语言、思维和逻辑——符号逻辑通俗讲座之一

1.什么是数理逻辑——一个需要商榷的提法在我国,人们习惯上称传统逻辑为形式逻辑,称现代逻辑为数理逻辑或符号逻辑。那么,什么是数理逻辑呢? 一种通常的提法是:数理逻辑是运用数学方法研究思维的形式结构及其规律的科学。这种提法需要商榷。首先,什么是数学方法?数学方法区别于其他方法之处,就在于它的精确性与严格性。用更本质的概念刻划,就在于它的逻辑性。因此,用“运用数学方法”来规定数理逻辑,难免有循环定义之嫌。事实上,用推     

真前提何以推出了假结论?——谈谈推理中的概念非空

小张对逻辑学有着浓厚的兴趣。他善于独立思考。很有钻研精神。有一次,他碰到了一个疑难问题,百思不得其解。为此,他去请教李老师。小张告诉李老师,他发现了一个推理,前提是真实的,推理结构是正确的,但结论却是虚假的.李老师笑了笑,很自信地说,这是不可能的.李老师说,正确的逻辑思维的功能,就在于从真前提一定能得出真结论.如果做不到这点,整个逻辑学就要垮台.     

推理它的有效性及其判定

从已知得到新知不是推理的本质规定逻辑有各种不同的定义。逻辑学家们在回答什么是逻辑这个问题时持有各种不尽相同乃至对立的观点,但在有一点上见解基本是一致的,即:逻辑学研究的中心课题是推理。那么,什么是推理呢? 一种常见的说法是:推理是从已知推出新知的思维形式。这又是一个需要商榷的提法。诚然,推出新知是推理的重要功能。人的知识无非两部分:感知的和推理的。“光速每秒三十万公里”,无法感知,只能推知。但是,推理的功能不等于推理的定义;推出新知,一般地说,是推理综合运用的结果;不能要求每个推理都推出新知。事实上,有的推理不推出新知。例如,任一命题推出它自身,并没有推出新知,但它确实地是一推理。它的推