Путь Мудрости

Вывод

Этимология

Вывод ← вы- + вести (индоевропейский корень wedh- — «вести»): вы-вести — провести изнутри наружу, от оснований к следствию. Вывод не берётся, а ведётся — путём, каждый шаг которого можно показать. Для контраста: лат. conclusio ← concludere «за-мыкать» — русское «заключение» построено калькой с него: рассуждение замыкается; лат. inferre «вносить» (откуда англ. inference) добавляет третий образ — следствие вносится в знание. Путь, замок и вклад — три стороны одного дела: следствие приведено, цепь замкнута, знание пополнено.

Определение

Вывод — извлечение следствия из установленных оснований.

Распознавание дало присутствие, прояснение — сущность, рамка — перспективу, сравнение — отношения. Вывод делает последний шаг: что из всего этого следует? Его материал — не сырьё мира, а уже обработанный результат четырёх доменов; оттого вывод и опирается на них пятым.

Происхождение: функция ментального поля

Распознавание фиксирует различие. Прояснение — тождество. Рамка взяла границы поля и мерило. Сравнение заполнило список отношений. Вывод — движение по основаниям: из записей, уже лежащих в поле, извлекается то, что из них следует, и следствие ложится новой записью — которой в поле ещё не было. Здесь поле не пополняется извне (точка входа — распознавание) и не переупорядочивается — оно надстраивается: заключение встаёт новой ступенью, основанием, с которого пойдёт следующий шаг. Закон-корень — Достаточное Основание: следствие держится на основаниях и только на них; в домене он работает Принципом Рационализма — вывод должен быть заработан.

Домен как система

Разбор порождающим порядком — от семени (Теория Систем):

  • Цель — верная запись следствия: того, что следует из установленных оснований, и только того, — помеченного степенью силы следования. Следствия — новая запись, извлечённая из лежащих, не принесённая извне; из установленных оснований — материал вывода — итог четырёх предыдущих доменов, не сырьё; и только того — сверх оснований не вывод, а спекуляция; помеченного степенью — сила следования различна, и метка — часть самой записи, не украшение.

  • Правила — из цели, каждое из своей составляющей. Из следствия — направление хода: следствие извлекается из оснований, а не основания подбираются под готовое заключение; у перехода одно правильное направление (Порядок; обратный ход — фабрикация, риторика вместо логики). Из установленных оснований — только установленное: опора лишь на записи, прошедшие предыдущие домены; недостающего не достраивать на месте — обратный ход за ним (цикл). Из и только того — не сверх основания: заключение не претендует на большее, чем дало основание, — ни в широте, ни в силе; где оснований недостаточно — воздержание. Из помеченного степенью — маркировка силы: каждая запись-вывод несёт свою метку; не выдавать одну степень за другую — основание должно быть достаточным именно для этой степени (Достаточное Основание). Правила первые три — заработанность, четвёртое — маркировка; вдвоём они и есть Принцип Рационализма, развёрнутый в четыре хода.

  • Роли — основания-опоры (записи предыдущих доменов в роли опор; опора — роль, не сама запись: та же запись в другом ходе — сторона сравнения или материал прояснения); выводящая воля (внимание, ведущее ход: держит направление, проверяет достаточность, не пускает желание вести); связь следования (сам переход в роли замыкающего шага — путь, каждый шаг которого можно показать); метка уверенности (мера силы, назначаемая по основаниям); следствие-запись (итог в роли выхода и будущей опоры). Итог держат две проверки: достаточно ли оснований для вывода — и достаточно ли силы, чтобы вывод обозначить; недостаёт любой — итогом становится воздержание с названной нехваткой.

  • Элементы — записи четырёх предыдущих доменов: распознанные и прояснённые единицы, взятая рамка, записи отношений из сравнения — они заполняют роль опор; типы перехода — дедукция · индукция · абдукция — инструментарий связи следования, у каждого своя предельная сила; шкала степеней — необходимое · вероятностное · оценочное, — из которой берётся метка; на выходе — записи-следствия с метками либо воздержание.

Особенность домена: его выход возвращается в его же вход — заключение встаёт основанием следующего шага, и лестница рассуждения растёт этой рекурсией; потому дефект вывода не остаётся местным — он наследуется всеми ступенями, построенными на нём.

Принцип Рационализма

Вывод ведёт Принцип Рационализма: вывод должен быть заработан предшествующей работой. «Заработан» значит две вещи.

Первое: вывод следует из оснований, а не предшествует им. Это применение Закона Порядка через Принцип Последовательности: у перехода «посылки → заключение» одно правильное направление. Когда вывод следует из посылок, связь логическая — проверяемая, воспроизводимая любым, кто примет те же посылки. Когда посылки подбираются под заранее известный вывод, связь риторическая — она убеждает, но не доказывает. Внешне оба процесса похожи: посылки, заключение, видимость перехода. Но направление противоположно: в первом случае вывод заработан, во втором — сфабрикован.

Второе: вывод должен быть помечен степенью уверенности. То, что заключение следует или не следует, бинарно — это производное Исключённое Третье. Но сила связи различна, и её надо различать. Здесь же работает Достаточное Основание: заработать вывод — значит предъявить достаточное основание именно для этого заключения, а не другого.

Степени уверенности

Сила вывода бывает трёх родов. Необходимый вывод не может быть иным: если посылки истинны, заключение истинно с логической неизбежностью. «Все люди смертны; Сократ человек; значит, Сократ смертен» — тут нет вероятности, только необходимость. Вероятностный вывод обоснован, но допускает исключения: «солнце вставало каждый день — значит, встанет завтра» силён, но не необходим. Оценочный вывод заключает о ценности в рамках принятых критериев: «для этой цели вариант A лучше B» — смени критерии, и заключение может измениться.

Различить их помогает простой тест — попытка отрицать заключение при истинных посылках. Если отрицание рождает противоречие, вывод необходимый: «киты не теплокровны» при истинных посылках о китах-млекопитающих — противоречие. Если отрицание возможно без противоречия, вывод вероятностный: «существует небелый лебедь» — не противоречие, а просто утверждение, могущее оказаться истинным. Если заключение зависит от выбранных критериев — вывод оценочный.

Принцип требует: маркируй степень. Не выдавай вероятностное за необходимое, оценочное — за фактическое, не прячь неопределённость за уверенным тоном. Смешение степеней — источник бесконечных споров: кто-то выдаёт вероятностное за необходимое («наука доказала») и встречает справедливое сопротивление; кто-то отвергает обоснованное, требуя невозможной необходимости («это всего лишь модели»); кто-то выдаёт оценочное за фактическое («мы обязаны»), пряча ценностный выбор за видимостью объективности. Честность требует точности: это следует с необходимостью; это следует с высокой вероятностью; это следует, если принять такие-то ценности.

Три типа вывода

Степень уверенности — одна ось; есть и другая: тип перехода от посылок к заключению. Их три, и каждый делает своё.

Дедукция идёт от общего к частному: «все люди смертны; Сократ человек; значит, смертен». Она передаёт истинность без потерь — но и не расширяет знания: заключение уже содержалось в посылках, дедукция лишь делает его явным. Зато надёжна как механизм: при истинных посылках заключение необходимо.

Индукция идёт от частного к общему: много наблюдённых лебедей белы — значит, все лебеди белы. Она расширяет знание за пределы наблюдённого — но не гарантирует: следующий лебедь может оказаться чёрным. Юм показал это раз и навсегда: из того, что нечто было, не следует с необходимостью, что так будет и впредь.

Абдукция идёт к лучшему объяснению: трава мокрая — вероятно, ночью шёл дождь. Она порождает новое — гипотезу, объясняющую факты, — но остаётся предположением, пока не проверена: мокрую траву мог оставить и поливальщик. Большинство живых рассуждений начинается абдукцией: схватить объяснение, а затем проверить его дедукцией и наблюдением.

Честный мыслитель знает, каким типом пользуется, и не путает их силу: выдать индуктивное обобщение за дедуктивную необходимость — та самая ошибка степени, от которой предостерегает принцип.

Искусство воздержания

Иногда заработанный вывод — это вывод о том, что вывода пока нет. Воздержание от заключения — не провал рассуждения, а его честный результат там, где не проходит одна из двух проверок итога: достаточно ли оснований для вывода — и достаточно ли силы, чтобы вывод обозначить; недостаёт любой — воздержание. Воздержание — пауза, не финал: оно говорит «оснований пока нет», а не «знать нельзя», и держит вопрос открытым до новых данных. Его легко спутать с уклонением от заработанного вывода; разница в том, что честное воздержание признаёт конкретную нехватку — какого именно основания недостаёт и что его восполнит, — а уклонение прячется за неопределённым «вопрос сложный». Тест прост: могу ли я назвать, что́ заставило бы меня сделать вывод? Если да — воздержание честное; если любой довод отскакивает, осторожность обернулась нежеланием заключать.

Основания перехода

Переход к рефлексии совершается по Достаточному Основанию: следствие записано и помечено — либо зафиксировано воздержание с названной нехваткой; в обоих случаях ход домена завершён, и путь готов к проверке. Обратные ходы встроены в сам процесс: недостаёт основания — внимание возвращается за ним в нужный домен: за единицей — в распознавание и прояснение, за пересмотром среза и мерила — в выбор рамки, за недостающим отношением — в сравнение. Названная нехватка воздержания сама указывает, куда идти за восполнением.

Заблуждения

Когда Принцип Рационализма не соблюдён, вывод превышает своё основание — и опасность в том, что он кажется следующим, а ощущение следования мы принимаем за само следование. Нарушения двух родов: формальные ломают саму структуру перехода, содержательные сохраняют форму, но заключают больше, чем дано. В каталоге им отвечают четыре механизма — логический разрыв, причинная ошибка, цепочечная ошибка и масштабная ошибка.

Две формальные ошибки зеркальны и коренятся в одном — в смешении достаточного условия с необходимым; обе суть логический разрыв — переход, которого нет. Высказывание «если A, то B» говорит, что A достаточно для B, но не что A для B необходимо: у B могут быть другие причины.

Утверждение консеквента — из «если A, то B» и «B» выводят «A». «Если идёт дождь, улицы мокрые; улицы мокрые — значит, идёт дождь»: но улицы мокры и от поливальной машины, и от прорыва трубы. Проверка: есть ли у этого следствия другие возможные причины?

Отрицание антецедента — из «если A, то B» и «не-A» выводят «не-B». «У него нет диплома — значит, некомпетентен»: диплом достаточен, но не необходим для компетентности. Корректен лишь обратный ход — от отрицания следствия к отрицанию причины. Проверка: есть ли другие пути достичь этого следствия?

После этого — значит вследствие этого — временна́я последовательность принята за причинную. «После введения политики экономика выросла — политика вызвала рост»: но рост мог идти от глобальных трендов, чужих действий, отложенного эффекта прежних решений. Для причинности нужно больше, чем «после»: механизм связи, исключение альтернатив, воспроизводимость. Проверка: какой механизм связывает A и B, исключены ли иные объяснения?

Скользкий склон — цепочка причинных связей, где каждое звено выдаётся за неизбежное: A приведёт к B, B к C, и так до катастрофы. Но каждое звено — отдельный вывод, требующий обоснования, и если хоть одно не обосновано, цепь рвётся. «Разреши одно — и неизбежно скатимся ко всему худшему»: возможное выдаётся за неизбежное, а точки, где цепь можно прервать, игнорируются. Проверка: обосновано ли каждое звено — и неизбежен ли переход или лишь возможен?

Чрезмерное обобщение — вывод распространён шире, чем позволяют данные. Сравнение установило паттерн в определённых границах — этих случаях, этих условиях; вывод прыгает к «всегда, везде, для всех». «В трёх исследованиях метод сработал — он работает всегда». Сигнал — слова «всегда», «никогда», «все», «никто». Проверка: каковы границы данных — и не выходит ли вывод за них?

Вопросы

Ведущий вопрос — «что из этого следует?» — по осям вопроса: восполняющая цель категории основания (почему? что следует?); это корневой шаг пути: движение по основаниям и есть движение по корню — по логике; ступень выбора завершается здесь — вывод есть выбор из кандидатов, — и глубина растёт на ярус: заключение встаёт ступенью корня, с которой пойдёт следующий шаг.

Рабочие вопросы домена — типизация первой, вопрос примером:

  • Следование — «что из этого следует?» — сам ведущий;
  • Направление — «следует ли — по основанию, а не по привычке или желанию?» — след против колеи;
  • Достаточность — «достаточно ли оснований — или честнее воздержаться?» — первая проверка итога;
  • Заработанность — «заработан ли вывод предшествующей работой?» — вывод сверх оснований не вывод;
  • Сила — «какова сила оснований — и по ней ли поставлена метка уверенности?» — вторая проверка итога.

Переход: вывод стоит — пора проверить путь: рефлексия.

Раздел: Архитектура Рассуждения · Нарушения домена: группа 2.5 Каталога ошибок

Понятия: Домены рассуждения · Ошибки рассуждения

Навигация: ← Сравнение · Рефлексия →

Вид графа

Обратные ссылки