The highest compliment that can be paid the author of a piece of conceptual analysis comes not when his suggested definition survives whatever criticism may be leveled against it, or when the analysis is acclaimed unassailable. The highest compliment comes when the suggested definition is no longer seen as the result of conceptual analysis -- when the need for analysis is forgotten, and the definition is treated as common knowledge.
——John Etchemendy
(向某一概念分析的作家致以最崇高的敬意并不是因为所提出的定义承受了所有的批判仍然成立，也不是因为这个定义被公认为无懈可击。最高的敬意是：提出的定义已经不再被视为对概念分析的结果——我们已经忘记对这个概念还需要做分析，它已经成为人所共知的常识)
本栏内容：包括以下3个方面：
1. 始于弗雷格1879年《Begriffsschrift》止于哥德尔1931年《Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I》近代逻辑和数学基础
2. 始于波兰数理逻辑学家阿伊杜凯维茨1935年《Die syntaktische konnexität》和巴希尔1953年《A quasi-arithmetical notation for syntactic description》现代自然语言逻辑。
3. 始于上世纪1930年代的计算理论
前者是科学史上最重要的、里程碑式的新的发展巅峰，以谓词逻辑为发轫、以公理化的演绎系统为框架、以集合论为基础，创立了人类历史上空前精密严谨的科学体系，最后定格于哥德尔不完全性定理。可以毫不夸张地说，20世纪后半叶产生的产生的信息论、控制论和系统科学、以及以计算机科学核心的信息革命是这一时期积累的全部数学、逻辑和哲学知识的爆发性应用，换句话说，近代数理逻辑和数学基础的产生和发展，为现今的信息技术奠定了理论基础。这期间，群星璀璨、人才辈出，形形色色的学术流派、人物、学说令人眼花缭乱。
后者，萌芽于上世纪二战前后，成形于上世纪1960年代，是近代逻辑在新的时代进一步发展的新方向。用逻辑的方法研究自然语言，本身虽不是新观念，但真正作为严肃的研究对象则始于蒙太古的《The Proper Treatment of Quantification in Ordinary English》，从此催生了使用逻辑的方法研究自然语言句法和语义的新学科——自然语言逻辑。如果要类比于近代逻辑和数学哲学，到目前为止，人类的知识尚未达到弗雷格时代的水准，离建立严密、精确的公理化系统更是有很长的路要走。对自然语言语义的研究，除了逻辑学外、已成为计算机科学、理论语言学、计算语言学和自然语言处理、数学（概率统计）、人工智能（机器学习）、认知科学、心理学等多学科关注的交叉点：【逻辑、语言、意义、计算、认知】是对这个学科的最简洁的、关键词式的描述。
本栏的目的就是展现自1879年以来，逻辑学、数学哲学、数理逻辑和自然语言逻辑的发展历程：包括学派、学说、著名学者。展示的基本脉络如下：
1. 19世纪末20上半叶为止欧洲出现的三大形式学派：逻辑主义（logicism）、直觉主义（tuitionism）和形式主义（formalism）
2. 美国学派：以皮尔斯、刘易斯、波斯特为代表
3. 波兰学派：勒什涅斯基（leśniewski）、塔尔斯基、阿伊杜凯维茨
4. 蒙太古语法和各种派生的范畴语法
5. 计算理论：可计算理论在1930-1940年代成为数理逻辑研究的重点，这些研究导致了关于计算的数学模型的出现，从这些模型人们了解到机械计算的本质。这样的计算模型有6个：
· Post的产生式系统（production system）
· 马尔科夫有限状态自动机模型（Markov's algorithm）
· 克里尼的递归函数理论（Kleene's recursive functions）
· Schönfinkel和Haskell Curry的组合逻辑模型（Schöfinkel's and Curry's combinators ）
· Church的λ-演算和类型理论（λ-Calculus and type theory）
· 图灵机：递归可枚举自动机模型（recursively enumerable automaton）