Философская энциклопедия - посылка

ПОСЫЛКА

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

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

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.