В логике аргумент требует набора (как минимум) двух повествовательных предложений (или «предложений»), известных как «предпосылки» (или «посылки»), а также другого повествовательного предложения (или «пропозиции»), известного как заключение. Эта структура из двух посылок и одного вывода образует основную аргументативную структуру. Более сложные аргументы могут использовать последовательность правил для соединения нескольких посылок с одним выводом или для вывода ряда выводов из исходных посылок, которые затем выступают в качестве предпосылок для дополнительных выводов. Примером этого является использование правил вывода, найденных в символической логике.
Аристотель считал, что любой логический аргумент можно свести к двум предпосылкам и заключению. Помещения иногда не указываются, и в этом случае их называют недостающими, например:
Сократ смертен, потому что смертны все люди.
Очевидно, что молчаливо понимаемое утверждение состоит в том, что Сократ - человек. Таким образом, полностью изложенное рассуждение:
Поскольку все люди смертны, а Сократ - человек, Сократ смертен.
В этом примере зависимые предложения перед запятой (а именно, «все люди смертны» и «Сократ - человек») являются предпосылками, а «Сократ смертен» - заключением.
Доказательство вывода зависит как от истинности посылок, так и от обоснованности аргумента. Кроме того, требуется дополнительная информация помимо значения посылки, чтобы определить, совпадает ли полное значение вывода с тем, что есть.
Для Евклида посылки составляют два из трех суждений силлогизма, а другое является заключением.Эти категориальные предложения содержат три термина: субъект и сказуемое заключения и средний термин. Субъект заключения называется второстепенным термином, а предикат - старшим термином. Предпосылка, содержащая средний термин и основной термин, называется основной предпосылкой, а предпосылка, содержащая средний термин и второстепенный термин, называется второстепенной предпосылкой.
Предпосылка также может быть индикаторным словом, если утверждения были объединены в логический аргумент, и такие слова функционируют для обозначения роли одного или нескольких утверждений. Это указывает на то, что заявление, к которому он прикреплен, является предпосылкой.
Далее есть три работающих ссылки ( Нужен Английский )