論理学のメモ。直観主義より強い論理を超直観主義論理(superintuitionistic logic)と呼び、その内で古典論理より弱いものを中間論理(intermediate logic)と呼ぶ。例えば
- ド・モルガン論理:直観主義命題論理(IPC) + 弱排中律(not-not-P or not-P)。この体系では、ド・モルガンの法則 "not-(P & Q)→(not-P v not-Q)" が証明できる。
- ゲーデル論理:IPC + (P→Q)∨(Q→P)。Qの位置に"not-p"を代入して得られる"(P→not-P)∨(not-P→P)" を前提にすると、弱排中律"not-not-P v not-P" を導出できる。
ゲーデル論理は一種のファジー論理になる*1。真理値を有限個に抑えるには、IPCに P1v(P1→P2)v ... v(P1&P2& ... &Pk-1→Pk) を加える。
ところで、IPCでは二重否定除去はできないけれども、not-not-not-p→not-P を証明することはできるので、IPCに not-not-not-P v not-not-Pを加えても、ド・モルガン論理より弱くはならないんだな…。
Postscript (2014/8/21)
中間論理の意味論は、ちょうど直観主義論理の意味論で使うクリプキ構造によって与えられる*2。直観主義論理の場合は擬順序(推移性+反射性)を使うが、例えば、ゲーデル論理では弱順序を使うことができる。