ПОСЫЛКА

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

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