Дедукция в логике: Инструмент логики или Что такое дедукция?

Содержание

Инструмент логики или Что такое дедукция?

Дедуктивный метод стал известен большинству людей благодаря рассказам сэра Артура Конан Дойля о приключениях детектива Шерлока Холмса, хотя великий детектив пользовался на самом деле его противоположностью — индукцией. Дедукция — один из базовых инструментов логики, который стал понятен и практически применим за пределами математических и физических задач. Рассказываем, как он работает и как его освоить гуманитарию.

Что такое дедукция?

Дедукция — это метод мышления, при котором из общих фактов появляется частное умозаключение.

Например:

Мы знаем, что розы — это цветы.
Некоторые цветы быстро вянут.
Вывод: розы могут быстро завять.

Это довольно простой пример, который иллюстрирует логическое умозаключение, когда мы говорим об одном объекте, являющемся частью множества подобных объектов.

Дедукцию описывал еще Аристотель в своей «Первой Аналитике», ее активно изучали стоики, считая, что применение дедукции может приблизить человека к истинному знанию. Но в дальнейшем положение этого метода менялось: Рене Декарт противопоставлял дедукции интуицию. По мнению философа, именно интуиция помогает человеку увидеть истину, в то время как дедукция дает лишь знание. Поздние английские «логики-индуктивисты» считали, что дедукция только подчеркивает очевидное знание, в то время как подлинную истину дает только индукция. Они объясняли это тем, что дедуктивные умозаключения не содержат в себе никакой новой информации.

А немецкие философы в свою очередь объясняли ценность и истинность дедуктивных умозаключений во всех возможных мирах именно тем, что они содержат в себе всю исходную информацию и логически обоснованный вывод.

К счастью, дискуссия о том, что важнее — дедукция или индукция — осталась только в плоскости философии.

Научиться контролировать эмоции вам поможет курс «Критическое мышление».

Задачи на дедукцию

1) Человек живет на 17 этаже. На свой этаж он поднимается на лифте только в дождливую погоду или тогда, когда кто-то из соседей едет с ним. Иначе он едет до 9 этажа, а дальше поднимается пешком. Почему?

Ответ: Этот человек лилипут (он не дотягивается до кнопки лифта сам, но может попросить помочь соседей или нажать кнопку зонтиком)

2) Когда моему отцу был 31 год, мне было 8 лет, а теперь отец старше меня вдвое. Сколько мне лет теперь?

Ответ: 23 года

3) На борту круизного лайнера во время шторма был убит известный меценат мистер Блэк. Детектив сразу заподозрил троих пассажиров: художник утверждал, что в это время писал картину в жанре кубизма и она получилась просто идеальной, жена жаловалась, что страдала от морской болезни и лежала в кровати, а капитан уверял, что пытался вести корабль сквозь бурю. Так кто же убил мецената?

Ответ: Художник (художник не мог нарисовать идеальную картину во время шторма)

Александра Иваницкая

Логика дедуктивная – Гуманитарный портал

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

Исторически первой системой дедуктивной логики была силлогистика

Аристотеля (см. Силлогистика). В свою очередь стоики первыми предприняли попытки построения дедуктивной логики в виде логики высказываний (см. Логика высказываний). Г. Фреге и Ч. С. Пирс расширили область этой логики — в качестве типовых высказываний стали рассматриваться высказывания об отношениях и были введены кванторы.

Наиболее важной системой дедуктивной логики является классическая логика предикатов первого порядка (см. Логика предикатов). В рамках этой системы отношение логического следования (см. Логическое следование), может быть полностью формализовано, и способы рассуждений могут быть описаны чисто синтаксически. Были построены также второпорядковая логика предикатов и системы более высоких порядков. Однако, согласно теореме К. Гёделя, отношение логического следования вторпорядковой логики предикатов в принципе неформализуемо. В настоящее время интенсивно изучаются системы дедуктивной логики, лежащие между первопорядковой и второпорядковой логиками, системы с обобщёнными кванторами, с эпсилон-символом и другими, а также системы с нефинитными правилами (типа правила бесконечной индукции).

Стремление учесть в рассуждениях специфику познаваемых объектов, фактор роста и накопления знания, неопределённость понятия истинности высказываний, возможность мыслить противоречивые объекты и ситуации привели к построению различных систем так называемых [дедуктивных] неклассических логик (см. Логики неклассические), интуиционистской, модальной, многозначной, релевантной, паранепротиворечивой и других. Стали исследоваться логические системы с истинностными провалами и пресыщенными истинностными оценками. При этом широкое применение находят различные семантические методы, например, теория моделей, семантика возможных миров, операционная семантика и другие, а также разнообразные синтаксические методы: аксиоматические исчисления, натуральный вывод,

исчисления секвенций, аналитические таблицы и другие. В ряде неклассических систем дедуктивной логики учитываются и прагматические аспекты рассуждений. В дедуктивной логике исследуются способы не только рассуждений, но и введения понятий (например, процедуры определения), а также методы к процедуры поиска доказательств. В последнее время на базе неклассической дедуктивной логики интенсивно развиваются так называемые динамические логики и логики программирования, ориентированные на проблемы компьютерных наук.

Кроме того, разрабатываются логики действий, норм, императивов и предпочтений, ориентированные не только на проблемы искусственного интеллекта, но и на применение в области этики и права.

Дедуктивная логика едина, а многообразие её систем определяется тем, что по частям исследуются способы

рассуждений (см. Рассуждение), основанные на различных типах высказываний и применяемые в различных контекстах. В разных системах применяются различные формализованные языки, принимаются более или менее сильные абстракции и идеализации, учитываются или не учитываются различные характеристики знания. В дедуктивной логике исследуются также её взаимоотношения с различными другими (недедуктивными) логическими системами и даётся их семантико-эпистемологическое обоснование.

Вычет | причина | Британика

Развлечения и поп-культура
География и путешествия
Здоровье и медицина
Образ жизни и социальные вопросы
Литература
Философия и религия
Политика, право и правительство
Наука
Спорт и отдых
Технология
Изобразительное искусство
Всемирная история

Этот день в истории
Викторины
Подкасты
Словарь
Биографии
Резюме
Популярные вопросы
Обзор недели
Инфографика
Демистификация
Списки
#WTFact
Товарищи
Галереи изображений
Прожектор
Форум
Один хороший факт

Развлечения и поп-культура
География и путешествия
Здоровье и медицина
Образ жизни и социальные вопросы
Литература
Философия и религия
Политика, право и правительство
Наука
Спорт и отдых
Технология
Изобразительное искусство
Всемирная история

Britannica объясняет
В этих видеороликах Britannica объясняет различные темы и отвечает на часто задаваемые вопросы.
Britannica Classics
Посмотрите эти ретро-видео из архивов Encyclopedia Britannica.
#WTFact Видео
В #WTFact Britannica делится некоторыми из самых странных фактов, которые мы можем найти.
На этот раз в истории
В этих видеороликах узнайте, что произошло в этом месяце (или любом другом месяце!) в истории.
Demystified Videos
В Demystified у Britannica есть все ответы на ваши животрепещущие вопросы.

Студенческий портал
Britannica — лучший ресурс для учащихся по ключевым школьным предметам, таким как история, государственное управление, литература и т. д.
Портал COVID-19
Хотя этот глобальный кризис в области здравоохранения продолжает развиваться, может быть полезно обратиться к прошлым пандемиям, чтобы лучше понять, как реагировать сегодня.
100 женщин
Britannica празднует столетие Девятнадцатой поправки, выделяя суфражисток и политиков, творящих историю.
Britannica Beyond
Мы создали новое место, где вопросы находятся в центре обучения. Вперед, продолжать. Просить. Мы не будем возражать.
Спасение Земли
Британника представляет список дел Земли на 21 век. Узнайте об основных экологических проблемах, стоящих перед нашей планетой, и о том, что с ними можно сделать!

SpaceNext50
Britannica представляет SpaceNext50. От полёта на Луну до управления космосом — мы изучаем широкий спектр тем, которые подпитывают наше любопытство к космосу!

Содержание

Введение

Краткие факты

Факты и сопутствующий контент

Дедуктивная логика

Аргументы

Часто говорят, что академическое письмо — это вид письма, в котором приводится аргумент. По словам инструктора по письму Ленни Ирвина, «в колледже все споры» (2010, стр. 9). Что значит сказать, что академическое письмо является аргументом, или — это аргумент? Что такое аргумент?

Мы используем слово аргумент по крайней мере двумя разными способами. В каком-то смысле спор — это то, что делают два человека, когда они не согласны с чем-то. Если я скажу своему другу: «Пойди, принеси мне выпить», он может сказать мне: «Ни за что. Принеси сам». Это своего рода разногласие, но это не то, что мы имеем в виду, когда говорим, что академическое письмо является аргументом.

Аргумент

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

«Я не должен добавлять пепперони к своей пицце, потому что в последний раз, когда я добавлял пепперони в свою пиццу, я сильно заболел. » (Ван Хевелн, 2011)

Это аргумент. Он предлагает причину (, потому что в прошлый раз я сильно заболел, ), и эта причина поддерживает вывод (, я не должен есть пепперони в своей пицце, ).

Аргумент — это набор из одной или нескольких причин — в логике мы называем их предпосылками — которые поддерживают один вывод . В каждом хорошем аргументе посылки должны поддерживать вывод, и они должны быть верными. (Мы дадим определения этим терминам в разделе «Обоснованность и истина» ниже.) Это необходимые требования для всех хороших аргументов: причины должны быть связаны с выводом, и, насколько нам известно, они должны быть истинными. Существует также третье качество, которому удовлетворяют многие хорошие аргументы: они учитывают всю информацию, относящуюся к заключению. Ван Хойвельн предлагает следующий пример аргумента, который не удовлетворяет третьему критерию:

По поводу пиццы отметим то, что читатель, возможно, уже заметил сам: действительно ли из-за пепперони мне стало плохо в прошлый раз, или это просто совпадение? Может быть, я также выпил 6 стаканов колы, дюжину горячих крылышек и 2 пинты Ben and Jerry’s в тот судьбоносный день, когда я съел пиццу пепперони! В самом деле, если бы мы знали это, то, возможно, мы не были бы так впечатлены первоначальным аргументом о пицце. (Ван Хевелн, 2011)

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

Дедуктивная логика против индуктивной

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

Индуктивная логика (или индуктивное рассуждение ) строит аргументы, поддерживающие вывод, но не претендует на то, чтобы показать, что вывод обязательно верен. Сильный индуктивный аргумент дает нам основания думать, что его вывод, скорее всего, верен. Некоторыми примерами индуктивных рассуждений являются обобщения, аналогии или статистические предсказания. Многие аргументы в естественных науках, социальных науках, гуманитарных науках и других академических областях направлены на то, чтобы показать, что конкретный вывод, вероятно, будет верным, и поэтому они основаны на индуктивной логике.

Дедуктивная логика (также называемая дедуктивным умозаключением или дедукцией ) — это точная и хорошо организованная система, целью которой является обеспечение определенного обоснования вывода. В то время как индуктивное рассуждение может показать, что вывод, вероятно, верен, дедуктивное рассуждение может показать, что вывод должен быть истинным. Другими словами, если мы используем дедуктивную логику и если у нас есть действительный аргумент с посылками, которые определенно верны, то мы можем гарантировать, что наш вывод верен. Некоторыми примерами дедуктивного рассуждения являются импликация и силлогизм.

Достоверность и истинность

Выше мы сказали, что если дедуктивный аргумент действителен и его посылки истинны , то его заключение должно быть истинным. Что мы подразумеваем под действительным и что мы подразумеваем под истинным ?

Достоверность – качество достоверности – относится к тому, как строится аргумент, а также к взаимосвязи между предпосылками и заключением. Помните, что посылки — это причины, которые поддерживают вывод. Аргумент действителен, если посылки «необходимо влекут за собой» вывод. Другими словами, исходя из того, как посылки сочетаются друг с другом, можно сделать только один вывод. Иными словами, «в некотором смысле «истина» вывода «содержится» в истине предпосылок» (Van Heuveln 2011). Это может быть трудно понять, поэтому давайте рассмотрим пример. Рассмотрим этот силлогизм:

Все лицензированные врачи Японии сдали экзамен Лицензионного совета.
Мои врачи имеют лицензию врача в Японии.
Поэтому мои врачи сдали экзамен в лицензионный совет.

Мы можем представить этот аргумент в виде картинки. На диаграмме ниже синий кружок представляет моих врачей. Желтый круг представляет всех лицензированных врачей в Японии. Зеленый кружок представляет людей, сдавших экзамен Лицензионного совета. Поскольку все люди, имеющие лицензию на практику врачей в Японии, прошли лицензионный совет, и поскольку все люди, которые являются моими врачами, входят в эту группу, то должно быть правдой, что все мои врачи прошли лицензионный совет. Экзамен. Синий круг обязательно находится внутри зеленого круга, поскольку весь синий круг находится внутри желтого круга, а весь желтый круг находится внутри зеленого круга. Именно это мы подразумеваем под «неизбежным следствием».

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

Истина, в отличие от достоверности, относится не только к самому аргументу. Посылки истинны, если они точно отражают реальный мир. В приведенном выше примере посылка «Мои врачи являются лицензированными врачами в Японии» верна, если есть несколько людей, которые являются моими врачами, и все они являются лицензированными врачами в Японии. Если это не так, например, если у меня есть врач, имеющий лицензию в другой стране, или если один из моих врачей практикует без лицензии, то посылка неверна.

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

С другой стороны, истинность вывода не гарантирует правильности аргумента. Рассмотрим этот силлогизм:

Все люди — животные.
Некоторые животные живут в Японии.
Поэтому некоторые люди живут в Японии.

Каждая из предпосылок верна: все люди — животные в том смысле, что они живые существа, которые едят и передвигаются. Также верно, что некоторые животные живут в Японии. Также верно и то, что некоторые люди живут в Японии. Но этот аргумент недействителен. Чтобы увидеть это, давайте попробуем представить его с помощью кругов, как мы делали раньше.

Мы знаем, что все люди — животные, но не все животные живут в Японии. Тот факт, что некоторые животные находятся в Японии, не обязательно означает, что некоторые люди находятся в Японии. В реальном мире мы знаем, что некоторые люди живут в Японии, но этот факт логически не следует из нашего аргумента. «Вывод» оказывается верным, но только случайно; аргумент недействителен.

Силлогизм

Одним из распространенных типов дедуктивных аргументов является силлогизм (иногда называемый стандартный , категорический , аристотелевский или дедуктивный силлогизм ). Силлогизм – это рассуждение, состоящее из двух посылок, которые поддерживают вывод. Эта форма силлогизма была разработана философом Аристотелем более двух тысяч лет назад и очень хорошо разработана и широко используется. (Намного больше истории и подробное описание см., например, в Smith 2017, Lagerlund 2016 или Parsons 2012.) Силлогизм этого типа состоит из набора 90 144 категорических утверждений 9.0145 , которые состоят из терминов . Мы определим категорические предложения и их термины в следующем разделе.

Категорические суждения

Типы утверждений, используемые в силлогизмах, подобных описанным здесь, называются «категорическими суждениями». Категориальные суждения содержат два «термина», подлежащее и сказуемое. (Значения «подлежащее» и «сказуемое» в логике немного отличаются от грамматических, но мы не будем здесь беспокоиться о конкретных различиях.) В следующем списке подлежащими являются подчеркнуто , а предикаты выделены курсивом .

Аристотель философ .
Немного философии есть логика .
Нет лошадей философы .
Аристотель не лошадь .

Как мы уже говорили, все категориальные предложения имеют два термина: подлежащее и сказуемое. Кроме того, мы должны обратить внимание на количество и качество категорического предложения. Количество может быть как всеобщим (верным для всех или ничего), так и частным (верным для некоторых, что означает хотя бы одну вещь). Качество может быть как положительным ( равно ), так и отрицательным ( нет , не ). Это приводит к четырем типам категорических предложений. В приведенной ниже таблице S означает подлежащее, а P означает сказуемое.

	Положительный	Отрицательный
Универсальный	Все S равно P например Все собаки млекопитающие.	Нет S есть P например Собаки не рыбы .
Частное	Некоторые S есть P например Некоторые млекопитающие являются плотоядными .	Некоторые S не являются P например Некоторые рыбы не являются плотоядными .

Если мы хотим оценить логику части письма или речи, мы часто можем подумать о том, что это значит, и попытаться представить это как набор категориальных предложений. На приведенной ниже диаграмме показаны несколько категоричных утверждений, которые мы можем понять из обычного предложения о планктоне.

Некоторый планктон является растениями.
Часть планктона состоит из диатомовых водорослей.
Часть планктона состоит из водорослей
Некоторый планктон является зоопланктоном.
Весь планктон мелкий.

Мы можем использовать категорические утверждения для построения силлогизмов. Силлогизм — это тип рассуждения, в котором вывод делается из двух посылок. Посылки представляют собой категориальные утверждения, которые имеют один общий термин. Давайте еще раз посмотрим на приведенный выше пример силлогизма.

Все лицензированные врачи Японии сдали экзамен Лицензионного совета.
Мои врачи имеют лицензию врача в Японии.
Поэтому мои врачи сдали экзамен в лицензионный совет.

Каждая строка силлогизма представляет собой категорическое утверждение, состоящее из двух терминов. Обратите внимание, что один из терминов «лицензированные врачи в Японии» появляется в обоих посылках. Также каждый из терминов заключения (подлежащее «мои врачи» и сказуемое «сдал экзамен в лицензионной комиссии») появляется в одной из посылок. Это форма стандартного категорического силлогизма. Традиционно термин, который появляется в обеих посылках, называется «средним термином», подлежащее заключения называется «второстепенным термином», а сказуемое заключения — «большим термином». Но вам не нужно беспокоиться о запоминании этих ярлыков; полезно уметь распознавать действительный аргумент.

Давайте посмотрим на описание планктона и посмотрим, сможем ли мы найти логический аргумент.

Планктон состоит из крошечных, часто одноклеточных растений, таких как диатомовые водоросли или водоросли, а также мелких или микроскопических животных, известных как зоопланктон. Поскольку растения поглощают углекислый газ в процессе фотосинтеза, планктон может снижать уровень СО ₂ в атмосфере. Хотя большая часть углерода в конечном итоге уходит обратно в атмосферу, часть опускается глубоко в океан в виде мертвых растений или зоопланктона.

Часть планктона — это растения.
Все растения поглощают углекислый газ.
Поэтому часть планктона поглощает углекислый газ.

Слово вместо в предложениях обычного языка предполагает, что текст приводит аргумент. Мы можем представить этот аргумент как силлогизм в нижнем ящике. Форма этого силлогизма верна. Если аргумент верен и посылки верны, мы знаем, что заключение должно быть верным. Следовательно, если верно, что некоторый планктон является растениями и все растения поглощают углекислый газ, то должно быть верно и то, что некоторый планктон поглощает углекислый газ. Можете ли вы привести другие аргументы этого типа?

Существуют сотни возможных форм аргументации, которые можно составить из трех категориальных суждений, состоящих из двух терминов в каждой, но для большинства из этих форм вывод не обязательно следует. Лишь немногие из возможных форм оказываются действительными аргументами. В приведенной ниже таблице показаны несколько моделей правильных силлогизмов. (Если вам интересно, как доказать, что они верны, и другие аргументы, которые верны в определенных условиях, вы можете найти дополнительную информацию в ссылках и дополнительной литературе ниже.) Можете ли вы придумать аргументы, используя эти формы?

Все М — это Р Все S — это М Все S это P	Нет P — это M Все S — это M Нет S — это P	Некоторые M — это P Все M — это S Некоторые S есть P	Все P — это M Нет M — это S Нет S — это P
Нет M означает P Все S означает M Нет S — это P	Все P — это M Нет S — это M Нет S — это P	Все M — это P Некоторые M — это S Некоторые S есть P	Некоторые P — это M Все M — это S Некоторые S есть P
Все М есть Р Некоторые S есть М Некоторые S есть P	Нет P — это M Некоторые S — это M Некоторые S не являются P	Некоторые M не являются P Все M являются S Некоторые S не являются P	Нет P — это M Некоторые M — это S Некоторые S не являются P
Никакой M не является P Некоторые S не являются M Некоторые S не являются P	Все P являются M Некоторые S не являются M Некоторые S не являются P	Никакой M не является P Некоторые M не являются S Некоторые S не являются P

Оценка логического аргумента

Мы знаем, что если дедуктивный аргумент верен и его посылки верны, то его заключение должно быть истинным. Используя это знание, у нас есть способ оценить истинность вывода. Когда кто-то выдвигает аргумент, вы можете проверить его правильность, изучив его посылки и их связь с выводом. Если аргумент действителен, вы должны проверить, верны ли посылки. Но если аргумент недействителен, вы можете отклонить его без необходимости изучения предпосылок.

Давайте посмотрим на высказывание на обычном языке, в котором делается вывод, и попробуем представить его в виде логического аргумента.

[американская бумага] деньги зеленые, как и деревья, поэтому деньги должны расти на деревьях. -психологический пациент, описанный Даффи и Кэмпбеллом. (1994)
Некоторые деньги зеленые. Деревья зеленые. Следовательно, деревья — это деньги.	Некоторые P — это M Все S — это M Все S это P

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

Давайте рассмотрим еще один пример обычного языка, который приводит аргумент.

Я не верю, что у нас может быть свобода в философском смысле, ибо мы действуем не только по внешнему принуждению, но и по внутренней необходимости. -Альберт Эйнштейн
Никто по принуждению и необходимости не свободен. Все люди находятся под принуждением и необходимостью. Следовательно, нет свободных людей.	Нет M означает P Все S означает M Нет S — это P

Обратите внимание на две вещи о том, что сказал Альберт Эйнштейн. Во-первых, аргумент не полностью сформулирован. Формулируется вывод («мы не можем [не] иметь никакой свободы» в основном означает «нет свободных людей») и формулируется одна из посылок («мы действуем не только по внешнему принуждению, но и по внутренней необходимости»). Но другая посылка, записанная здесь как «Никто по принуждению и необходимости не свободен», прямо не указывается. Это подразумевается в том, что сказал Эйнштейн. На самом деле довольно часто аргументы в повседневной речи оставляют одну из своих предпосылок неявной.

Еще одна вещь, на которую следует обратить внимание в отношении того, что сказал Эйнштейн, это то, что это следует одному из правильных паттернов, которые мы рассмотрели ранее. Это означает, что его аргумент верен. Итак, верен ли его вывод? Вывод должен быть истинным, если аргумент верен и посылки верны. Помните, что «истинный» в аргументе означает «точно отражающий реальный мир». Верны ли в этом смысле предпосылки Эйнштейна или нет, может быть вопросом веры.

Импликация

Другим типом дедуктивного аргумента является аргумент из импликации, иногда называемый латинским именем модус поненс . Аргумент из импликации начинается с утверждения if-then , подобного этому.

Если река узкая, то ее легко перейти.
Если кто-то проходит мимо, собака лает.

Если первая часть утверждения (часть «если») верна, это означает, что вторая часть (часть «тогда») также верна. Аргумент продолжается утверждением, что часть «если» верна. Это приводит к необходимому выводу, что часть «тогда» должна быть правдой.

Если река узкая, то ее легко перейти.
Река Яда узкая.
Поэтому реку Яда легко пересечь.

Общая структура modus ponens может быть записана следующим образом, где p и q представляют любое утверждение, подобное показанным выше:

Если p, то q
p
д

Реверс modus ponens называется modus tollens на латыни или на английском «отрицание следствия». Подобно импликации modus ponens, она начинается с оператора if-then . Вторая посылка утверждает, что часть «тогда» неверна. Поскольку истинное «если» подразумевает истинное «тогда», ложное «тогда» подразумевает ложное «если».

Если p, то q
не q
не п
Если кто-то проходит мимо, собака лает.
Собака не лаяла.
Поэтому никто не прошел мимо.

Будьте осторожны с порядком членов в аргументе из следствия. Истинное «если» подразумевает истинное «тогда», но истинное «тогда» не обязательно подразумевает истинное «если». Утверждение «Если кто-нибудь проходит мимо, собака лает» верно в действительности, по крайней мере, для собаки моего соседа. Он всегда лает на детей, курьеров, соседей или всех, кто проходит мимо. Но если собака лает, это не обязательно означает, что кто-то прошел мимо; Иногда кажется, что эта собака лает без причины.

НЕДЕЙСТВИТЕЛЬНО
Если p, то q q стр	Если p, то q не p не д
Если кто-то проходит мимо, собака лает. Собака лаяла. X Значит, кто-то прошел мимо.	Если река узкая, ее легко перейти. Река Сумида не узкая. X Поэтому реку Сумида не так просто пересечь.

Мы поговорим об этих видах неверных аргументов позже в курсе, когда будем обсуждать формальные ошибки.

Ссылки, благодарности и дополнительная литература

Copi, Irving. 1962. Введение в логику . Нью-Йорк: Макмиллан.

Даффи, Дж.Д. и Дж.Дж. Кэмпбелл. 1994. «Региональные и префронтальные синдромы: теоретический и клинический обзор». Журнал нейропсихиатрии и клинической нейронауки 6 (4), 379-387.

Ирвин, Л. Ленни. 2010. «Что такое академическое письмо?» в К. Лоу и П. Землянски, Пространства для письма: Чтения по письму . Салон Пресс.

Лагерланд, Хенрик. 2016. «Средневековые теории силлогизма». Стэнфордская энциклопедия философии.

Парсонс, Теренс. 2012. «Традиционная площадь оппозиции». Стэнфордская энциклопедия философии.

Смит, Робин. 2017. «Логика Аристотеля». Стэнфордская энциклопедия философии.

Ван Хевелн, Брэм. 2011. «Критическая мудрость». http://www.cogsci.rpi.edu/~heuveb/teaching/CriticalWisdom/Introduction.htm

Приведенные здесь объяснения основаны на идеях некоторых людей о логической аргументации и дедуктивных рассуждениях. Популярный учебник Ирвинга Копи, Введение в логику , был важной частью моего обучения логике. «Критическая мудрость» Брама ван Хевелна содержит гораздо больше подробностей о критическом мышлении, аргументации, дедуктивной и индуктивной логике. Стэнфордская энциклопедия философии охватывает не только темы логики, но и многие другие аспекты философии. Мои коллеги с факультета академического письма в Нагойском университете также проводят курсы по логическому мышлению, академическим презентациям и академическому письму, которые меня вдохновили. Некоторые из их материалов и информации также доступны в OpenCourseWare Университета Нагои.