本文试图在传统的非合作博弈模型中引入一个公共参与人，其目标函数即为社会福利函数，并在纳什均衡的基础上提出了社会最优契约的解概念。为了确定合理的社会福利函数，本文探讨了个体偏好与社会偏好、个体效用与社会福利之间的关系。本文利用偏好函数将集体偏好的各种通常定义和性质都进行了改写。无差异准则和正反应准则是多数原则的充分必要条件；在集体理性假设下，无差异准则与帕累托准则是不兼容的。本文提出并证明了否决权定理，著名的寡头定理和阿罗不可能定理可视为这一定理的推论。本文也给出了帕累托扩展准则、等级制度和波达规则的一系列新的公理化条件。在社会福利泛函框架下，本文提出了最低正义准则，并表明在标准福利主义下，唯一满足弱帕累托准则、匿名性、比率不可比性和最低正义准则的社会福利函数是纳什社会福利函数，唯一满足弱帕累托准则、匿名性、基数可比性（或序数可比性）和最低正义准则的社会福利函数是罗尔斯主义社会福利函数。本文分别在策略型博弈和扩展性博弈中探讨了公共参与人和社会最优契约的概念。在完全信息策略型博弈中，我们在纳什均衡集上定义了社会最优契约，包括功利主义、罗尔斯主义和纳什最优契约，并证明了纳什均衡集是非空的紧集，从而由公共参与人的效用函数的连续性保证了社会最优契约的存在性。此外，不难看出，功利主义最优契约同时满足线性和基数单位可比性，罗尔斯主义最优契约满足基数可比性，而纳什最优契约则满足基数不可比性。在不完全信息策略型博弈中，我们在贝叶斯（纳什）均衡的基础上定义了社会最优贝叶斯契约。在奥曼模型中，我们对知识函数的定义进行了推广，并表明如果一个博弈的解是共同知识，那么该博弈的解是贝叶斯纳什均衡当且仅当其满足贝叶斯理性。经过适当的定义，我们也可以证明社会最优贝叶斯契约的存在性。在完美信息扩展型博弈中，我们在子博弈完美均衡集上定义了动态最优契约，并证明了子博弈完美均衡集是紧集，从而可以证明动态最优契约的存在性。在不完美信息扩展型博弈中，我们分别在序贯均衡和颤抖手完美均衡的基础上定义了序贯最优契约和颤抖手完美最优契约。本文也证明了，序贯均衡集和颤抖手完美均衡集都是非空的紧集，从而由公共参与人的效用函数的连续性可以保证序贯最优契约和颤抖手完美最优契约的存在性。最后，本文考察了策略型博弈的相关均衡，提出了社会最优相关契约的概念，并证明了其存在性，同时也表明了社会最优相关契约的线性和不变性特征与社会最优契约的性质类似。