Из множества и разнообразных форм аргументов , которые возможно создать, лишь очень немногие допустимые формы аргументов . Для оценки этих форм операторы помещаются в логическую форму. Логическая форма заменяет любые предложения или идеи буквами, чтобы устранить любую предвзятость из содержания и дать возможность оценить аргумент без какой-либо предвзятости из-за его предмета.
Быть действительным аргументом не обязательно значит вывод будет верным. Это верно, потому что если посылки верны, то и вывод должен быть верным. Это можно доказать для любой допустимой формы аргумента, используя таблицу истинности, которая показывает, что не существует ситуации, в которой есть все истинные предпосылки и ложное заключение.
В силлогистической логике существует 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 | AEO . EAO | AEO | S существует | ||||||
AAI . EAO | EAO | M существует | |||||||
AAI | P существует |
Ниже приводится список некоторых распространенных допустимых форм аргументов в логике высказываний. Он далеко не исчерпывающий и дает лишь несколько примеров наиболее известных действенных форм аргументации.
Одна допустимая форма аргумента известна как modus ponens, не следует путать с modus tollens, который является еще одной допустимой формой аргумента, которая имеет похожее название и структуру. Modus ponens (иногда сокращенно MP) говорит, что если одно верно, то будет другое. Затем он утверждает, что первое верно. Напрашивается вывод, что верно второе. Это показано ниже в логической форме.
Перед приведением в логическую форму приведенное выше утверждение могло быть примерно таким, как показано ниже.
Первые два утверждения являются предпосылками, а третье - выводом из них.
Другая форма аргумента известна как modus tollens (обычно сокращенно МТ). В этой форме вы начинаете с той же первой посылки, что и в modus ponens. Однако отрицается вторая часть посылки, что приводит к выводу, что следует отрицать и первую часть посылки. Это показано ниже в логической форме.
Когда modus tollens используется с фактическим содержимым, это выглядит так, как показано ниже.
Как и modus ponens и modus tollens, гипотетический силлогизм (иногда сокращенно HS) содержит две предпосылки и заключение. Однако он немного сложнее первых двух. Короче говоря, он гласит, что если произойдет одно, то произойдет и другое. Если произойдет это второе, за ним последует третье. Следовательно, если произойдет первое, неизбежно произойдет и третье. Это показано ниже в логической форме.
Если выразить словами, это выглядит так, как показано ниже.
Дизъюнктивный силлогизм (иногда сокращенно DS) имеет одну из тех же характеристик, что и modus tollens, в том, что он содержит посылку, а во второй посылке отрицает утверждение, что приводит к заключению. В дизъюнктивном силлогизме первая предпосылка устанавливает два варианта. Второй убирает одну, поэтому вывод гласит, что оставшаяся часть должна быть верной. Это показано ниже в логической форме.
При использовании A и B заменяются примерами из реальной жизни, как показано ниже.
Дизъюнктивный силлогизм берет два варианта и сужает его к одному.
Другая допустимая форма аргументации известна как конструктивная дилемма или иногда просто «дилемма». Он не оставляет пользователя только с одним оператором в конце аргумента, вместо этого он дает возможность использовать два разных оператора. Первая посылка дает возможность сделать два разных утверждения. Затем в нем говорится, что если произойдет первое, будет определенный результат, а если произойдет второй, будет отдельный результат. Вывод таков, что произойдет либо первый исход, либо второй исход. Критика этой формы заключается в том, что она не дает окончательного заключения; просто изложение возможностей. Когда это написано в форме аргументов, это выглядит так, как показано ниже.
Когда содержимое вставляется вместо букв, это выглядит как показано ниже.
Существует несколько другая версия дилеммы, использует отрицание, а не утверждает нечто известное как деструктивная дилемма. В аргументированной форме это выглядит так, как показано ниже.