【摘要】软件从某种意义上说，就是以各种程序设计语言记载、并运行在遍布全球的计算基础设施上的人类思想。人类社会文明程度越高，对软件的依赖越大。人类的思想异化为软件，但我们自身却迷失在软件所营造的异度空间中。软件的逻辑就是以言行事的逻辑，软件程序操控着人造世界，我们就生活在其中。从语言学视角对软件进行分析，有助于我们脱离细节的牵绊，从纯理论看待这个极其复杂的怪物。我们可以借用语言学的语法、语义和语用，把这三个因素表征为三维的坐标系。（1）语义维度我们可以把各类计算模型安排在语义维度上，数学家和计算机科学家已经构造出五花八门的计算理论，比如自动机、图灵机、冯诺曼机、函数式模型、逻辑式模型、并发模型、... 阅读全文