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