• formal theory

  用于以数学术语理解各种行为的模型或一组规则和假设。 形式理论经常在政治学和心理学领域得到发展和研究。 形式理论的一个例子是所谓的囚徒困境模型，它可以应用于参与者必须在合作或竞争的成本和收益之间做出决定的各种情况。 该模型使用一系列规则来确定当两名嫌疑人分别可以选择承认或拒绝谈论潜在犯罪时各种行为的结果。[1]
  

• 使用符号（逻辑或代数）而不是自然语言（如英语或法语）来陈述其命题的理论。[2]
  

进一步阅读：

• Substantive Theory

  为特定情境提供行动的 "工作理论 "的理论模型。实质性理论被认为是可转移的，而不是可概括的，即背景的要素可以转移到与所研究的背景有类似特征的行动背景中（例如，对美国管理咨询公司的小团体IS设计的研究）。这与Formal Theory形成了鲜明的对比，Formal Theory是建立在代表整个研究群体的多项研究中经过验证的、可推广的结论之上的，或者是建立在使用经过验证的经验理论作为其基本公理的演绎逻辑之上。[3]

• Substantive Theory可以在识别背景化实例的差异和相似性的过程中构建，以及在专注于类似主题的案例研究中的模式。实质性理论的内容主要是描述性的，集中在解析关系结构中众多案例实例的本质或实质。[4]

  （A substantive theory may be constructed within the process of identifying differences and similarities of contextualized instances, and patterns, across and within case studies focused on a similar theme. The content of substantive theory is mainly descriptive, focused on the essence, or substance, of the numerous case instances in a parsimonious relational structure.）
  

待阅读：Guidance for AMR Authors About Making Formal Theory Accessible

来源：

[1] https://dictionary.apa.org/formal-theory

[2]https://methods.sagepub.com/reference/dictionary-of-statistics-methodology/n774.xml

[3]https://www.igi-global.com/dictionary/employing-grounded-theory-approach-mis/28672

[4]https://methods.sagepub.com/reference/encyc-of-case-study-research/n335.xml