语言、逻辑与逻辑代数化——逻各斯信仰向计算机运算模式的演化路径

逻各斯信仰被语言哲学概括为"存在是一";建立在逻各斯基础上的形式逻辑推理以文字符号为中介;17世纪,莱布尼兹自创数学符号取代文字,将传统逻辑转化为数学演算形式,称为符号逻辑;19世纪英国逻辑学家乔治布尔将符号逻辑的"与""或""非"三种基本运算转化为用二进制符号0、1表示的"逻辑乘""逻辑加""逻辑非"三种代数演算,建立"布尔代数";符号逻辑与布尔代数的运演系统都完全包含并大大超越了形式逻辑系统;进入20世纪,0、1符号成为计算机机器语言的代码,其基础运算模式采用的正是布尔代数;整个演化顺序表述为:逻各斯信仰——形式逻辑——符号逻辑——布尔代数——计算机运算模式,进入21世纪,西方终于以计算机的形式,完成了对古希腊逻各斯信仰的实践性论证。