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