符号逻辑概述

逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累累。 德国哲学家莱布尼兹(1646—1716)是符号逻辑的创始人,他提出要将推理化归于计算,要使逻辑成为通用的语言。他还做了许多尝试。但由于他精力分散。