ПОСЫЛКА
в широком смысле - то,
на основании чего делается вывод или умозаключение. П. могут служить факты
или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые
события или высказывания - исходные данные, из к-рых непосредственно или
посредством рассуждения можно извлечь к.-л. новую для нас информацию. В
этом смысле говорят равно и о П. индукции, и о П. дедукции.
В узком смысле, при формально-дедуктивных
построениях логики, собственно П. называют высказывания, к к-рым применяется
то или иное правило вывода, или же символизирующие их формулы, входящие
в формулировки правил вывода на "языке исследователя". "Симметричным" к
понятию П. является понятие логического следствия. Эти понятия,
вообще говоря, относительны: высказывание может быть П. в одном применении
правила вывода и следствием - в другом. В логич. формализмах аксиоматич.
типа (см. Логика) П. первых шагов дедукции заранее фиксируются в
виде аксиом, к-рые, т. о., играют роль "абсолютных" П., или предпосылок,
- процедура вывода должна начинаться обязательно с них. В натуральных
исчислениях, в которых рассуждения ведутся по известному ещё в античности
"принципу допущений", абсолютных П. нет.
Какой бы характер ни носили П., они являются
необходимым условием логич. аргументации или доказательства. При этом существенным
оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации
П. всегда можно заменить на противоречащую ей без ущерба для аргументации.
Этому правилу соответствует логический закон, к-рый можно назвать
"законом посторонней посылки":
Задачи разыскания следствий из данных П.
и непосторонних П. по данным следствиям являются осн. задачами логики.
В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее
решение (см. Алгебра логики). М. М. Новосёлов.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я