>>989
そもそもまず直観主義に基づく言語体系(コレは主義関係ない)と直観主義に基づく公理系(あるいは推論則)がある
この段階では単に「どんなものが命題と呼べますか？証明できる命題はなんですか？」のみの話でかんぜんせいも健全性もクソもない
そして各命題が意味するところの具体的な対象なり関数なり真偽値なりい対応させていく意味論を合わせていく
その際対応させる代数は“古典主義だからブール代数”、“直観主義だから当然ハイディング代数”とくるわけではない、もちろん“古典主義の理論体系にハイディング代数のモデルを対応させたらどうなるか”など考える分には構わない
もちろん直観主義理論に対してブール代数モデルをアプライしても構わない
しかし直観主義理論で意味論をブール代数に限ってしまうと「恒真なのに証明できない」命題ができてしまう、すなわち直観主義論理で完全性を保証するためには従来の古典主義の意味論、個体記号に集合、関数記号に関数を対応させる意味論では不十分だとわかる
そこで“ブール代数”の制限を緩めてより多い代数のクラスで意味論を考える必要がある
という話しがまず前提
その上で「直観主義でブール代数に値を持つ意味論はあるか？」
もちろんyes、しかし完全性を保証するには足りない