Раздел 44 · Логика и типы

Паранепротиворечивость: противоречие без взрыва

senior~30 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Вельский · письмо в редакцию «Сольских ведомостей»

Ваша портовая контора сообщает, что «Онега» у причала. Ваш смотритель маяка сообщает, что не у причала. Обе телеграммы подшиты в одну папку. Из противоречия, как вы знаете, следует что угодно. Я выбираю: следует, что капитан «Онеги» ни в чём не виноват. Жду этого вывода в завтрашнем номере.

Полозова кладёт письмо поверх двух телеграмм. «Он прав?» Ты вспоминаешь урок 13: устав порта противоречил сам себе, и из него «следовало» что угодно, включая сырную луну. Тогда выход был простой: вычеркнуть пункт устава. Здесь вычеркнуть нечего. Обе телеграммы настоящие, оба источника обычно надёжны, и какая из них врёт, станет ясно в лучшем случае через неделю.

Полозова качает головой: «Газета не может ждать неделю и не может печатать что угодно. Мне нужна логика, в которой противоречие в папке остаётся противоречием в папке и не расползается на весь номер».

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.