Предпосылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента.^[1] В логике аргумент — это множество предложений (или «суждений») одни из которых являются предпосылками, а другие утвердительные предложения (или «суждения») — логическими выводами. Аристотель утверждал что любой логический аргумент может быть сведен к двум предпосылкам и выводу.^[2] Предпосылки иногда опускают, в этом случае они называются опущенными предпосылками, например:

Сократ смертен, так как все люди смертны.

Очевидно, что Сократ является человеком (эта предпосылка опущена). Развернутым суждением было бы:

Так как все люди смертны, а Сократ — человек, то следовательно Сократ смертен.

В этом примере два первых независимых высказывания — «все люди смертны» и «Сократ — человек» — это предпосылки, в то время как «Сократ смертен» является выводом.

Доказательство вывода зависит как от истинности обеих предпосылок так и от обоснованности аргумента.

Примечания