Список допустимых форм аргументов
Из многих и разнообразных форм аргументации , которые можно сконструировать, лишь очень немногие являются действительными формами аргументации . Чтобы оценить эти формы, утверждения приводятся в логическую форму . Логическая форма заменяет любые предложения или идеи буквами, чтобы устранить любую предвзятость содержания и позволить оценить аргумент без какой-либо предвзятости, связанной с его предметом. [1]
Наличие веского аргумента не обязательно означает, что вывод будет верным. Это действительно, потому что если посылки истинны, то и вывод должен быть истинным. Это можно доказать для любой допустимой формы аргумента, используя таблицу истинности , которая показывает, что не существует ситуации, в которой были бы все истинные посылки и ложный вывод. [2]
Действительные силлогистические формы
[ редактировать ]В силлогистической логике существует 256 возможных способов построения категоричных силлогизмов с использованием форм высказываний A , E , I и O в квадрате оппозиции . Из 256 только 24 являются действительными формами. Из 24 действительных форм 15 являются безусловно действительными, а 9 — условно действительными.
Безоговорочно действителен
[ редактировать ]| Рисунок 1 | Рисунок 2 | Рисунок 3 | Рисунок 4 |
|---|---|---|---|
| ААА ЕАЭ АИИ ЭИО | АЕЕ ЕАЭ ЭИО АОО | АИИ ТАМ OAO ЭИО | АЕЕ ТАМ ЭИО |
Условно действительный
[ редактировать ]| Рисунок 1 | Рисунок 2 | Рисунок 3 | Рисунок 4 | Требуемое условие |
|---|---|---|---|---|
| ГОРОД советник | УЭО советник | УЭО | второстепенный термин Существует | |
| ГОРОД советник | советник | Средний срок существует | ||
| ГОРОД | Основной термин существует |
Действительные пропозициональные формы
[ редактировать ]Ниже приводится список некоторых распространенных действительных форм аргументов в логике высказываний. Он далеко не исчерпывающий и дает лишь несколько примеров наиболее известных форм действительных аргументов.
Настройка настроения
[ редактировать ]Одна допустимая форма аргумента известна как modus ponens , не путать с modus tollens , которая является еще одной допустимой формой аргумента, имеющей похожее по звучанию имя и структуру. Modus ponens (иногда сокращенно MP) гласит, что если одно верно, то будет и другое. Затем он утверждает, что первое верно. Вывод таков: верно второе. [3] Ниже это показано в логической форме.
- Если А, то Б
- А
- Поэтому Б
Прежде чем привести приведенное выше утверждение в логическую форму, оно могло бы выглядеть примерно так, как показано ниже.
- Если Келли не закончит домашнее задание, он не пойдет на урок.
- Келли не закончил домашнее задание
- Поэтому Келли не пойдет на занятия.
Первые два утверждения являются посылками, а третье — выводом, полученным из них.
Модус толленс
[ редактировать ]Другая форма аргументации известна как modus tollens (обычно сокращенно MT). В этой форме вы начинаете с той же первой посылки, что и в modus ponens. Однако вторая часть посылки отрицается, что приводит к выводу, что следует отрицать и первую часть посылки. Ниже это показано в логической форме.
- Если А, то Б
- Не Б
- Поэтому не А. [3]
Когда modus tollens используется с реальным контентом, это выглядит так, как показано ниже.
- Если «Сэйнтс» выиграют Суперкубок, той ночью в Новом Орлеане будет вечеринка.
- В тот вечер в Новом Орлеане не было вечеринки.
- Таким образом, «Сэйнтс» не выиграли Суперкубок.
Гипотетический силлогизм
[ редактировать ]Подобно modus ponens и modus tollens, гипотетический силлогизм (иногда сокращенно HS) содержит две посылки и заключение. Однако он немного сложнее первых двух. Короче говоря, в нем говорится, что если произойдет одно, произойдет и другое. Если произойдет второе событие, за ним последует третье. Поэтому, если произойдет первое, неизбежно произойдет и третье. [3] Ниже это показано в логической форме.
- Если А, то Б
- Если Б, то С
- Следовательно, если А, то С
Если выразить словами, это выглядит так, как показано ниже.
- Если сегодня пойдет дождь, я надену дождевик
- Если я надену дождевик, я останусь сухим
- Поэтому, если сегодня пойдет дождь, я буду сухим.
Дизъюнктивный силлогизм
[ редактировать ]Дизъюнктивный силлогизм (иногда сокращенно DS) имеет одну из тех же характеристик, что и modus tollens: он содержит посылку, а во второй посылке он отрицает утверждение, что приводит к заключению. В дизъюнктивном силлогизме первая посылка устанавливает два варианта. Второе убирает одно, поэтому в заключении говорится, что оставшееся должно быть истинным. [3] Ниже это показано в логической форме.
- Либо А, либо Б
- Не А
- Поэтому Б
Когда A и B заменены примерами из реальной жизни, это выглядит так, как показано ниже.
- Либо ты увидишь Джо сегодня в классе, либо он проспит.
- Ты не видел Джо сегодня на уроке.
- Поэтому Джо проспал
Дизъюнктивный силлогизм принимает два варианта и сужает их до одного.
Конструктивная дилемма
[ редактировать ]Другая действительная форма аргументации известна как конструктивная дилемма или иногда просто «дилемма». Он не оставляет пользователю только один оператор в конце аргумента, вместо этого он дает возможность использовать два разных оператора. Первая посылка дает возможность выбора двух разных утверждений. Затем он утверждает, что если произойдет первое, будет определенный результат, а если произойдет второе, будет отдельный результат. Вывод таков: произойдет либо первый результат, либо второй результат. Критика этой формы заключается в том, что она не дает окончательного заключения; просто заявление о возможностях. [3] Когда это написано в форме аргумента, это выглядит так, как показано ниже.
- Либо А, либо Б
- Если А, то С
- Если Б, то Д
- Поэтому либо C, либо D
Когда вместо букв вставляется содержимое, это выглядит так, как показано ниже.
- Билл поднимется в свою комнату либо по лестнице, либо на лифте.
- Если он поднимется по лестнице, то устанет, когда доберется до своей комнаты.
- Если он поедет на лифте, то пропустит начало футбольного матча по телевизору.
- Поэтому Билл либо устанет, когда доберется до своей комнаты, либо пропустит начало футбольного матча.
Существует немного другая версия дилеммы, в которой вместо утверждения используется отрицание, известное как деструктивная дилемма . В аргументированной форме это выглядит так, как показано ниже.
- Если А, то С
- Если Б, то Д
- Не С и не D
- Следовательно, не А и не Б. [4]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Мэй, Роберт (1993). Логическая форма: ее структура и происхождение . Кембридж, Массачусетс: MIT Press.
- ^ Стэнли, Джейсон (30 августа 2000 г.). «Контекст и логическая форма». Языкознание и философия . 23 (4): 391–434. дои : 10.1023/А:1005599312747 . S2CID 50570399 .
- ^ Перейти обратно: а б с д и Джонсон, Роберт (2006). Книга логики: основы рассуждения . Cengage Обучение.
- ^ Элугардо, Рейнальдо (1 сентября 2001 г.). «Логическая форма и просторечность». Разум и язык . 16 (4): 393–424. CiteSeerX 10.1.1.400.517 . дои : 10.1111/1468-0017.00177 .