ПОСЫЛКИ
ПОСЫЛКА
в логике — высказывание, на основании которого делается вывод или умозаключение.
ПОСЫЛКА
высказывание (формула), из которого делается вывод или умозаключение. Посылкой могут служить высказывания о фактах, принципы, аксиомы, постулаты и пр.
Источник: Словарь науки. Общенаучные термины и определения. 2008 г.
ПОСЫЛКА
элемент умозаключения, исходное суждение, которое вместе с другими исходными суждениями (посылками) является основанием для выведения нового суждения (заключения).
Источник: Краткий курс логики: глоссарий
Посылка
Элементарное высказывание, которое может быть либо истинным, либо ложным. «Не всякая речь есть высказывающая речь, – подчеркивает Аристотель, – а лишь та, в которой содержится истинность или ложность чего‑либо; так, мольба, например, есть речь, но она не истинна и не ложна» («О толковании», глава 4).
Источник: Философский словарь.
ПОСЫЛКИ
лат. praemissae) — в логике — суждения, из к-рых в умозаключении следует новое суждение (заключение). В зависимости от вида умозаключения П. могут быть самые различные суждения и их сочетания. Для того чтобы вывод умозаключения был истинным, необходимо, чтобы истинными были П. и чтобы они были логически правильно соединены в умозаключении.
Источник: Философский энциклопедический словарь
ПОСЫЛКИ
лат. praemissae) - в логике в широком смысле высказывание (формула), на основании которого делается вывод или умозаключение. Посылками могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и вообще любые события или высказывания, из которых можно извлечь полезную информацию. В узком смысле посылки - суждения, из которых в умозаключении следует новое суждение (заключение). В зависимости от вида умозаключения посылок могут быть самые различные суждения и их сочетания. Чтобы вывод умозаключения был истинным, необходимо, чтобы истинными были посылки и чтобы они были логически правильно соединены в умозаключении. Посылки являются необходимым условием логической аргументации и доказательства.
Источник: Философский энциклопедический словарь
ПОСЫЛКА
в широком смысле - то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания - исходные данные, из к-рых непосредственно или посредством рассуждения можно извлечь к.-л. новую для нас информацию. В этом смысле говорят равно и о П. индукции, и о П. дедукции.
В узком смысле, при формально-дедуктивных построениях логики, П. называют высказывания, к к-рым применяется то или иное правило вывода, или же символизирующие их формулы. В логич. формализмах аксиоматич. типа П. первых шагов дедукции заранее фиксируются в виде аксиом, к-рые, т. о., играют роль «абс.» П., или предпосылок - процедура вывода должна начинаться обязательно с них.
П. являются необходимым условием логич. аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации П. всегда можно заменить на противоречащую ей без ущерба для аргументации. Задачи разыскания следствий из данных П. и непосторонних П. по данным следствиям являются осн. задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение.
В узком смысле, при формально-дедуктивных построениях логики, П. называют высказывания, к к-рым применяется то или иное правило вывода, или же символизирующие их формулы. В логич. формализмах аксиоматич. типа П. первых шагов дедукции заранее фиксируются в виде аксиом, к-рые, т. о., играют роль «абс.» П., или предпосылок - процедура вывода должна начинаться обязательно с них.
П. являются необходимым условием логич. аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации П. всегда можно заменить на противоречащую ей без ущерба для аргументации. Задачи разыскания следствий из данных П. и непосторонних П. по данным следствиям являются осн. задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение.
Источник: Советский философский словарь
ПОСЫЛКА
1) В логике Аристотеля – "...высказывание, утверждающее или отрицающее что-нибудь о чем-нибудь" ("Аналитики..." I, 1, 24а, 16; рус. пер., М., 1952). Термин "П." (греч. ????????) в этом случае как будто обозначает то, что позднее (напр., в ср.-век. логике) стали наз. просто высказываниями, предложениями (или суждениями); однако у Аристотеля он носит, по-видимому, технич. характер, обозначая, как правило, предложения силлогизма. 2) В традиц. логике П. стали наз. такие данные п р е д л о ж е н и я (лат. praemissae) силлогизма, из к-рых по соответств. правилам силлогизма получают новое предложение – заключение (лат. conclusio). П., содержащую больший т е р м и н, стали наз. большей П., а содержащую меньший термин – м е н ь ш е й П. 3) В совр. формальной логике П. наз. обычно любые предложения (формулы), на основе к-рых делается (логический) вывод и к-рые в рамках данного вывода не обосновываются. Это могут быть логически осн. предложения (аксиомы) или предложения-гипотезы, к-рые устраняются на более поздних шагах дедукции. Если эти шаги состоят в применении т.н. фигур дедукции (правил вывода), имеющих вид: 
где n ? 1, ?1, ..., ?n, ? – формулы, причем ?1, ..., ?n наз. верхними формулами, a ? – нижней формулой фигуры, то П. естественно наз. все верхние формулы данной фигуры дедукции (среди к-рых могут быть как формулы-гипотезы, так и аксиомы). Этим определением, термину "П." придается о т н о с и т е л ь н ы й характер: в данном выводе формула может быть заключением (нижней формулой) одной фигуры дедукции и П. (верхней формулой) др. фигуры (при условии, конечно, что графически равные формулы, встречающиеся в разных местах вывода, не считаются различными). Все же в исчислениях логистич. типа, основанных на аксиомах, последние играют в определ. смысле роль "абсолютных" П., поскольку процедура вывода должна начинаться обязательно с них. Исчислениями без "абсолютных" П. являются натуральные исчисления (доказательства в к-рых напоминают известные еще в древности т.н. доказательства ex suppositione). M. Новоселов. Москва.
где n ? 1, ?1, ..., ?n, ? – формулы, причем ?1, ..., ?n наз. верхними формулами, a ? – нижней формулой фигуры, то П. естественно наз. все верхние формулы данной фигуры дедукции (среди к-рых могут быть как формулы-гипотезы, так и аксиомы). Этим определением, термину "П." придается о т н о с и т е л ь н ы й характер: в данном выводе формула может быть заключением (нижней формулой) одной фигуры дедукции и П. (верхней формулой) др. фигуры (при условии, конечно, что графически равные формулы, встречающиеся в разных местах вывода, не считаются различными). Все же в исчислениях логистич. типа, основанных на аксиомах, последние играют в определ. смысле роль "абсолютных" П., поскольку процедура вывода должна начинаться обязательно с них. Исчислениями без "абсолютных" П. являются натуральные исчисления (доказательства в к-рых напоминают известные еще в древности т.н. доказательства ex suppositione). M. Новоселов. Москва.Источник: Философская Энциклопедия. В 5-х т.