Предпосылка
Предпосылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента.[1] В логике аргумент — это множество предложений (или «суждений») одни из которых являются предпосылками, а другие утвердительные предложения (или «суждения») — логическими выводами.
Аристотель утверждал, что любой логический аргумент может быть сведен к двум предпосылкам и выводу.[2] Предпосылки иногда опускают, в этом случае они называются опущенными предпосылками, например:
Сократ смертен, так как все люди смертны.
Очевидно, что Сократ является человеком (эта предпосылка опущена). Развернутым суждением было бы:
Так как все люди смертны, а Сократ — человек, то следовательно Сократ смертен.
В этом примере два первых независимых высказывания — «все люди смертны» и «Сократ — человек» — это предпосылки, в то время как «Сократ смертен» является выводом.
Доказательство вывода зависит как от истинности обеих предпосылок так и от обоснованности аргумента.ахха
Примечания [править]
- ↑ «Аргумент: последовательность утверждений, таких что некоторые из них (предпосылки) являются причинами для принятия других, выводов» : Кембриджский Словарь Философии, 2ое Изд. (Cambridge University Press), ред. Роберт Ауди, 43.
- ↑ p216, Jan Gullberg, Mathematics from the birth of numbers, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029
, 
, 
, 0, 1}
,
) •  |
Это заготовка статьи по философии. Вы можете помочь проекту, исправив и дополнив её. |
