資源簡介

三段論
三段論推理是一種演繹推理方式，它由兩個性質判斷構成的前提和一個性質判斷構成的結論組成。
三段論推理遵循以下規則：
1.三個詞項：一個正確的三段論有且僅有三個詞項，分別是中項、大項和小項。中項是連接大前提和小前提的媒介，大項是出現在大前提中并在結論中做謂項的詞項，小項是出現在小前提中并在結論中做主項的詞項。
2.詞項周延：中項在前提中至少周延一次，即在至少一個前提中，中項的外延與另一個詞項的外延相重疊。同時，大項和小項在前提中周延，而在結論中不周延。
3.排斥規則：如果兩個前提都是否定的，那么大項與中項相排斥，小項與中項相排斥。在這種情況下，中項的媒介意義不存在，大項和小項之間無法通過中項發生關系。
4.肯定與否定的組合：前提中至少有一個否定，否則無法確定大項和小項之間的聯系是相互聯系還是相互排斥。當兩個前提都是特稱且不都是否定時，無法必然推出結論。
5.兩個否定前提：當兩個前提都是否定時，結論必然是否定的。
6.有效推理：根據三段論公理，人們總結出三段論的一般推理規則，共有七條。前五條是基本規則，后兩條是導出規則。遵循這些規則可以判斷三段論是否有效。
通過遵循這些規則，可以確保三段論推理的正確性。例如：所有的偶蹄目動物都是脊椎動物，牛是偶蹄目動物；所以牛是脊椎動物。在這個例子中，“偶蹄目動物”是連接大小前提的中項；“脊椎動物”是出現在大前提中并在結論中做謂項的大項；“牛”是出現在小前提中并在結論中做主項的小項。
如何判斷三段論是否有效？
要判斷一個三段論是否有效，我們需要遵循一些基本的邏輯規則。以下是一些關鍵步驟和規則：
1.確認詞項：一個有效的三段論有且只有三個詞項，分別是大項、中項和小項。大項出現在大前提中，并在結論中作為謂項；小項出現在小前提中，并在結論中作為主項；中項則在大前提和小前提中都出現。
2.檢查詞項周延：中項在前提中至少周延一次，即至少在一個前提中，中項的外延與其他詞項的外延相重疊。大項和小項在前提中必須周延，但在結論中不周延。
3.排除規則：如果兩個前提都是否定的，那么大項與中項相排斥，小項與中項相排斥。在這種情況下，中項的媒介作用不存在，大項和小項之間無法通過中項建立聯系。
4.肯定與否定的組合：如果兩個前提中至少有一個是肯定的，那么我們可以確定大項和小項之間的關系。如果兩個前提都是否定的，那么結論必須是負面的。
5.有效推理：根據三段論公理，人們總結出三段論的一般推理規則，共有七條。前五條是基本規則，后兩條是導出規則。遵循這些規則可以判斷三段論是否有效。
以上就是判斷三段論是否有效的基本步驟和規則。在實際應用中，你可能還需要考慮更多的細節和復雜性，但這些都是基礎。
三段論推理的七條公理（規則）如下：
1.每個三段論中，有且只有三個不同的項。
2.中項在前提中至少周延一次。
3.在前提中不周延的詞項，在結論中也不得周延。
4.如果兩個前提都是否定的，那么無法推出結論。
5.如果前提中有一個否定，那么結論必定是否定的。
6.前提中不周延的詞項，在結論中不得周延。
7.前提中至少有一個否定，才能確定大項和小項之間的關系。
這些規則是判斷三段論是否有效的標準，它們保證了三段論推理的有效性和合理性。
從形式邏輯角度看，從真前提推導出真結論，并不取決于思想的具體內容，而是取決于思想的形式結構。
如何理解思想的形式結構？
思想的形式結構，或者說邏輯形式，是指思想內容的組織方式和表現形式。它包括了思想的各種元素，比如概念、判斷、推理等是如何組合在一起的，以及這些元素之間是如何相互關聯的。形式邏輯就是研究這種形式的科學。
形式邏輯認為，從真前提推導出真結論的過程，并不依賴于思想的具體內容，而是依賴于思想的形式結構。這是因為，無論具體的內容如何變化，只要保持相同的邏輯形式，就能得到相同的結論。換句話說，形式邏輯強調的是思想的普遍性和必然性，而不是具體的內容。
舉個例子，如果我們有兩個命題：“所有的鳥都有翅膀”（P）和“這只動物是鳥”（Q），我們可以根據形式邏輯的推理規則，從這兩個命題推導出“這只動物有翅膀”這個結論。這個過程并不依賴于我們對“鳥”和“翅膀”的理解，也不依賴于具體的鳥的種類，只依賴于這兩個命題之間的邏輯關系。
總的來說，思想的形式結構就是思想內部的邏輯關系和組織方式，它是我們理解和推導思想的重要工具。
推理規則有哪些例子？
形式邏輯中的推理規則主要包括以下幾種：
1.肯定前件規則：如果 P → Q 為真，那么 P 為真時，可以推出 Q 為真。
2.否定后件規則：如果 P → Q 為真，那么 Q 為假時，可以推出 P 為假。
3.析取引入規則：如果 P → Q 為真，那么 P ∨ Q 為真。
4.合取引入規則：如果 P → Q 為真，那么 P ∧ Q 為真。
5.析取消去規則：如果 P ∨ Q 為真，并且 P 為假，那么可以推出 Q 為真。
6.合取消去規則：如果 P ∧ Q 為真，那么 P 為真，Q 也為真。
7.假言消去規則：如果 P → Q 為真，那么 P → R 為真，那么 P → (Q ∨ R) 為真。
8.假言引入規則：如果 P → Q 為真，那么 P → (P ∨ Q) 為真。
9.歸謬規則：如果 P → Q 為假，那么 P → Q 為真。
10.假言置換規則：如果 P → Q 為真，那么 P → (Q → R) 為真。
以上就是形式邏輯中的一些基本推理規則，它們構成了邏輯推理的基礎，幫助我們理解和推導思想。

展開更多......

收起↑