论现代逻辑

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