Посылка
Посы́лка
В широком смысле — то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания — исходные данные, из которых непосредственно или посредством рассуждения можно извлечь какую-либо новую для нас информацию. В этом смысле говорят равно и о П. индукции (См. Индукция), и о П. дедукции (См. Дедукция).
В узком смысле, при формально-дедуктивных построениях логики, собственно П. называют высказывания, к которым применяется то или иное правило вывода, или же символизирующие их формулы, входящие в формулировки правил вывода на «языке исследователя». «Симметричным» к понятию П. является понятие логического следствия (См. Логическое следствие). Эти понятия, вообще говоря, относительны: высказывание может быть П. в одном применении правила вывода и следствием — в другом. В логических формализмах аксиоматического типа (см. Логика) П. первых шагов дедукции заранее фиксируются в виде аксиом, которые, т. о., играют роль «абсолютных» П., или предпосылок, — процедура вывода должна начинаться обязательно с них. В натуральных исчислениях (См. Натуральное исчисление), в которых рассуждения ведутся по известному ещё в античности «принципу допущений», абсолютных П. нет.
Какой бы характер ни носили П., они являются необходимым условием логической аргументации или доказательства. При этом существенным оказывается вопрос о непостороннем характере П. Постороннюю в данной аргументации П. всегда можно заменить на противоречащую ей без ущерба для аргументации. Этому правилу соответствует Логический закон, который можно назвать «законом посторонней посылки»:
((А & В ⊃С) & (А ⊃ C)) ⊃ (А & ⌉ В ⊃ С).
Задачи разыскания следствий из данных П. и непосторонних П. по данным следствиям являются основными задачами логики. В пределах формализма алгебры высказываний эти задачи имеют исчерпывающее решение (см. Алгебра логики).
М. М. Новосёлов.
Значения в других словарях
- посылка — 1) -и, род. мн. -лок, дат. -лкам, ж. 1. Действие по глаг. послать—посылать (в 1, 2 и 3 знач.). Посылка книг бандеролью. □ [На демонстрации] градоначальник реагировал посылкой усиленных нарядов полиции и жандармов, избивавших и арестовывавших студентов. Малый академический словарь
- ПОСЫЛКА — ПОСЫЛКА — англ. premise; нем. Pramisse. Суждение, на основании к-рого делается вывод или умозаключение. Социологический словарь
- посылка — 1. по/сы́л/к/а¹ (книг). 2. по/сы́л/к/а² (суждение). Морфемно-орфографический словарь
- посылка — орф. посылка, -и, р. мн. -лок Орфографический словарь Лопатина
- посылка — 1. ПОСЫЛКА1, и, ж. 1. см. послать. 2. Упакованная вещь (вещи), пересланная кому-н. по почте или с кем-н. Почтовая п. Привёз тебе посылку из дому. | уменьш. посылочка, и, ж. | прил. посылочный, ая, ое. П. ящик. 2. ПОСЫЛКА2, и... Толковый словарь Ожегова
- посылка — ПОС’ЫЛКА, посылки, ·жен. 1. только ед. Действие по гл. послать в 1 и 2 ·знач. — посылать; отправка. Посылка эскадры на поддержку сухопутных операций. Посылка денег по телеграфу. 2. Запакованная вещь, пересылаемая куда-нибудь. Почтовая посылка. Толковый словарь Ушакова
- Посылка — См. Силлогизм. Энциклопедический словарь Брокгауза и Ефрона
- посылка — ПОСЫЛКА 1. ПОСЫЛКА, -и; мн. род. -лок, дат. -лкам; ж. 1. к Послать — посылать (1-3 зн.). П. книг бандеролью. П. наряда милиции. П. сигналов. П. учёных за границу. П. снаряда. 2. Запакованная вещь (вещи), пересланная кому-л. по почте или с кем-л. Толковый словарь Кузнецова
- ПОСЫЛКА — ПОСЫЛКА — высказывание (формула) — из которого делается вывод или умозаключение. Посылкой могут служить высказывания о фактах, принципы, аксиомы, постулаты и пр. Большой энциклопедический словарь
- посылка — посылка I ж. 1. Процесс действия по гл. посылать, послать 2. Упакованная вещь, пересылаемая по почте или иным способом для доставки по назначению. II ж. 1. Основание для вывода, умозаключения (в логике). 2. Суждение, на котором основывается заключение, вывод. Толковый словарь Ефремовой
- посылка — См. посылать Толковый словарь Даля
