Посылка, в широком смысле — то, на основании чего делается вывод или умозаключение. Посылка могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания — исходные данные, из которых непосредственно или посредством рассуждения можно извлечь какую-либо новую для нас информацию. В этом смысле говорят равно и о Посылка индукции, и о Посылка дедукции.

В узком смысле, при формально-дедуктивных построениях логики, собственно Посылка называют высказывания, к которым применяется то или иное правило вывода, или же символизирующие их формулы, входящие в формулировки правил вывода на «языке исследователя». «Симметричным» к понятию Посылка является понятие логического следствия. Эти понятия, вообще говоря, относительны: высказывание может быть Посылка в одном применении правила вывода и следствием — в другом. В логических формализмах аксиоматического типа (см. Логика) Посылка первых шагов дедукции заранее фиксируются в виде аксиом, которые, т. о., играют роль «абсолютных» Посылка, или предпосылок, — процедура вывода должна начинаться обязательно с них. В натуральных исчислениях, в которых рассуждения ведутся по известному ещё в античности «принципу допущений», абсолютных Посылка нет.

  Какой бы характер ни носили Посылка, они являются необходимым условием логической аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере Посылка Постороннюю в данной аргументации Посылка всегда можно заменить на противоречащую ей без ущерба для аргументации. Этому правилу соответствует логический закон, который можно назвать «законом посторонней посылки»: ((А & В ÉС) & (АÉC)) É (А & ùВ É С).

Задачи разыскания следствий из данных Посылка и непосторонних Посылка по данным следствиям являются основными задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение (см. Алгебра логики).

  М. М. Новосёлов.