“社会软件”(social software)这一概念最早是由罗希特·派瑞克(Rohit Parikh)提出来的。所谓社会软件，即社会过程的形式化分析和设计。作为跨学科的研究项目，社会软件通过博弈论和计算机科学中的数学工具和技术来分析、设计社会过程。跟计算机科学家研发计算机软件一样，逻辑学家的任务在于用逻辑系统建构社会过程(社会程序)。目前关于社会软件的研究分为三个不同但相互关联的类别：社会结构建模、形成关于社会过程正确性的理论、设计社会过程。
　　 尽管社会软件和计算机软件较类似，不过二者有一些重要差别。譬如，信息互动和动机供应两个因素对分析社会过程很重要，却被计算机软件研究所忽视。虽然并发理论、密码术和分布计算理论都处理了第一个因素，但是这些领域中的很多基础假设若应用到社会过程中是不切实际的。第二个因素可以说是博弈论的研究范围，但是博弈论对其研究很浅，缺乏计算机科学的精密工具，如模块化和数据类型。本文的目标是对一些典型的可用于证实社会过程、注重社会情境中的信息流动的形式化结构进行阐释。
　　 本文首先对社会软件的基本内容进行阐释，之后简要概述了研究社会软件必要的两个基础逻辑工具：认知逻辑和基于历史的结构，接下来通过对基础工具的扩充，重点介绍了两个可以对社会过程进行形式化分析的逻辑工具：基于知识的义务模型和交流图的逻辑模型，在逻辑结构的研究中会同时给出具体的应用实例，以便清晰地认知社会软件的应用过程，最后对社会软件的逻辑形式分析过程中存在的问题进行了一些总结。