逻辑和语言有着十分密切的关系,逻辑学与其他科学不同,它有着自己专门一套表述的语言符号。亚里士多德是逻辑学的创始人,从他开始,对逻辑学的研究所使用的语言是半形式化语言,即在自然语言的基础上增加了一些特殊的符号。17世纪德国著名哲学家、逻辑学家莱布尼茨使亚里士多德逻辑开始了“新生”,他认为要建立一种通用的语言,通过这种语言使哲学家争论的问题变成数学计算。这里,他最早提出了数理逻辑的两个基本思想:构造形式语言和建立演算。19世纪中叶,英国数学家布尔创建了逻辑代数,初步实现了莱布尼茨的设想。稍后的德国著名逻辑学家、哲学家弗雷格在《概念文字》中建立了一种形式语言,并通过这种形式语言构造了第一个一阶谓词演算系统,由此实现了莱布尼茨的设想。1910-1913年,英国逻辑学家罗素和怀特海的《数学原理》出版,改进了弗雷格的表述方式,并发展和完善了数理逻辑的演算系统。之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。本文依循西方逻辑史的演进来研究逻辑语言从半形式化语言到形式化语言的发展。目前,逻辑学界和语言学界尚没有以西方逻辑史为主线研究逻辑形式语言形成和发展的专著,只有若干篇研究逻辑语言的论文。鉴于此,我便想涉足该研究领域,大胆尝试,从逻辑所使用的自然语言、半形式化语言及形式化语言的视角剖析逻辑学的发展,尽可能把逻辑语言的发展脉络梳理清晰,并进行深入分析和研究。