Cтраница 2
Мы ожидаем, что настоящее интуиционистское понимание логических связок таково, что из доказательства истинности суждения всегда можно извлечь способ построения объектов, существование которых утверждается. Так, если в конкретной ситуации мы признали истинность дизъюнкции ( V), то конструкция, подтверждающая это суждение, должна давать способ указания истинного члена этой дизъюнкции. V - ( р) немедленно ведет к противоречию. Таким образом, допустив - ( ( р V -), выводим J, т.е. - ( ( р V -у. Это свидетельствует о том, что закон снятия двойного отрицания - i - i D ( р также не всегда приемлем с интуиционистской точки зрения. Для доказательства - i - i достаточно уметь привести к противоречию гипотезу - i fr, в то время как для доказательства ф может оказаться необходимым отыскать способы построения некоторых сложных объектов. С интуиционистской точки зрения это далеко не одно и то же. [16]