Список допустимых форм аргументов - List of valid argument forms

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

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

Действительные силлогистические формы

В силлогистической логике существует 256 возможных способов построения категориальных силлогизмов с использованием форм утверждений A , E , I и O в квадрате оппозиции . Из 256 форм действительными являются только 24. Из 24 действительных форм 15 являются безусловно действительными, а 9 условно действительными.

Безоговорочно действительный

фигура 1 фигура 2 Рисунок 3 Рисунок 4
AAA
EAE
AII
EIO
AEE
EAE
EIO
AOO 		AII
IAI
OAO
EIO 		AEE
IAI
EIO

Условно действительный

фигура 1 фигура 2 Рисунок 3 Рисунок 4 Обязательным условием
AAI
EAO 		УЭО
ЕАО 		УЭО Тема существует
AAI
EAO 		ЕАО Средний срок существует
AAI Предикат существует

Действительные пропозициональные формы

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

Modus ponens

Одна допустимая форма аргумента известна как modus ponens , не путать с modus tollens , который является еще одной допустимой формой аргумента, имеющей похожее название и структуру. Modus ponens (иногда сокращенно MP) говорит, что если одно верно, то будет другое. Затем говорится, что первое верно. Напрашивается вывод, что верно второе. Это показано ниже в логической форме.

Если A, то B
А
Следовательно, B

Перед тем, как привести в логическую форму, приведенное выше утверждение могло выглядеть примерно так, как показано ниже.

Если Келли не выполнит домашнее задание, он не пойдет на занятия.
Келли не закончил домашнее задание
Поэтому Келли не пойдет на занятия

Первые два утверждения являются предпосылками, а третье - выводом из них.

Modus tollens

Другая форма аргументации известна как modus tollens (обычно сокращенно МТ). В этой форме вы начинаете с той же первой посылки, что и в случае с modus ponens. Однако вторая часть посылки отрицается, что приводит к выводу, что следует отрицать и первую часть посылки. Это показано ниже в логической форме.

Если A, то B
Не B
Следовательно, не А.

Когда modus tollens используется с фактическим контентом, это выглядит так, как показано ниже.

Если Святые выиграют Суперкубок, той ночью в Новом Орлеане будет вечеринка.
В ту ночь в Новом Орлеане не было вечеринки
Следовательно, Святые не выиграли Суперкубок.

Гипотетический силлогизм

Подобно modus ponens и modus tollens, гипотетический силлогизм (иногда сокращенно HS) содержит две посылки и заключение. Однако он немного сложнее первых двух. Короче говоря, он гласит, что если произойдет одно, то произойдет и другое. Если произойдет это второе, за ним последует третье. Следовательно, если произойдет первое, неизбежно произойдет и третье. Это показано ниже в логической форме.

Если A, то B
Если B, то C
Следовательно, если A, то C

В словах это выглядит так, как показано ниже.

Если сегодня пойдет дождь, я надену дождевик
Если я надену дождевик, я останусь сухим
Поэтому, если сегодня пойдет дождь, я останусь сухим

Дизъюнктивный силлогизм

Дизъюнктивный силлогизм (иногда сокращенно DS) имеет одну из тех же характеристик, что и modus tollens, в том, что он содержит посылку, а во второй посылке отрицает утверждение, что приводит к заключению. В дизъюнктивном силлогизме первая предпосылка устанавливает два варианта. Второй убирает одну, поэтому вывод гласит, что оставшаяся часть должна быть верной. Это показано ниже в логической форме.

Либо A, либо B
Не А
Следовательно, B

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

Либо ты увидишь Джо сегодня в классе, либо он проспит
Вы не видели Джо сегодня в классе
Поэтому Джо проспал

Дизъюнктивный силлогизм сводится к одному из двух вариантов.

Конструктивная дилемма

Другая допустимая форма аргументации известна как конструктивная дилемма, а иногда и просто «дилемма». Он не оставляет пользователя только с одним оператором в конце аргумента, вместо этого он дает возможность использовать два разных оператора. Первая посылка дает возможность двух разных утверждений. Затем в нем говорится, что если произойдет первый, будет определенный результат, а если произойдет второй, будет отдельный результат. Вывод таков, что произойдет либо первый исход, либо второй исход. Критика этой формы заключается в том, что она не дает окончательного заключения; просто изложение возможностей. Когда это написано в форме аргументов, это выглядит так, как показано ниже.

Либо A, либо B
Если A, то C
Если B, то D
Следовательно, либо C, либо D

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

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

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

Если A, то C
Если B, то D
Не C или не D
Следовательно, не A или не B

Рекомендации