The error theory and non-factualism are two forms of irrealism formulated in semantic way.

错误和是用语义方式表述的两种不同形态的在。

In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.

为了彻底坚持其反在的哲学立场，达米特拒原则，把直觉主义逻辑作为其形而上学的基础。