Reference 1： 逻辑学从哲学中独立出来的趋势以后便被人们发现是属于数学。因此当把作为数学的逻辑学同传统逻辑学突出地区分开来的时候，人们就将其成为符号逻辑（symbolic logic）或者数理逻辑（mathematical logic）。当然也是有许多人只称其为逻辑学或现代逻辑学的。
然而逻辑学并不是全部成了数学，它尽管限制在符号逻辑里，也还是有不能归入数学的哲学方面。
辩证法（dialectic）
非形式逻辑（informal logic），日常语言学派，日常语言分析；
形式逻辑（formal logic），人工语言学派，对人工语言的分析，采用符号逻辑方法构成人工语言；
形式科学，论证，理论内完成的证明。
经验科学，实证，以对经验事实观察为必要条件的证明。
归根到底，最终决定真假的必须是实证。
一切学问都使用语言来构成理论，而在理论中又有对象理论（object theory）和元理论（metatheory）的区分。即一切学问都具有对象理论和元理论两个方面。
对象科学，主要着重于对象理论；元科学，主要着重于元理论。
对象科学例子：
元科学例子：
对象理论，是关于语言之外的对象的理论；元理论，是关于语言的理论。所以在元科学中使用的方法主要是语言分析（linguistic analysis）。
Q&A 什么是语形论/语义论/语用论方法？ 什么是应用逻辑？ Reference 1 （前言） 对逻辑方法的大致划分，三个方面： 语形论方法 语义论方法 语用论方法 纯逻辑（不包括
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?