基本介紹
哲學起源,人工智慧,演繹推理,歸納推理,逆推法,
哲學起源
儘管亞里士多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理(區分了開來，後來的哲學家主要關心演繹推理。
直到邏輯實證主義開始失寵，哲學家 Roderick Chisholm 和 John L. Pollock 復興了對可廢止推理的興趣。
人工智慧
大約在同一個時期，人工智慧的先驅如約翰·麥卡錫和 Patrick J. Hayes 在遇到框架問題和限定問題的時候，提出了某種形式的可廢止推理。
已提出的一些形式的可廢止推理:
- McCarthy 提出的方案是限制的邏輯原理
- Raymond Reiter 提出了預設邏輯系統和封閉世界假定的形式化
- McDermott 和 Doyle 提出了非單調邏輯
- Robert C. Moore 提出了自動認識邏輯
- Donald Nute提出了可廢止邏輯
演繹推理
演繹推理（英語：Deductive Reasoning）在傳統的亞里士多德邏輯中是“結論，可從叫做‘前提’的已知事實，‘必然地’得出的推理”。如果前提為真，則結論必然為真。這區別於溯因推理和歸納推理：它們的前提可以預測出高機率的結論，但是不確保結論為真。
“演繹推理”還可以定義為結論在普遍性上不大於前提的推理，或“結論在確定性上，同前提一樣”的推理。
歸納推理
歸納法或歸納推理（Inductive reasoning），有時叫做歸納邏輯，是論證的前提支持結論但不確保結論的推理過程。它基於對特殊的代表（token）的有限觀察，把性質或關係歸結到類型；或基於對反覆再現的現象的模式（pattern）的有限觀察，公式表達規律。例如，使用歸納法在如下特殊的命題中：
- 冰是冷的。
- 彈子球在擊打球桿的時候移動。
推斷出普遍的命題如：
- 所有冰都是冷的。
- 所有彈子球都在擊打球桿的時候移動。
逆推法
逆推法類似於歸納法，但它依據於已知或假設的關聯性（relationary）規則，和包含這個規則的至少一個斷言（預測）的觀察（observation）。由於其他斷言在觀測和規則二者中的同時出現（coincidence），關聯性規則的另一個斷言就被推廣（generalize）到觀察中。
它通常用在警察工作中來通過意圖、動機和時機來決定犯罪的最初嫌疑。
