Книги
Критическое мышление. Анализируй, сомневайся, формируй свое мнение
Эти вопросы напоминают о том, что за любыми описаниями мира стоит сам реальный мир со всеми его неопределенностями и есть немало такого, что мы не можем знать наверняка. На подобные вопросы невозможно ответить, просто взглянув на форму аргумента. Для этого необходим второй метод из арсенала критического мышления – индукция, с которой мы познакомимся в следующей главе.
ИНФОРМАЦИЯ К РАЗМЫШЛЕНИЮ. Приведите пример общеупотребительного дедуктивного аргумента, являющегося валидным, но необоснованным. В истинности предпосылок какого рода можно быть уверенным? Какие дедуктивные аргументы всегда будут необоснованными, поскольку невозможно доказать истинность их предпосылок?
Резюме
Дедуктивное доказательство демонстрирует, что вывод логически следует из предпосылок и является истинным, если предпосылки истинны.
Применяя дедукцию, вы анализируете структуру аргумента и делаете логический вывод, предполагаемый предпосылками.
Логика – это наука о принципах различения корректного и некорректного суждений, базовыми элементами которой являются понятия необходимых и достаточных условий.
• Необходимые условия должны выполняться, чтобы утверждение было истинным, но не гарантируют истинности. Однако, если любое из необходимых условий не выполняется, значит, утверждение не может являться истинным.
• Достаточные условия гарантируют истинность. Если достаточные условия выполняются, значит, истинность утверждения обеспечена.
Мы подробно рассмотрели две основные валидные формы дедуктивного умозаключения.
• Подтверждение условия – если А, то В; А; следовательно, В (если светит солнце, мне жарко; сейчас светит солнце; следовательно, мне жарко).
• Отрицание следствия – если А, то В; не В; следовательно, не А (если светит солнце, мне жарко; мне не жарко; следовательно, солнце не светит).
Мы также рассмотрели две ложные (невалидные) формы аргумента, проистекающие из ошибочного допущения, что нечто, неизбежно истинное, является также достаточным, чтобы гарантировать истинность вывода.
• Подтверждение следствия – если А, то В; В; следовательно, А (если светит солнце, я счастлив; сейчас я счастлив; следовательно, сейчас обязательно светит солнце).
• Отрицание условия – если А, то В; не А; следовательно, не В (если светит солнце, я счастлив; сейчас солнце не светит; следовательно, я не могу быть счастлив).
В целом мы поняли, что:
• валидное рассуждение корректно делает логический вывод из предпосылок;
• невалидное рассуждение приводит к выводу, не являющемуся логическим следствием предпосылок;
• обоснованный аргумент одновременно валиден и опирается на истинные предпосылки, что означает, что его вывод также должен быть истинным;
• необоснованный аргумент не удовлетворяет условиям обоснованности, будучи невалидным, либо имея одну или несколько неистинных предпосылок, либо по обеим причинам; таким образом, нельзя рассчитывать, что его вывод истинен.
Глава 4. Работаем с результатами наблюдений и неопределенностью