《西南联大逻辑学通识课》第二章 part5
越到后面越进入到逻辑学的深水区，就是19世纪后期的发展起来的现代逻辑学，其中以罗素为代表。19世纪后期的现代逻辑学对传统逻辑学的空白和歧义之处更进一步的区分、定义，以消除各种模糊的空间。
这是因为人类的语言中，很少是用来描述客观事实的，大多用来表达诉求、表达主观感受和情感。从英语的语法结构就能窥之一二。英文语句分为四种：1、请求、希望、命令语句；2、询问语句；3、惊叹语句；4、直叙语句。其中请求、希望、命令是表达诉求，询问语句是咨询信息，这两者主要用来人与人直接的协作。惊叹语句只是抒发情感。只有直叙语句才是描述客观事实和事物逻辑的，它在人类的自然语言中占比很少。而逻辑学只研究其中直叙语句。
在19世纪之前的传统逻辑学就停留在对直叙语句的研究。人类自然语言中的直叙语句在很少的前提下，并且还不够精确，导致严重阻碍了人们更精确的描述客观事实和事物逻辑。比如，“是”这个字是一个多义词。他有以下多种含义：
（1）、包含。海鸥是水鸟。是表示海鸥之类被包含在水鸟之类之中。
（2）、分子。艾森豪威尔是一个名将。是表示艾森豪威尔 是名将中的一分子。
（3）、同一。苏轼是苏东坡。是表示苏轼 和 苏东坡 两个名称乃同一的个体。
（4）、相等。等角三角形是等边三角形。是表示两者相等。
从这个“是“这个字的歧义就发现人类的自然语言模糊性，它难以准确的描述客观事实和事物逻辑，因此，现代逻辑学从而应用而生了。它用单一独立的数学符号来表示不同的关系，不再重合，没有歧义。比如包含用“⊂”，分子用“∈”，同一用“≡” ，相等用“=”。
不但白马非马的诡辩再也无处遁形，而且人们对事物描述的也更准确客观。越看下去越会发现，现代逻辑学语言其实非常接近计算机的编程语言。或者说计算机编程语言是严格按照现代逻辑学语言的规范来实现的（图灵、冯.诺依曼等作为计算机发明的鼻祖首先就是逻辑学家和数学家）。现在计算机的底层原理可以说是一台硬件版的逻辑学运算机器，上面运行的编程语言就是逻辑学语言。