ПОСЫЛКА

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

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

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