指示條件是對英語等類似的自然語言中形如 "如果 A 那么 B" 的陳述給出的邏輯運算。不象實質條件，指示條件沒有規定的定義。關於這種運算的哲學文獻是廣泛的，但沒有達成明確的一致意見。
基本介紹
- 中文名：指示條件
- 外文名：Indicate conditions
- 性質：語言
- 類別：邏輯名詞
- 開發了：次協調邏輯
邏輯名詞。
在實質條件和指示條件之間的差別
實質條件不能總是按同日常的"如果-那么"推理一致的方式來運做。所以使用實質條件來表達"如果-那么"陳述是有缺陷的。
一個問題是實質條件允許蘊涵為真，即使是在前件和後件之間沒有邏輯聯繫的時候。例如，一邊是太陽是氣體構成的，另一邊是 3 是素數。蘊涵的標準定義允許我們得出結論: “因為太陽是由氣體構成的，所以 3 是素數”。它的同義語是: “太陽是由氣體構成的使得 3 是素數”。很多人在直覺上認為這是錯的，因為太陽和數字三簡單的沒有任何關係。邏輯學家已經通過開發可做作為替代的邏輯比如相干邏輯，來嘗試解決這個問題。
另一個問題是實質條件被不是意圖處理在"如果-那么"推理中常見的反事實和其他情況。這促使人們開發了模態邏輯。
進一步的問題是實質條件使得 P AND ¬P → Q，而不管 Q 意味著什麼。就是說，矛盾蘊涵了所有的事物都絕對是真的。關心這個問題的邏輯學家開發了次協調邏輯。
