類比理論

由Johnson-Laird和Steedman ^[1]  提出，認為人們進行三段論推理時經歷了4個階段。階段一：對前提進行解釋；階段二：運用啓發式把兩個前提的解釋結合起來；階段三：形成符合與已結合的解釋的結論；階段四：進行邏輯檢驗，可導致對結論的修正或放棄。

1. 在第一階段 ^[1]  ，對於前提的四種論式被解釋為：所有的A是B，某些A是B，沒有A是B和某些A不是B。

2. 在第二階段 ^[1]  ，兩個前提的解釋結合起來，這種結合是用啓發式實現的，用啓發式通過項目B的形式尋找項目A和C之間任何地方可能的連接。

3. 在第三階段 ^[1]  ，結論形成，反應了A和C項目之間通路的形式，如果所有的通路是肯定的，就採取“所有A是C”的形式；如果所有的通路是否定的，就採取“沒有A是C”的形式；如果至少有一條肯定的通路，便是“某些A是C”；而如果至少有一條否定的通路時，便不能得出合理的結論。

4. 在第四階段 ^[1]  ，進行邏輯檢驗，檢驗時打斷A和C項目間的通路而不違反前提的意思，尋找這些項目間可接受的最有限的關係。

1. 氣氛效應理論 ^[1]  ：是一個較早的由Woodworth和Sells關於人們如何進行三段論推理而提出的理論。該理論認為，人們在進行三段論推理時，傾向於接受與前提類似的結論，也就是説三段論中的邏輯術語“某些”、“全部”產生了一種易於感染被試以相同術語接受結論的“氣氛”。

2. 集合分析理論 ^[1]  ：Erickson在研究中提出，將前提中的項目看成是集合，包括子集合、超集合、一致、重疊、排斥五種可能的集合關係。