Посылка (логика)

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

Аристотель утверждал, что любой логический аргумент может быть сведен к двум посылкам и выводу[2]. Посылки иногда опускают, в этом случае они называются опущенными посылками, например:

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

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

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

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

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

Примечания

  1. «Аргумент: последовательность утверждений, таких что некоторые из них (посылки) являются причинами для принятия других, выводов»: Кембриджский словарь философии, 2-е изд. (Cambridge University Press), ред. Роберт Ауди, 43.
  2. p216, Jan Gullberg, Mathematics from the birth of numbers, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.