非有效的推理形式（non-effective form of infer-ence）與“有效的推理形式”相對。一個具體推理的推理形式如果是非有效的.那么該推理就是非有效的推理。非有效的推理形式不屬於演繹推理。運用這一推理形式所進行的具體推理就不屬於前提蘊涵結論的演繹推理，而是前提並不蘊涵結論的回溯推理。
基本介紹
- 中文名：非有效的推理形式
- 外文名：non-effective form of infer-ence
非有效的推理形式（non-effective form of infer-ence）與“有效的推理形式”相對。一個具體推理的推理形式如果是非有效的.那么該推理就是非有效的推理。非有效的推理形式不屬於演繹推理。運用這一推理形式所進行的具體推理就不屬於前提蘊涵結論的演繹推理，而是前提並不蘊涵結論的回溯推理。
非有效的推理形式（non-effective form of infer-ence）與“有效的推理形式”相對。一個具體推理的推理形式如果是非有效的.那么該推理就是非有效的推理。非有效的推理形式不屬於演繹推理。運用這一推理...
非有效推理是運用非有效推理形式所進行的推理。亦即前提並不必然蘊涵著結論的推理。一個非有效的推理其前提真而結論假並非是不可能的。比如，“p或者q，q，所以並非p”是一個違反相容選言推理規則的推理形式，因而是一個非有效的推理形式。運用這樣的推理形式進行的推理是非有效推理。如：“小王是一個學生，或者是一...
有效的推理形式(effective form of inference)亦稱“正確的(符合推理規則的)推理形式”。與“非有效的推理形式”相對。指的是一個推理形式“AA所以B”是有效的推理形式，並且若且唯若具有A1···An諸形式的任何的前提為真時，具有形式B的結論一定為真，即在一個有效的推理形式中，其前提真而結論假是不可能的。
非單調推理不同於單調推理不僅表現在形式上和功用上，也表現在推理有效性的標準上。單調推理的有效性是指語義上的保真性，而非單調推理的有效性主要是指符合實際情況的合理性。換句話說，單調推理只要滿足前提真，那么結論一定為真。與之不同，非單調推理需要滿足對現實情況的合理解釋。非單調推理可分為模態非單調...
由此，傳統的定理證明和邏輯演繹技術就不再適用，必須開拓面向非單調推理的概念、方法和技術。非單調 很少有這樣信息系統,在處理過程中擁有所需的一切信息。在缺乏信息時，一個有效的作法就是根據已有信息和經驗作有益的猜測，只要不發現反面的證據。構造這些猜測的過程稱為預設推理。例如，在美國第一次應邀去朋友家...
其論述形式邏輯的代表作有《形上學》和《工具論》。邏輯思維是亞里士多德在眾多領域建樹卓越的支柱，這種思維方式自始至終貫穿於他的研究、統計和思考之中。形式邏輯學被認為是研究演繹推理及其規律的科學，包括對於詞項和命題形式的邏輯性質的研究、思維結構的研究與必然推出的研究，它提供檢驗有效的推理和非有效推理...
如“魯迅是偉大作家，魯迅是周樹人，所以，周樹人是偉大作家”是一個有效的推理。若把這一推理中的單稱命題作全稱處理，它就是無效的三段論第3格AAA式。 三段論在現代邏輯中的地位 亞里士多德的三段論不考慮指稱空類的詞項，認為從全稱命題可以推出特稱命題。現代邏輯為了克服這一不足，把有效的三段論形式加以推廣...
演算是用來證明有效的公式（就是說它的定理）和論證（argument）的邏輯系統。它是公理或公理模式的集合（它可以為空或是可數無限集合），和推導有效的推理的推理規則。形式文法（或語法）遞歸定義語言的表達式和合式公式（well-formed formula 經常縮寫為wff）。此外給出定義真值和求值（或釋義）的語義。它允許我們確定...