演繹邏輯
在傳統(tǒng)的亞里士多德邏輯中，演繹推理(deductive reasoning）是“結(jié)論，可從叫做前提的已知事實，“必然的”得出的推理”。如果前提為真，則結(jié)論必然為真。這區(qū)別于溯因推理和歸納推理，它們的前提可以預(yù)測出高概率的結(jié)論，但是不確保結(jié)論為真。
演繹邏輯在一般的邏輯教課書上通常被定義為，從一般到特殊的邏輯推理方法，也常被稱之為一種必然性推理，或保真性推理。
“演繹推理”還可以定義為結(jié)論在普遍性上不大于前提的推理，或“結(jié)論在確定性上，同前提一樣”的推理。
演繹邏輯是研究演繹推理及其規(guī)律的邏輯科學(xué)。所謂演繹推理，就是前提和結(jié)論之間具有蘊涵關(guān)系的推理，即若從真實的前提出發(fā)，并且遵守演繹推理的規(guī)律與規(guī)則，必然得到真實的結(jié)論，因此也稱演繹推理為必然性推理。演繹邏輯的中心任務(wù)在于提供鑒別推理有效與否的模式與準則，以便把有效的推理和非有效的推理區(qū)別開來。無論從歷史發(fā)展還是從現(xiàn)實狀況來看，演繹邏輯構(gòu)成了邏輯學(xué)的主要內(nèi)容。
演繹邏輯可分為傳統(tǒng)演繹邏輯和現(xiàn)代演繹邏輯。傳統(tǒng)演繹邏輯包括直言命題、直接推理、直言三段論的理論（簡稱詞項邏輯），以及與之相關(guān)的概念（詞項）理論；此外，還包括復(fù)合命題（聯(lián)言命題、選言命題、假言命題、負命題）及其推理的理論。古希臘學(xué)者亞里士多德創(chuàng)立了系統(tǒng)的直言三段論學(xué)說，從而奠定了演繹邏輯的基礎(chǔ)。現(xiàn)代演繹邏輯即最廣義的數(shù)理邏輯，其特點是使用特制的人工符號語言和公理化、形式化方法研究演繹問題，從而擴大了演繹證明的手段，使傳統(tǒng)演繹邏輯的許多概念得到更確切的解釋，并把一系列新的問題，如演繹體系的不矛盾性、可靠性、完全性等問題，引入到演繹邏輯的研究范圍之內(nèi)。
聯(lián)系客服
