Судья Гранович
Защита утверждает: подсудимый либо виновен, либо нет, третьего не дано, и раз вина не доказана, остаётся второе. Первую половину я готов принять. Вторую нет. «Либо одно, либо другое» в этом зале стоит ровно столько, сколько стоит ответ на вопрос «каким из двух». Отдел, у вас есть такой ответ?
Вельский произнёс фразу, которую в логике знают под именем закон исключённого третьего: . В таблицах истинности из урока 03 он истинен в каждой строке, и ты сто раз пользовался им, когда разбирал случаи «правдивый или лжец».
Судья возражает не таблице. Он требует от «или» большего: чтобы вместе с ним предъявили, какая сторона верна. Логику, которая устроена по этому требованию, называют интуиционистской. В ней закон исключённого третьего не доказывается, и сегодня ты увидишь, почему это не странность, а ровно то, что нужно суду и, как выяснится в следующем уроке, программисту.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.