什么是形式科学的基础理论？

形式科学，本质上是形而上的科学，符合这个要求的学科包括数学、逻辑学、理论计算机科学，一部分语言学分支、包括句法理论和语义理论，以及一部分以逻辑学为基础的哲学（例如数学哲学、语言哲学以及更广泛的科学哲学）。
在本专栏中，我们的兴趣集中在所有这些学科的共通部分，包括类型论/λ-演算、组合逻辑、范畴论、泛代数、数理逻辑中的证明论和模型论、以及形式语言和自动机理论。
在哲学部分，目前我们的兴趣主要集中在逻辑实证主义的学说，包括计划中的卡尔纳普、塔尔斯基的著作。以此为基础，非标准逻辑部分专注于Haskell Curry的组合逻辑。
从长远来看，哲学部分将集中在两大领域：本体论（ontology）和知识论（epistemology）。
在数学部分，重点是抽象代数和范畴论，以及由此派生的泛代数，关注的焦点是结构的概念。形式语言和自动机理论已经成为理论计算机科学的核心内容，但是其主要工具仍然是数学，包括集合论和图论的内容。
而在逻辑部分，我们这里主要关注类型论。由于类型论是包括数学、逻辑、计算机科学共同关心的话题，我们这里的重点放在逻辑部分。本栏的内容是所有形式科学包括理论语言学、计算语言学和形式语义学的理论基础。
由于这里所介绍的属于技术性比较强的内容，因此每一专题均以一部或若干部教科书为本，本人尽量做通俗易懂的解说，不追求严谨性和完整性，只做科普。