阿尔弗雷德·塔斯基，美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。
在数学和数理逻辑中，逻辑代数是抽象代数的一个分支，其变量的值仅为真和假两种真值。初等代数中变量的值是数字，而且主要的运算是加法、乘法和乘方，而逻辑代数的主要运算有合取与，记为∧；逻辑或或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。
《周易的自然哲学与道德涵义》为牟宗三在北京大学哲学系三年级时完成的作品，书名原为《从周易方面研究中国之玄学及道德哲学》，在台湾重新出版时改为今名。该书并非为专门解析《周易》本文而作，其最大目的在于“确指中国思想之哲学的系统，并为此哲学的系统给一形式系统焉”；而又主要就胡煦和焦循二人的易学著作来阐发其各自的“自然哲学”和“道德哲学”。牟宗三写作此书时尚未接触宋明理学及康德哲学，而是“在数理逻辑以及伯特兰·罗素、阿尔弗雷德·诺思·怀特黑德、维特根斯什坦的思想背景下进行”，故与其后来的著作思想相较显得十分不同；而牟氏亦对于年轻时的这部作品有所后悔。
弗里德里希·路德维希·戈特洛布·弗雷格，著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。
递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论有所重叠。
阿兰德·海廷是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化。
弗里德里希·路德维希·戈特洛布·弗雷格，著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。
摹状词理论是数理逻辑、语言哲学和分析哲学上的一个极重要的理论，被誉为分析哲学的典范。运用这个理论可以将日常语言中的描述语进行改写，得到数理逻辑的形式，从而避免一些日常语言中可能出现的逻辑悖论。该理论的最早阐发是由伯特兰·罗素在1905年的一篇论文《论指称》中完成的。
在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。
证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，和本质上是语义学的模型论形相反。和模型论，公理化集合论，以及递归论一起，证明论被称为数学基础的四大支柱之一。
Mini wiki
