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

语言、逻辑与逻辑代数化——逻各斯信仰向计算机运算模式的演化路径.pdf语言、逻辑与逻辑代数化
——逻各斯信仰向计算机运算模式的演化路径
陈锐
摘要:逻各斯信仰被语言哲学概括为“存在是一”;建立在逻各斯基础上的形式逻辑推理以文字符号为中介;
世纪,莱布尼兹自创数学符号取代文字,将传统逻辑转化为数学演算形式,称为符号逻辑;世纪英国逻辑学
家乔治布尔将符号逻辑的“与”“或”“非”三种基本运算转化为用二进制符号、表示的“逻辑乘”“逻辑加”“逻
辑非”三种代数演算,建立“布尔代数”;符号逻辑与布尔代数的运演系统都完全包含并大大超越了形式逻辑系
统;进入世纪,、符号成为计算机机器语言的代码,其基础运算模式采用的正是布尔代数;整个演化顺序
表述为:逻各斯信仰——形式逻辑——符号逻辑——布尔代数——计算机运算模式,进入世纪,西方终于以
计算机的形式,完成了对古希腊逻各斯信仰的实践性论证。
关键词:逻各斯信仰;形式逻辑;符号逻辑;二进制;布尔代数;计算机运算模式
中图分类号: 文献标识码: 文章编号:...—
一
、逻各斯信仰的语言本质都离不开“某某是某某”的语法形式,既然语言是逻各
语言是人类自创的第二自然,古希腊在原始自然崇斯的投射,那么“是”就是通向真理之道。巴门尼德将
拜的基础上,用语词崇拜取代了传统多神崇拜,并将这种其真理表述为“存在就是存在,不存在就是不存在”
言说的神圣性称为“逻各斯”。也有“存在”、“有”等多重词义,为后来逻辑学确定了
一从“多”到“一”“真”、“假”二元判断的基本格局。
和众多原始宗教一样,古希腊人的世界观秉持多神虽然中文的常用语不能用“某某是某某”的语式
论,希腊神话即宣扬万物的本源及运行规律皆由众神安全部概括,比如“我去散步”就不能说成“我是散步”,
排。随着文明进步,希腊的理性哲学家不满于这种杂多但著名哲学家邓晓芒认为,西方的语法可以把“我去散
混乱的思维状态,他们深信世界的本质是“一”而不是步”还原、变形为“某某是某某”的基本模式,“我去散步”
“多”,哲学家的使命就是发现纷繁现象之下的规律秩序。可以还原为现在进行时“我是在散步”
既然“一”是一切的开始,找到构成宇宙的最基本。于是,依靠“”的引导,古希腊人在语言中找
元素就找到了“一”。希腊智者关于世界本源的问题提到了精神归宿。
出了很多假设,赫拉克利特说“宇宙的本源是火”,阿纳二、形式逻辑——语言的形式化
克西曼德说“世界的本源是气”,各种推测轮番上阵,又经过不断探索,逻各斯信仰终于集大成于亚里士多
形成了“多”的格局。德创造的形式逻辑,发展为阐述有效推理原则的完整学
物质世界找不到答案,希腊人转向精神层次的语言。科。从此,运用各种符号追求信息处理的清晰和确定,成
巴门尼德秉持逻各斯信仰,率先提出“存在是一”的观为了西方文明发展的动力。
点。逻各斯是形式逻辑的前身,最初意思是“词语、言语一从“是什么”的语言纠纷到清晰的几何学证明
或规律”,可以引申为“用语言符号进行推理”的意思, 沿着巴门尼德的思路,希腊人意识到,要说清一个事
最早的表现形式是希腊语法。在原始互渗律的神秘主义情,传递一个消息,乃至寻求宇宙的真理,首先要把“什
思维指导下,古希腊人认为语言符号具有神性,不可随意么是什么”说清楚,也就是把概念定下来,降低信息编码
改变,由此将逻