Интуиционисты считают, что бывают случаи, когда, скажем, некоторое утверждение тождества между действительными числами не является ни истинным, ни ложным, даже если мы знаем, что оно не может быть ложным. То есть: мы знаем, что не может быть, скажем, а = b, но мы не можем заключить, что а = b. В общем случае мы не можем перейти от не-не-р к р в интуиционистской логике. Я предлагаю тому, кто верит в неясные объекты, сказать что-то подобное. Никогда не может быть правдой, что неясно, является ли А В. Но это не означает, что всегда существует факт того, является ли А В.