Abstract
本章は、「数学的・論理的真理は合成先験的か」という問いへの応答として最初に提示されたものである。 この問いに対して私が提示できる部分的な答えの輪郭は、他の機会にも主張されている1。本章では、まずその答えの関連する部分を要約することにする。 この問いは、当初カントによって提起されたものであり、この問いをめぐる既存の議論のほとんどは、カントについて多くの言葉を用いている。 さて、カントが言及し、議論している数学的推論の例は、典型的には一階論理で再現可能である。 したがって、この問題を歴史的に正確に読むと、数学的真理ではなく、論理的真理の位置づけに関する問題に転化してしまう。 繰り返すが、カントが「構成的真理」と呼んだのは、現代の哲学者が意味しそうな、その中に含まれる用語の意味だけに依存しない真理を意味するのではない。 私は、カントの(一階論理における)分析的真理という概念を最もよく説明できるのは、私が表面的同語反復と呼んでいるものだと主張しました。 このように解釈すると、カントが数学とみなしたものにおける合成的先験的真理の存在という教義は、ほとんど些細なことで正しいことが判明する。なぜなら、表面同語反復でない一階論理の有効(かつ証明可能)文は、容易にいくらでも存在するからである
。