12/01/03 08:43:15.18
803 ：１３２人目の素数さん：2011/12/26(月) 02:31:25.06
直観主義で提唱された論理が直観主義論理っていうだけで、
直観主義の研究＝直観主義論理の研究、ではないんだがな。
直観主義っていうのは、論理の部分だけではなく、非論理的公理の部分や、
その他数学のあるべき姿全般に対する哲学的主張（例えば形式主義に反対するなど）までひっくるめた
文字通り一つの「主義」なんだけどな。
直観主義論理はその一部分に過ぎないし、その部分だけならば形式主義とは矛盾しないわけだ。