Помещение
Помещение или предпосылка [а] Это суждение (истинное или ложное декларативное утверждение), используемое в аргументе для доказательства истинности другого суждения, называемого заключением . [1] Аргументы состоят из набора посылок и заключения.
Аргумент имеет смысл для своего вывода только тогда, когда все его посылки истинны . Если одна или несколько посылок ложны, аргумент ничего не говорит о том, является ли вывод истинным или ложным. Например, ложная посылка сама по себе не оправдывает отклонения вывода аргумента; Предполагать обратное — это логическая ошибка , называемая отрицанием антецедента . Один из способов доказать, что предложение ложно, — это сформулировать веский аргумент с выводом, который опровергает это предложение.
Аргумент является обоснованным, и его вывод логически следует (он истинен) тогда и только тогда, когда аргумент действителен и его посылки истинны.
Аргумент действителен тогда и только тогда, когда всякий раз, когда все посылки истинны, вывод также должен быть истинным. Если существует логическая интерпретация , в которой все посылки истинны, но вывод ложен, аргумент недействителен.
Ключом к оценке качества аргумента является определение его обоснованности и обоснованности. То есть, верны ли его посылки и обязательно ли их истинность приводит к истинному заключению.
Объяснение [ править ]
В логике аргумент ) , требует набора повествовательных предложений (или «предложений» известных как «посылки» (или «предпосылки»), а также другого повествовательного предложения (или «предложения»), известного как заключение . В сложных аргументах может использоваться последовательность правил для соединения нескольких посылок с одним выводом или для получения ряда выводов из исходных посылок, которые затем служат предпосылками для дополнительных выводов. Примером этого является использование правил вывода , обнаруженных в символической логике .
Аристотель считал, что любой логический аргумент можно свести к двум предпосылкам и выводу. [2] Помещения иногда оставляют неуказанными, в этом случае их называют недостающими помещениями, например:
Сократ смертен, потому что все люди смертны.
Очевидно, что молчаливо понимаемое утверждение состоит в том, что Сократ — человек. Полностью выраженное рассуждение таково:
Поскольку все люди смертны, а Сократ — человек, Сократ смертен.
В этом примере зависимые предложения , предшествующие запятой (а именно: «Все люди смертны» и «Сократ — человек»), являются посылками, а «Сократ смертен» — заключением.
Доказательство вывода зависит как от истинности посылок, так и от обоснованности аргумента. Кроме того, требуется дополнительная информация сверх значения посылки, чтобы определить, совпадает ли полный смысл вывода с тем, что есть. [3]
По Евклиду , предпосылки составляют два из трёх предложений силлогизма , а второе — заключение. [4] Эти категорические суждения содержат три термина: субъект и предикат заключения, а также средний термин. Субъект заключения называется младшим термином, а предикат - большим термином. Посылка, содержащая средний термин и большой термин, называется большой посылкой, а посылка, содержащая средний термин и меньший термин, называется малой посылкой. [5]
Посылка также может быть указательным словом, если утверждения объединены в логический аргумент, и такое слово служит для обозначения роли одного или нескольких утверждений. [6] Это указывает на то, что утверждение, к которому оно прикреплено, является посылкой. [6]
См. также [ править ]
Примечания [ править ]
- ^ В общем использовании наиболее распространено написание «посылка»; однако в области логики часто используется написание «посылка», особенно среди британских писателей.
Ссылки [ править ]
- ^ Ауди, Роберт, изд. (1999). Кембриджский философский словарь (2-е изд.). Кембридж: Издательство Кембриджского университета. п. 43. ИСБН 0-521-63136-Х .
Аргумент: последовательность утверждений, в которой некоторые из них (посылок ) призваны дать основания принять другое из них, заключение.
- ^ Галлберг, Ян (1997). Математика: От рождения чисел . Нью-Йорк: WW Norton & Company. п. 216 . ISBN 0-393-04002-Х .
- ^ Бирн, Патрик Хью (1997). Анализ и наука у Аристотеля . Нью-Йорк: Издательство Государственного университета Нью-Йорка. п. 43. ИСБН 0791433218 .
- ^ Райан, Джон (2018). Исследования по философии и истории философии, Том 1 . Вашингтон, округ Колумбия: CUA Press. п. 178. ИСБН 9780813231129 .
- ^ Поттс, Роберт (1864). Евклид «Начала геометрии», книга 1 . Лондон: Лонгман, Грин, Лонгман, Робертс и Грин. п. 50.
- ^ Перейти обратно: а б Лакхардт, К. Грант; Бектель, Уильям (1994). Как делать что-то с помощью логики . Хиллсдейл, Нью-Джерси: Lawrence Erlbaum Associates, Издатели. п. 13. ISBN 0805800751 .
Внешние ссылки [ править ]
